[2021-19243]

안녕하세요

해당 문제들에서 증명해야 하는 언어의 syntax와 type 등의 세부사항이 궁금합니다. 수업 내에서는 언어를 점진적으로 발전시키다보니, 정확히 어떤 언어에 대해서 증명해내야하는지 결정하기 어렵습니다.

가령, memory관련 syntax가 필수적으로 들어가서 type set에 \tau loc 등이 포함되어야하는지의 구체적인 내용 등이 궁금합니다.

정해진 언어가 없다면, 문제 초입에 언어 syntax, type set, 그리고 value set을 정의하고 그 안에서 증명을 마쳐도 될까요?

감사합니다.

[안중원]

안녕하세요, 조교 안중원입니다.

말씀하신 것과 같이 수업에서 다룬 언어의 기능이 다양하기 때문에, 이 중에서 증명의 대상으로 다루는 언어 기능들을 명확하게 명시하셔야 합니다.

1번과 2번의 경우 서로 연계된 문제입니다. 이를 고려하여 5-1simple-type.pdf에 나타나있는 문법과 타입들은 기본적으로 포함하셔야 합니다. 그 외에 수업에서 다룬 여러가지 기능도 재량껏 포함하셔도 좋습니다. 핵심은 수강생께서 타입 증명의 방법에 대해 충분히 이해하고 있다는 것이 제출물에 구체적으로 드러나는 것입니다.

다른 기능들을 포함하시는 경우, 증명이 얼마나 어려운지와 얼마나 일반적으로 적용가능한지 그 사이에서 잘 균형을 잡으셔야 할 것이라는 조언을 드립니다.

감사합니다.
_________________
TA 안중원
e-mail: jwahn@ropas.snu.ac.kr