게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

숙제 5 질문입니다

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2010)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
최민아



가입: 2009년 9월 28일
올린 글: 236

올리기올려짐: 2010년10월27일 14:43    주제: 숙제 5 질문입니다 인용과 함께 답변

5-2에서 M0가 적극적인 프로그래밍 언어라는 것이
M0를 람다식으로 번역할때 필요가 있나요?
M0를 람다식으로 번역해 이를 normal order reduction 으로 축약할때
eager evaluation이 되지 않는 경우가 많은데요
그렇다면 M0가 적극적인 프로그래밍 언어라는 것은 고려하지 않아도 되는것인가요?

(0-3)+5가 5가 된다는 것을 이해하지 못하겠습니다. ㅜ
계산 중간에 음수가 나올 수도 있다고 하셨는데요..
0-3처럼 음수가 되는 경우 값이 0이 된다고 생각하면 되나요?
즉 저희가 음수 인코딩을 할 필요가 없는 건가요?
위로
사용자 정보 보기 비밀 메시지 보내기
조성근



가입: 2009년 9월 14일
올린 글: 283

올리기올려짐: 2010년10월27일 16:05    주제: 인용과 함께 답변

최민아 씀:
M0를 람다식으로 번역해 이를 normal order reduction 으로 축약할때
eager evaluation이 되지 않는 경우가 많은데요

예. 말씀하신 내용이 맞습니다. 프로그램의 evaluation순서는 달라질 수 있습니다.
하지만 문제에서 "항상 자연수를 최종적으로 계산하는 프로그램"을 대상으로 제한하고 있기 때문에 프로그램은 항상 끝나고 그 결과는 서로 같음을 보장할 수 있습니다.


다른 학생의 글도 참고하세요. https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=2406

최민아 씀:
0-3처럼 음수가 되는 경우 값이 0이 된다고 생각하면 되나요?

예. 답변이 자꾸 바뀌어 죄송합니다. 계산 중간에 0-3과 같이 음수를 만드는 식이 있으면 0으로 계산하면 됩니다. 음수를 따로 인코딩하실 필요는 없습니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2010) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay