게시판 인덱스

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

숙제 5 변경사항 및 스펙 정리 (11/11 00:16 기준)

 
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2013)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
강동옥



가입: 2009년 9월 18일
올린 글: 602

올리기올려짐: 2013년11월5일 23:11    주제: 숙제 5 변경사항 및 스펙 정리 (11/11 00:16 기준) 인용과 함께 답변

Exercise 2. "Lambda Calculus"

- hw5_1.ml 을 제출합니다.

- 최종값이 나오지 않는다고 따로 예외처리를 하실 필요는 없습니다.

- test case는 모호하지 않도록 괄호를 친 인풋을 넣겠습니다. (혹 모호하더라도 조교들이 제공한 파서의 -pp 옵션 결과 기준으로 채점합니다.)

--------------------------------------------------

Exercise 2. "Encoding"

- hw5_2.ml 을 제출합니다.

-and (x, y) : 0이 false, 나머지 true로 간주하고 계산하며 true이면 1 false이면 0을 냅니다. x가 먼저 0으로 계산되면 y는 계산하면 안됩니다.

- natural number : 0이상 자연수
- sub결과 음수는 고려하지 않아도 됩니다.

- 채점방법은 숙제 의도에 맞게 여러분이 만드신 hw5_1.ml을 같이 활용하여 수행합니다.
즉 어떤 mexp와 그 결과 Num을 각각 번역하여 여러분이 제출하신 reduce로 돌리고 둘이 같은지 비교합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2013) 시간대: GMT + 9 시간(한국)
페이지 11

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


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