게시판 인덱스

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

챌린지 질문

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



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

올리기올려짐: 2010년11월28일 21:17    주제: 챌린지 질문 인용과 함께 답변

챌린지 3번 progress, preservation, preservation under substituion 증명 완성 문제에 관한 질문입니다.
exp을 수업시간에는 ()(상수), x(variable), 람다x.e, e e 이렇게 4가지로 정했던 것 같은데
교재에는 e+e까지 5개네요.
수업시간에 한 4가지 경우에 대해 증명하면 되나요?
그리고 제 생각에는
progress는 상수와 람다x.e는 값이므로 증명안해도되고
x는 free variable이므로 프로그램이 아니어서 증명안해도 되면
e e밖에 없는데 그럼 더 증명할게없는건가요? 이건 아닐것같은데
제가 뭔가 잘못이해하고 있는 것일텐데 모르겠네요 ㅠ
마찬가지로 preservation lemma도 상수와 람다x.e는 값인데 값은 진행하지 않는다고 (봐도 되나요) 보고 x는 empty type environment 에서 타입추론이 되지 않는 경우라고 보면 e e외에 할게없네요.. 이것도 아닌것같은데요 ㅠㅠ
제가 놓치고 있는게 무엇일까요? ㅠ
위로
사용자 정보 보기 비밀 메시지 보내기
조성근



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

올리기올려짐: 2010년11월30일 15:26    주제: 인용과 함께 답변

최민아 씀:
수업시간에 한 4가지 경우에 대해 증명하면 되나요?

문제에서 강의 노트의 증명을 완성하라고 하였으므로 강의 노트에 있는대로 5가지에 대해서 증명하시면 될 것 같습니다.

최민아 씀:
제가 놓치고 있는게 무엇일까요? ㅠ

특별히 놓치고 있는 것이 없어 보입니다. 말씀하신 내용과 preservation under substitution 증명을 잘 정리하시면 될 것 같습니다.
위로
사용자 정보 보기 비밀 메시지 보내기
최민아



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

올리기올려짐: 2010년12월1일 15:50    주제: 인용과 함께 답변

답변 감사합니다~

그리고 챌린지 1번 tail recursive call일 때 K에 넣고 빼는 비용을 줄이는 문제에서요..
임의의 recursive call에 대해 tail recursive call로 바꿀 필요는 없고
tail recursive call에 대해서만 개선하면 되나요?
위로
사용자 정보 보기 비밀 메시지 보내기
조성근



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

올리기올려짐: 2010년12월2일 1:15    주제: 인용과 함께 답변

문제에서 요구하는 것은 재귀함수를 호출할 때 발생하는 함수호출비용(K에 뭔가가 자꾸 쌓이는 현상)이 줄어들도록 하는 것입니다. 임의의 재귀호출을 끝재귀호출로 바꿀 필요가 있는지 없는지, 끝재귀호출에 대해서만 개선하면 되는지 아닌지에 대해서는 문제에서 언급하고 있지 않습니다.

창의력을 발휘하시어 문제에서 요구하는 답안을 작성해 보세요. Smile
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 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