|
|
이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
최영진09
가입: 2010년 9월 8일 올린 글: 21
|
올려짐: 2015년12월2일 22:03 주제: 숙제 6 CPS 채점 결과에 대하여 |
|
|
안녕하세요, 수강생 최영진입니다.
6번 결과에 대한 클레임 사항입니다만, 저와 같은 문제를 공유하는 수강생이 많아보여 게시판에 올립니다.
저는 6-2 CPS 변환에서, Fn 및 Rec의 경우 내부 expr에 대해 CPS 변환을 하지 않았는데요.
과제 스펙 정의를 보면 다음 문장이 있습니다.
(3-1) e가 상수(Num, Var, Fn, Rec) 일때만 cps(e) = \k.k(...) 형태를 허용합니다. 상수의 경우 계산할 게 없으므로 바로 k에 전달하는 것입니다.
위 문장에도 Fn, Rec이 포함되어 있으며, 뼈대 코드에도 Constant Expression이 분명히 나누어져 있습니다. 이 때 "상수의 경우 계산할 게 없으므로 바로 k에 전달한다"를 보고 Num 과 같이 처리하였습니다.
지금 보니 CPS 문제의 의도는 Fn/Rec 안의 것도 변환하는 게 맞고, 실제로 숙제 7에서도 그걸 이용하긴 했습니다. 그러나 저 스펙 정의는 충분히 이렇게 해석할 여지가 있다고 생각합니다. (2) 와 모순되는 것 같고요.
다시 검토해주실 수 있는지요?
감사합니다. |
|
위로 |
|
|
이용훈
가입: 2015년 9월 8일 올린 글: 1
|
올려짐: 2015년12월2일 23:54 주제: |
|
|
저도 스펙 3-2를 보고 Fn이랑 Rec을 상수로 처리하였는데 채점 결과를 보니 당황스럽네요. 이 부분은 다시 검토해주셨으면 합니다. |
|
위로 |
|
|
brianlee0113
가입: 2015년 9월 3일 올린 글: 3
|
올려짐: 2015년12월3일 2:21 주제: |
|
|
저도 같은 방식으로 이해하고 과제를 했는데, 다시 검토해주시면 감사하겠습니다. |
|
위로 |
|
|
최재승
가입: 2012년 9월 10일 올린 글: 211
|
올려짐: 2015년12월3일 10:57 주제: |
|
|
안녕하세요.
인용: | (2) 어떤 mexp에 나타난 sub-expression들은 모두 cps 변환되어야 합니다. |
우선, 위의 조건에 따르면, Fn (x, e)의 e는 반드시 cps 변환된 형태로 나타나야 함은 명확합니다.
인용: | (3-1) e가 상수(Num, Var, Fn, Rec) 일때만 cps(e) = \k.k(...) 형태를 허용합니다. 상수의 경우 계산할 게 없으므로 바로 k에 전달하는 것입니다.
(3-2) e가 상수가 아니면 항상 cps(e) = \k....(\v....k... ) 형태로 변형되어야 합니다. 복합식의 경우, 일부를 먼저 변환하고 남은 할 일을 k를 가지고 구성해서 전달하는 것입니다. |
위의 조건에서 "바로 k에 전달한다"는 \k.k (...) 처럼 k를 적용(apply)해도 되는지, 아니면 \k....(\v....k... ) 처럼 앞으로 해야 할 일을 만드는데 사용해야 하는지를 설명하는 것이며, sub-expression을 그대로 두어도 된다는 것이 아닙니다.
(3-1), (3-2)가 짝을 이뤄 k를 어떻게 사용해야 하는지를 명확하게 설명하고 있기 때문에, 이것을 sub-expression을 그대로 두라는 의미로 해석하는 것은 잘못되었다고 봅니다.
그리고, 만약 조건 (3-1)을 잘못 해석하여 (2)와 모순되는 내용이라고 판단하셨으면 게시판이나 메일을 통해 질문하여 확인받으셨어야 할 것입니다. (3-1) 조건만을 보고 Fn (x,e) 의 e를 그대로 두는 것은 납득하기 어렵습니다.
조교 드림 |
|
위로 |
|
|
최영진09
가입: 2010년 9월 8일 올린 글: 21
|
올려짐: 2015년12월3일 15:15 주제: |
|
|
넵, 당시에 모순이라는 데까지 생각이 미친 건 아니고, 3-1만 보고 상수는 그대로 했습니다.
이건 제 부주의가 맞습니다. 다만 CPS라는 걸 처음 접하는 입장에서 오해할 여지가 충분히 있지 않나 해서 말씀드렸습니다.
답변 감사드립니다. |
|
위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다 답글을 올릴 수 없습니다 주제를 수정할 수 없습니다 올린 글을 삭제할 수 없습니다 투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group Translated by kss & drssay
|