이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
최민아
가입: 2009년 9월 28일 올린 글: 236
|
올려짐: 2010년10월29일 11:19 주제: 숙제 5-2 질문 |
|
|
숙제 pdf를 보면 5-2에서 위쪽의 M0 정의에는 application(e e)가 있는데
아래 mexp에는 없네요. 최종적으로 자연수를 리턴하는 프로그램에 대해
번역을 해야 하는데 그럼 function application등을 어떻게 하죠?
-> 다시 확인해보니 m.ml에는 App가 있네요. App도 번역하면 되는것이겠지요?
또 ifzero e1 e2 e3은 e1이 0이면 e3, 0이 아니면 e2를 실행하는 건가요? |
|
위로 |
|
|
신기정
가입: 2009년 9월 15일 올린 글: 83
|
올려짐: 2010년10월29일 13:01 주제: 제 생각에는 |
|
|
인용: | 또 ifzero e1 e2 e3은 e1이 0이면 e3, 0이 아니면 e2를 실행하는 건가요? |
라고 말씀하셨는데,
제 생각에는 e1이 0이면 e2, 0이 아니면 e3를 실행하는 것이
평소 if문의 semantic을 생각할 때 더 자연스러울 것같습니다. |
|
위로 |
|
|
조성근
가입: 2009년 9월 14일 올린 글: 283
|
올려짐: 2010년10월29일 15:45 주제: Re: 숙제 5-2 질문 |
|
|
최민아 씀: | -> 다시 확인해보니 m.ml에는 App가 있네요. App도 번역하면 되는것이겠지요? |
네. 그렇습니다.
최민아 씀: | 또 ifzero e1 e2 e3은 e1이 0이면 e3, 0이 아니면 e2를 실행하는 건가요? |
신기정 학생의 답변이 맞습니다. e1가 0이면 e2, 0이 아니면 e3을 실행하게 됩니다. |
|
위로 |
|
|
전보영
가입: 2009년 10월 5일 올린 글: 14
|
올려짐: 2010년10월29일 20:23 주제: AND 연산이 정확하게 이해되지 않아서 질문드립니다. |
|
|
https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=2401 에서
인용: |
AND 연산에서 0은 false, 0이 아닌 수는 true처럼 사용하세요.
참고로 (1 AND 2) = 1 입니다.
|
라고 하셨는데요.
and 연산에서는 0을 false처럼, ifzero 연산에서는 0을 true처럼 생각하네요..
그러면
ifzero e1 then e2 else e3
에서
e1이 n1 and n2 and n3 ... 일 때
ni 중에 하나라도 0이 있으면 e2를 실행시키는 거죠? |
|
위로 |
|
|
조성근
가입: 2009년 9월 14일 올린 글: 283
|
올려짐: 2010년10월30일 1:55 주제: |
|
|
예. 0은 false처럼 사용되므로
e1 = n1 and n2 and n3 ...
에서 ni=0 이면 e1은 0입니다.
따라서 e2를 실행시키는 것이 맞습니다. |
|
위로 |
|
|
|