로파스 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 함수 역시 사용하지 말고 구현하셔야 합니다.
------------------------ |
|