두 손끝의 창조자

일반적인 웹 애플리케이션에 접속해서 인증을 받는 절차를 한번 상상해 보자. 자원요청 : home 페이지에 접속을 해서 열어보고 싶은 링크를 클릭한다. 요청자원인식 : 링크를 클릭하면 요청이 서버로가고, 서버는 사용자가 요청한 자원이 보호된 자원이라고 인식한다. 요청자원 제공 불가 알림 : 사용자가 인증되지 않은 상태라면, 서버는 사용자에게 인증, 즉 로그인을 하라고 알려준다. 이때 로그인 페이지로 이동될 수도 있고 아니면 그냥 에러 페이지를 띄울수 있다. 인증 인터페이스 : 인증 메커니즘에 따라서 ID와 패스워드를 입력하는 폼이 뜰수고 있고, 브라우저가 BASIC 인증 다이얼로그 박스나, 쿠키나, X.509 인증서 등을 뒤져서 신상을 파악한다. 인증요청 : 브라우저는 입력된 ID, 패스워드를 서버로 보내..

핵심 Interface PlatformTransactionManager getTransaction() commit() rollback() TransactionDefinition 트랜잭션 4가지 속성 구현체 DataSourceTransactionManager TransactionAPI를 이용해서 관리 트랜잭션을 적용할 datasource가 빈으로 등록되어 있어야 함 JDBC과 SqlMap으로 만든 DAO에 적용가능함 트랜잭션을 적용할 DAO가 사용하는 것과 동일한 datasource를 빈으로 제공해야 함 Datasource를 getConnection()이 호출될때마다 매번 새로운 Connection을 돌려줘야 함 ThreadLocal 등을 이용해 트랜잭션을 저장해두고 돌려주는 특별한 기능을 가진 DataS..

JavaScript Array에서 Element 하나를 지울 때 delete Operator를 사용하여 지울 수 있습니다. 이 명령어로 삭제를 했을 때 해당하는 index는 undefined로 바뀌고 Array의 길이는 변하지 않습니다. var fruits = ["Banana", "Orange", "Apple", "Mango"]; delete fruits[1];위 구문 실행 후 fruits의 상태는 원하는 결과 : ["Banana", "Apple", "Mango"] 처리 결과 : ["Banana", undefined, "Apple", "Mango"] 이렇게 되어 원하는 결과를 얻지 못하는데요, 원하는 결과를 얻기 위해서는 splice() Method를 사용 해야합니다.fruits.splice(1, 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)...

semantic web : 핵심 idea : web 정보를 사람이 처리하는 것이 아니라, 컴퓨터가 자동으로 처리 web page in English = program but not a good program. 웹은 프로그램의 자격은 있지만 좋은 프로그램이 아님. =>자연어 처리가 요구되기 때문에 효율성이 떨어짐. ==> 자연어 대신에 linear logic을 사용 ex) in Korean 부산에서 제일 좋은 대학교는 동아대이다. in English The best university in Busan is Dong-a University. in C or Java,etc.. bestuniv(busan) = donga. Korean에서 C로 옮길 때 많은 정보를 잃어 버렸다. 따라서 자연어에서 다른 언어로 옮..