[공순호]

숙제 5가 공지되었습니다.
http://ropas.snu.ac.kr/~kwang/4541.664A/09/hw5.pdf

기한은 4월 14일 화요일 자정까지 입니다.
_________________
- soon@ropas

[이광근]

[이광근]

[공순호]

* 뼈대

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

을 받으시면 됩니다. 안에 들어 있는 README를 반드시 읽어보시기 바랍니다.


* equation component type의 의미

오늘 수업 시간 앞부분에 설명 드렸습니다. 문서를 다시 보고 싶으신 분은

http://ropas.snu.ac.kr/~ta/4541.664A/09/hw5.typedef.pdf

을 읽어보시기 바랍니다.


* pretty print

프로그램을 실행하면, 입력 프로그램을 출력하고

입력 프로그램에서 도출해낸 방정식들을 보기 좋게 출력해주도록 되어 있습니다.

자세한 것은 pprint.ml 파일을 읽어보셔도 좋습니다.


* 제출

1. k.ml의 semanticEqns 을 완성하시고,

2. k.ml 파일만을 제출하시기 바랍니다.
_________________
- soon@ropas

[임경영]

뼈대가 현재 다운로드 안됩니다..
몇시간전에는 되는 걸 확인했는데 현재 안되고 있습니다.

확인 바랍니다.

추가. 새벽1시 아직 다운로드 안됩니다..

[공순호]

다음 경로를 통해서 다운 받으시기 바랍니다.

* http://ropas.snu.ac.kr/~ta/4541.664A/09/5-1.zip
_________________
- soon@ropas