[강동옥]

숙제 5의 채점이 완료되었습니다. 다음 링크에서 점수를 확인해 주시기 바랍니다.

http://ropas.snu.ac.kr/~ta/4190.310/14/result/HW6_result.htm

클레임은 12/5 금요일까지 받도록 하겠으며, 310ta@ropas.snu.ac.kr 로 메일을 주시면 됩니다. 사소한 실수로 인해 감점된 사항에 대한 클레임 정책은 이전 과제와 동일하게 적용되므로, 해당 글을 참조해 주시기 바랍니다. 딜레이 페널티는 10%이며 문항별로 적용되었습니다.

사용한 테스트 케이스는 다음 경로에서 확인하실 수 있습니다. 클레임을 오기 전에, 오답이 나온 문항을 직접 돌려보고 확인해 주시기 바랍니다.

http://ropas.snu.ac.kr/~ta/4190.310/14/test/6-1.txt
http://ropas.snu.ac.kr/~ta/4190.310/14/test/6-2.txt
http://ropas.snu.ac.kr/~ta/4190.310/14/test/6-3.txt

##### 상세설명 #####

이번 과제의 채점이 워낙 복잡하기도 하고, 저번 과제 결과를 확인하는데 어려움을 겪으신 분이 많아서, 추가적인 설명 및 자료를 제공해 드립니다.


* HW 6-1 Rozetta

+ 채점은 다음과 같은 방식으로 진행되었습니다. 테스트케이스 파일에는 K- 프로그램이 들어 있습니다. 이것을 조교팀이 작성한 K --> SM5 번역기로 번역한 다음, 수강생 여러분이 작성하신 SM5 --> Sonata 번역기로 번역하고 Sonata 실행기로 실행하여, 제대로 작동하는지 관찰합니다.

+ http://ropas.snu.ac.kr/~ta/4190.310/14/test/Rozetta_skel_scoring.zip 을 제공해 드립니다. rozetta.ml을 여러분이 작성한 파일로 덮어쓰시고, main.ml에 테스트케이스 내용을 바꿔가면서 테스트케이스를 돌려볼 수 있을 것입니다. main.ml은 프로그램을 SM5로 번역한 결과와 Sonata로 번역한 결과를 출력해서 보여준 다음 Sonata 실행기로 실행합니다.

+ 조교팀의 K --> SM5 번역기에 해당하는 translate_k.ml 파일은 제공해 드리지 않고, 컴파일된 .cmo 파일로 들어있습니다. 과제 내용은 SM5 --> Sonata 번역을 올바르게 구현하는 것이기 때문에, translate_k.ml가 어떻게 번역하는지와는 별개의 문제일 것입니다. 참고로 알려드리자면, 함수 호출과 관련된 요소를 많이 테스트하기 위해서, for문과 while 문도 call을 사용하도록 번역하였습니다.



* HW 6-2 Encoding

+ 채점은 다음과 같은 방식으로 진행되었습니다. 테스트케이스 파일에는 함수 등으로 이루어진 표현 E_1과, 그 계산 결과가 되어야 하는 정수 표현 E_2가 주어집니다. E_1과 E_2 각각에 대해, encode -> reduce -> normalize 과정을 거친 다음, 두 결과가 같은지 비교합니다. reduce와 normalize 부분은 조교팀이 작성한 코드를 사용합니다.

+ http://ropas.snu.ac.kr/~ta/4190.310/14/test/Encoding_skel_scoring.zip 을 제공해 드립니다. encode.ml을 여러분이 작성한 파일로 덮어쓰시고, main.ml에 테스트케이스 내용을 바꿔가면서 테스트케이스를 돌려볼 수 있을 것입니다.

+ 마찬가지로, 조교팀의 reduce 함수가 들어있는 evaluate.ml 파일은 제공해 드리지 않고, 컴파일된 파일로 들어있습니다. 혹시 인코딩이 제대로 (동등한 표현으로) 된 것 같은데, 서로 다른 표현으로 처리된다거나 하는 경우가 있으면 알려주시기 바랍니다.

+ Timeout은 120초 제한을 두고, 이 이상의 시간이 걸리면 무한 루프라고 판단하여 종료시켰습니다. 혹시 유한시간안에 인코딩이 끝나는데 timeout에 걸려서 오답처리되었다면 이 역시 클레임해 주시면 됩니다.

* HW 6-3 M (Vanilla Lambda)
특이사항 없음.

(추가)
뒤늦게 깨달았는데, 제공해 드린 Encoding_skel_scoring.zip 과 Rozetta_skel_scoring.zip 뼈대코드는 ocamlc 4.02.1 버전에서만 작동합니다.
학부서버인 마티니에서 돌려보실 수 있도록 http://ropas.snu.ac.kr/~ta/4190.310/14/test/Rozetta_skel_scoring_401.zip 과 http://ropas.snu.ac.kr/~ta/4190.310/14/test/Encoding_skel_scoring_401.zip 를 올렸습니다.
윈도우 환경에서는 아마 빌드가 안 될텐데, 이는 양해 바랍니다. 마티니 학부서버에 계정이 없어서 테스트를 못하는 분이 있다면 TA에게 메일을 주시기 바랍니다. 테스트케이스 인풋을 SM5 프로그램으로 번역한 결과물을 직접 보내드려 확인할 수 있도록 해드리겠습니다.