[신채환]

과제 6의 1번 문제와 관련하여 질문이 있어 이렇게 글을 쓰게 되었습니다.

이번 과제의 K- 언어에서는 이전 과제의 언어와 다르게 FOR 식이 추가되었습니다. 이때 FOR의 정의를 보면 σ에 미리 x가 정의되어 있어야 하는 것으로 보이는데, 실제로 구현할 때도 x를 굳이 BIND할 필요 없이 미리 LETV로 정의되어 있다고 간주하고 구현하여도 되는지 확인차 질문 드립니다.

[이재호]

안녕하세요,

이해하신 바가 맞습니다.

감사합니다.

조교 드림


TA 이재호
e-mail: jhlee@ropas.snu.ac.kr