두 손끝의 창조자

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)...