조교팀 홈페이지

• 2011-11-29 project is out!
• 2012-11-27 hw8 is out!
• 2012-11-20 hw7 is out!
• 2012-11-09 hw6 is out!
• 2012-10-30 hw6 is delayed!
• 2012-10-11 hw5 is out!
• 2012-10-08 hw4 is out!
• 2012-09-26 10월 2일 휴강
• 2012-09-21 hw3 is out!
• 2012-09-11 hw2 is out!
• 2012-09-04 hw1 is out!
• 2012-08-28 TA page open

공지사항

• 2012/11/29 프로젝트가 나왔습니다. 3번을 위한 보조 도구는 게시판을 참고해주세요.
• 딜레이는 없습니다. No Delay.

문서

• Project : dust storm, ranking, transformer. (due 12/21 24:00)

• hw1 primitives, compound, recursion. (due 09/14 24:00)
• hw2 recursion & typeful programming. (due 09/21 24:00)
• hw3 typeful programming & data abstraction. (due 10/03 24:00)
• hw4 data implementation & termination check. (due 10/12 24:00)
• hw5 data abstraction with multiple implementations, Turing machine, challenges. (due 10/26 24:00)
• hw6 (due 11/09 24:00)
• hw6 automatic typeful programming I. (due 11/20 24:00)
• hw7 automatic typeful programming II & primitive module programming. (due 11/30 24:00)
• hw8 module programming II. (due 12/07 24:00)
• Project (due 12/21 24:00)

제출

• 주의사항: 파일명에 공백을 제거해주세요.
• 웹 페이지를 통해 제출합니다.
• Delay 규정: 24시간까지 10%, 48시간까지 20% 감점합니다. 이후에는 숙제를 받지 않겠습니다.

질문/답변시간

매주 월/수요일 15:30부터 17:00 사이가 질문 답변 시간입니다. 궁금한 점이 있으시면 해당 시간에 302동 312-2호 프로그래밍 연구실로 오세요. 물론 사전 연락 후 다른 시간에 오셔도 됩니다.

실습자료

• 2012/09/06 실습 0 - Scheme 소개
• 2012/09/13 실습 1 - cond, 재귀함수, 함수를 인자로 받는 함수, 타입
• 2012/09/20 실습 2 기본 - 함수를 인자로 받는 함수, 타입, 계산 복잡도
• 2012/09/27 실습 3 사용자 정의 타입, 여러 가지 방법으로 데이터 구현하기
• 2012/10/11 실습 4 - 계층별로 데이터 속구현 감추기, 여러 구현 동시에 지원하기
• 2011/10/18 실습 5 - 인터페이스로 프로그래밍해보기,명령형 값중심 연습
• 2011/10/25 실습 6 - 함수 테이블 만들기
• 2011/11/01 실습 7 - 물건 중심, 값 중심 프로그래밍 다시 보기, 8-퀸 퍼즐
• 2011/11/08 실습 8 - OCaml 환경 및 기본
  • OCaml 튜토리얼
• 2011/11/15 실습 9 - OCaml 시작하기
• 2011/11/21 실습 10 - OCaml 프로그래밍 연습, 예외 처리
• 2011/11/29 실습 11 - 모듈, 시그니처, 모듈함수

참고문서

- OCaml

• The Caml Language homepage
• The Objective Caml manual
• The core library
• The standard library
• The Objective Caml langauge reference
• Developing Applications With Objective Caml
• OCaml tutorial
• Introduction to Objective Caml (Jason Hickey) NEW!
• Ocaml tutorial (11/09) NEW!

- Scheme

• DrScheme 홈페이지
• DrScheme 다운로드
• Advanced-topics : not recommanded but exciting
• quasiquote
• call-with-current-continuation (aka CC)
• Scheme-Style Macros

- Coding Style Guide

• Scheme Programing Tips
• Ocaml Style Guide