조교팀 홈페이지

• 2011-05-24 숙제6이 나왔습니다.

  제출기한은 6월 3일까지입니다. 숙제의 뼈대코드는 조교팀 홈페이지에 게시되어 있습니다.

• 2011-05-03 숙제5가 나왔습니다.

  제출기한은 5월 17일까지입니다. 숙제의 뼈대코드는 조교팀 홈페이지에 게시되어 있습니다.

• 2011-04-21 숙제4가 나왔습니다.

  제출기한은 5월 2일까지입니다. 파서도 곧 제공됩니다.

• 2011-04-03 숙제3 뼈대코드가 학외에서 안 받아지시는 경우 여기에서 받으세요.

  확장자를 .tar.gz로 바꾸신 후 압축을 해제하시면 됩니다.

• 2011-04-03 숙제3 뼈대코드가 게시되었습니다.
• 2011-03-31 숙제3이 나왔습니다.

  제출기한은 4월 12일까지입니다. 뼈대코드도 곧 제공될 예정입니다.

• 2011-03-22 숙제2 제출기한은 3월 25일까지입니다.
• 2011-03-08 강의교재 제본 신청 받습니다.

  링크된 게시물에 실명으로 댓글 달아 주시기 바랍니다.

• 2011-03-08 숙제1이 나왔습니다.

  등록기간내에 제출페이지에 등록도 해 주세요.

• 2011-03-08 공지사항을 RSS로도 제공합니다.

  RSS 수집기를 사용하는 학생들의 편의를 위해 조교팀 홈페이지를 방문하지 않고도 공지사항을 확인할 수 있도록 같은 내용을 RSS로도 제공합니다. 중요한 공지만 제공해 드리니 게시판 역시 자주 확인해 주세요.

질문/답변

매주 월/수요일 14:00부터 15:15분 사이가 질문 답변 시간입니다. 궁금한 점이 있으시면 해당 시간에 302동 312-2호 또는 138동 215호로 오세요. 사전 연락 후 다른 시간에 오셔도 됩니다.

참고문서

-OCaml

• OCaml 홈페이지
• OCaml reference
  • For emacs users
• OCaml style guide
• Ocaml tutorial (2011/3/10)
• Introduction to Objective Caml. Jason Hickey.
• 예제
  • hello.ml: hello world!
  • sieve.ml: 2부터 1000까지 소수를 출력하는 프로그램
  • intstack.ml: 정수 스택
  • stack.ml: 일반적인 스택
  • calc.ml: 계산기

• HW1: due 3/18 24:00. OCaml exercise I.
• HW2: due 3/25 24:00. OCaml exercise II.
• HW3: due 4/12 24:00. K- interpreter, K- pgming.
• The K- Language: Syntax, Domains, and Semantics
• skeleton codes (parser and lexer included)
• If the link above doesn't work when you're off-campus, try this one. You have to change the extension from .tar.gz_ to .tar.gz.
• HW4: due 5/2 24:00. Lambda calculus reducer. Translating applicative language to Lambda calculus.
• Exercise 1: skeleton code (parser included) (try this one off-campus)
• Exercise 2: skeleton code (parser and runner included) (try this one off-campus)
• HW5: due 05/17 interpreter, simply typed M.
• M definition
• skeleton codes (parser and lexer included) (try this one off-campus)
• HW6: due 06/03 24:00. Polymorphically typed M.
  • skeleton codes (try this one off-campus)
• Challenges: due 6/20
• SM5 : Fall 2010 Class, HW4. skeleton codes (try this one off-campus)

제출

• 웹 페이지를 통해 제출합니다.
• 숙제 제출 유의사항
• 처음 사용자는 등록기간내에 등록해주세요.