[하재승]

1.

교재 80 페이지에 두번째의 while문의 조건이 참인 경우의 값을 계산하는 과정에서 윗줄에 v가 두번나옵니다. 오타인거겠죠? 처음에나온걸 v1, 뒤에 나온걸 v2라고 하면 의미상 v1으로 총결과가 나오게 하면 자연스러울꺼 같습니다.

2.

3.n에서 조교님이 (*여기를 채워 주세요*) 라고 표시해둔 이외의 부분을 고쳐도 상관없겠죠? 어차피 제출은 3.n으로 하니까요.

[하재승]

3.

교재 같은쪽 3번째에 있는 for문의 정의에서
6, MㅏE1=> n1, M'
6, MㅏE2=> n2, M''
6.M''{x->n1+0}ㅏC=>v0, M0
...

이렇게 시작하는데
저 두번째 줄이
6, M'ㅏE2=> n2, M''
가 되는게 맞을 것 같습니다. 오타인지 확인 부탁드립니다.

[정영범]

[하재승]

re 1.
윗줄에 v가 두개인게 오타인거 아닌가 라는게 질문이었습니다; while문말고 E2=>v도 있으니까요.

설마 그렇지 않다면 두개 같은때에만 while이 정의된다는건 아니겠죠?;ㅎㅎ

re 3.
만약에 4.3절에 있는 방식대로 정의 된다면
let a:=0 in
let x:=0 in
let y:=0 in
for x:= (a:=5)+2 to 10 do y:=y+x
end
end
(*여기*)
end

여기까지 실행했을때 a변수가 저장된 메모리의 값이 0인건가요?

언어의 의미를 결정하는 선택이라고 하셨는데 교수님께서
https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=971
에서 교재4.3을 따르라고 하셨으니까요.. 아니면 어떻게 구현해도 상관없나요?

추가 4.
3에서 파생된 질문인데.. 교재4.3을 보면 for문이 n2 < n1인 경우에 대해 정의되어있지 않아서 그런 경우가 생기면 의미없는 프로그램이 될텐지요.
그런데 for문을 맨 처음 정의한 경우를 생각해보면 while not (high < low) 꼴의 syntactic sugar로 정의했었고 그렇다면 n2 < n1의 경우는 그냥 아무일도하지않는 코드가 되는게 수업중에 진행한 정의와 맞지 않을까요?