[김도형]

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

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

만점은 100점이며, 감점 요인마다 -5점을 하되, 수정된 Abstract domain에 따른 Semantics가 누락될 경우 -40, Soundness가 누락될 경우 -40으로 채점하였습니다.

또한, 몇몇 학생들이 숙제4 공지를 오해해 이번 숙제6으로 제출할 것을 낸 경우가 있습니다. (2023-**053, 2020-**379)

이를 감안하여 숙제6 제출 기한까지 숙제4를 새로 작성해 제출하시면 두 과제에 Delay 페널티를 거는 조건으로 각각을 원래 기준에 맞게 채점하도록 하겠습니다.

(수정: 해당 두 학생의 채점이 반영되었습니다. 다만 한 학생의 경우 게시한 모범답안과 세부사항이 너무 유사해 감점 사유와 별개로 절반의 점수 감점이 있었습니다.)

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

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

감사합니다.