검색 결과 363 개 일치합니다

현재 시각 2009/6/26 23:51, 제출된 프로젝트 명단 입니다.

허기홍, 장수원
김희정, 이우석
고윤석
강지훈
임경영
이해욱, 박창규, 원정희
이길주, 백� ...

프로젝트 제출 마감이 오늘까지 입니다.

오늘 자정 (6/26[금], 23:59:59) 까지

제 메일 - soon (*at-) ropas.snu.ac.kr 로

보고서와 프로젝트 결과물(프로젝트� ...

* 숙제 8

- 점수 : http://ropas.snu.ac.kr/~ta/4541.664A/09/score/hw8.score.txt
- 테스트셋 : http://ropas.snu.ac.kr/~ta/4541.664A/09/score/hw8.testcase.tar.gz
- 60.0 만점입니다.

-- ...

기말 고사 시험 시간과 장소를 알려드립니다.

시간 : 6/15(월) 19:00 - 22:00

장소 : 302동 209호, 수업 강의실과 동일

다음주 화요일(6/9), 목요일(6/11) 수업에는

- 프로그래밍 연구실(ROPAS) 학생과

- 임경영 학생

만 참여하시면 됩니다.

* MESLAB과 SELAB 학생들은 ...

* 숙제 7 점수

- http://ropas.snu.ac.kr/~ta/4541.664A/09/score/hw7.score.txt
- 85.0 만점입니다.

-----

* Interval Domain, Powerset Domain, Function Domain의 구현이 제대로 되� ...

대괄호 사이에 tex을 이용하시면 됩니다.

[tex ] .... [/tex ]

숙제 4, 5, 6의 모범답안을 공개합니다.

4: http://ropas.snu.ac.kr/~ta/4541.664A/09/score/sol/4.tar.gz

5 : http://ropas.snu.ac.kr/~ta/4541.664A/09/score/sol/5.tar.gz

6 : http://ropa ...

* 기계 상태는 각 메모리 주소가 가질 수 있는 '값'입니다.

문제는 어떤 '값'을 사용할 것인가입니다.

* 값(Value)에 대해서 생각해보면,

요약된 값 ...

read 의 요약 의미는 [-inf, +inf] 로 합니다.

read 의 요약 의미는 [-inf, +inf] 로 합니다.

calF가 무슨 '역할'을 하는 함수의 정의가 애매한듯한데..

calF에 대해서는 강의 노트와 숙제 문서에 명백하게 정의되어 있습니다.

강의 노트 10- ...

다음 make.bat를 사용하세요.

ocamlyacc parser.mly
ocamlc -c parser.mli
ocamlc -c parser.ml
ocamllex lexer.mll
ocamlc -c lexer.ml
ocamlc -c k.ml
ocamlc -c main.ml
ocamlc -o main.exe le ...

(cmd -> state -> state) 타입끼리의 비교가 쉽지 않습니다.

1. calF의 fixed point를 직접 구하려고 하는 것이 아니라면

(cmd -> state -> state) 타입� ...

교수님께서 쓰신 book74-108.pdf 파일의

79쪽에 있는 6.1.3 요약해석 적용1에 해당하는 방식이 숙제 6의 방식이라면

83쪽에 있는 6.1.4 요약해석 적용2에� ...