이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
최민아
가입: 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에 뭔가가 자꾸 쌓이는 현상)이 줄어들도록 하는 것입니다. 임의의 재귀호출을 끝재귀호출로 바꿀 필요가 있는지 없는지, 끝재귀호출에 대해서만 개선하면 되는지 아닌지에 대해서는 문제에서 언급하고 있지 않습니다.
창의력을 발휘하시어 문제에서 요구하는 답안을 작성해 보세요. |
|
위로 |
|
|
|