게시판 인덱스

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

숙제 6 CPS 채점 결과에 대하여

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2015)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
최영진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라는 걸 처음 접하는 입장에서 오해할 여지가 충분히 있지 않나 해서 말씀드렸습니다.


답변 감사드립니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2015) 시간대: GMT + 9 시간(한국)
페이지 11

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


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