게시판 인덱스

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

숙제 1 공개 및 보충스펙 공지입니다.

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


가입: 2012년 9월 9일
올린 글: 280

올리기올려짐: 2017년9월11일 10:43    주제: 숙제 1 공개 및 보충스펙 공지입니다. 인용과 함께 답변

안녕하세요,

숙제 1이 올라왔음을 알려드립니다.

내용 : http://ropas.snu.ac.kr/~kwang/4190.310/17/hw1.pdf
제출 : http://ropas.snu.ac.kr/~ta/4190.310/17/submit/index.pl
기한 : 9/14 밤 11시 59분 59초

제출 페이지에서 학번을 아이디로 하여 가입(register)하신 다음 해당 계정으로 로그인하여 숙제를 제출하시면 됩니다. 가입 기간은 9/29 까지입니다.

* 과제 관련 주의 사항
과제를 하고 제출하기에 앞서 꼭 https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=5853 글의 주의사항을 확인해 주세요.

* 뼈대코드
숙제 1은 뼈대코드가 없습니다

* 숙제 스펙 세부사항
(질문은 이 글에 답글로 달지 마시고, 별도의 글로 질문해 주시기 바랍니다)

Exercise 1 "리스트합"

- merge 함수가 내놓는 리스트는 정수 원소를 큰 순서대로("descending order") 갖고 있어야 합니다

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

Exercise 2 "씨그마"

- n = a to b 라고 할 때, a > b 인 경우 0을 리턴하시면 됩니다.

------------------------
Exercise 3 "반복기"

- 인자 f 로는 a 타입을 인자로 받으면, a 타입을 내놓는 함수만 들어옵니다.
- 'n' 이 음수인 입력에 대해서는, 어떤 값을 내놓아도 무방합니다. 이런 경우는 채점시 테스트하지 않겠습니다.

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

Exercise 4 "자연수"

type nat 은 귀납적인 정의 스타일로 자연수를 정의한 것이며, 과제의 의도는 이렇게 정의된 자연수 타입에 대한 기본적인 더하기와 곱하기 함수를 직접 정의해 보는 것입니다. 따라서 기존에 여러분이 익숙하실 + 나 * 연산자를 사용하지 말고 구현하셔야 합니다. 마찬가지로 succ이나 pred 함수 역시 사용하지 말고 구현하셔야 합니다.
------------------------
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2017) 시간대: GMT + 9 시간(한국)
페이지 11

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


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