[손호성]

안녕하세요. 프로그램분석 수강생 손호성입니다.

과제 6에 관해 질문드립니다.

과제 6의 Value#을 과제 4와 동일하게 설정할 경우 과제 6의 많은 증명들이 과제 4와 겹치는 것 같습니다. 이미 과제 4에서 Value#과 Memory#이 CPO이자 갈로아 연결되어 있음을 증명하였고 또 관련 연산자들의 성질도 증명하였습니다. 아직 문제 의도를 정확히 모르겠어서 겹치는 증명들은 "과제 4에서 증명하였음" 정도로 증명하고 넘어가도 되는지, 아니면 다시 증명하면 되는지 여쭤봅니다.

또 수업이 종강하여 과제 제출일인 다음 주 화요일은 수업이 없는데 이번 과제도 반드시 출력하여 제출하여야 하나요? 개인적으로는 이메일로도 제출이 가능하면 좋을 것 같습니다.

감사합니다.

[김도형]

안녕하세요.

해당 부분에 대한 내용들은 생략하여도 좋습니다.

다만 분석기 디자인상 과제4와 겹친다고 생각해 생략한 부분에서 빠졌을 법한 것이 있을 경우 감점 사유가 될 수 있습니다.

혹시라도 의미구조 상에서 조금이라도 달라진 것이 있는지 아닌지를 한 번 생각해보고 작성하시면 되겠습니다.

과제 제출 자체는 기본적으로는 수업 시간인 11시까지 교실에서 직접 제출이 원칙이지만, 이메일로 제출하셔도 괜찮습니다.

감사합니다.