[김도형]

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

숙제 3 채점이 완료되었습니다. 이의제기는 다음주 화요일(11/28일)까지 받습니다.

현재 수정된 결과가 반영되었습니다.

만점은 100점이며, 감점 요인마다 -5점을 하되, E의 soundness가 누락될 경우 -15, C의 soundness가 누락될 경우 -25로 채점하였습니다.

모범 답안에서는 기존의 repeat C E의 정의에 따른 collecting sementics 역시 적어두었습니다. (수정: 증명 과정에서 약간의 설명을 추가하였습니다.)

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

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

감사합니다.