Notice
Recent Posts
Recent Comments
Link
일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
1 | 2 | 3 | 4 | 5 | 6 | |
7 | 8 | 9 | 10 | 11 | 12 | 13 |
14 | 15 | 16 | 17 | 18 | 19 | 20 |
21 | 22 | 23 | 24 | 25 | 26 | 27 |
28 | 29 | 30 | 31 |
Tags
- nodejs
- JPA
- log4j2
- wildfly
- database
- intellijIDEA
- docker
- Spring
- JavaScript
- dbeaver
- VSCode
- gson
- BPMN
- mybatis
- gradle
- Windows
- springboot
- LOG4J
- MySQL
- nginx
- Java
- Git
- maven
- Kubernetes
- jetbrains
- IntelliJ
- useEffect
- NCP
- react
- tibero
Archives
- Today
- Total
목록2008/12/03 (1)
두 손끝의 창조자
요약
1. SW공학 수업의 핵심 주장: SW is not a function but a dynamic sytem(state transition machine) dynamic system의 구성요소 a. 초기자원 b. 상태변환규칙들 c. 최종상태 변환방식 옛날 방식 specification -> 프로그램 -> 자바 코드 새로운 방식 specification -> 프로그램 -> 상태변환 기계 [C interpreter or Java or prolog...] 2. Why linear logic is important. 계발시간이 짧아진다. ex) sum(n) = 1+2+3+ ... + n을 프로그램하시오. 상태변환기계.. 초기자원 : 변환규칙 : -> linear logic programming: sum(1,1)...
프로그래밍언어
2008. 12. 3. 17:32