[김도형]

안녕하세요, 수강생 여러분.

숙제 6 채점이 완료되었습니다. 이의제기는 다음주 화요일(12/26일)까지 받습니다. 금요일 중에 공개될 숙제 7 및 최종 점수 종합 역시 시간 관계상 이때까지 이의제기를 받을 계획입니다.

만점은 100점이며, 감점 요인마다 -5점을 하되, hookrightarrow의 구체적인 soundness 증명이 누락될 경우 -25, 한 단계가 통째로 누락될 경우 단계당 -40으로 채점하였습니다.

결과:
http://ropas.snu.ac.kr/~ta/4541.664A/23/show/pa_hw6_score.pdf

모범 답안 :
http://ropas.snu.ac.kr/~ta/4541.664A/23/show/hw6_answer.pdf

감사합니다.