Mathematical Structures in Computer Programs 2009

講義概要 †

• 場所：東京大学工学部6号館2階63講義室
• 時間： 2009年度冬学期 月曜日午前 8:30 -- 10:00
• 担当教員：武市正人、胡振江

お知らせ †

• 2010/02/01: 期末試験は2月8日(月)の8:30-10:00です。
• 2009/12/07: 中間報告書の提出締切は2010年1月7日(木)の午前10:00までです。詳細はslidesをご参照ください。
• 2009/11/09: 11/16は休講です。３章までの練習問題を解いてください。
• 2009/10/05: 教科書は東大生協の書籍部で購入できます。

教科書 †

• 武市正人訳,「関数プログラミング」, 近代科学社, 1994年. ISBN4-7649-0181-1、定価 4,500円．(R. Bird and P. Wadler, Introduction to Functional Programming, Prentice Hall, 1988)

講義資料 †

• 第1章 (2009/10/05)
  　講義概要・関数プログラミングの基本概念 (slides)
• 第2章 (2009/10/19, 10/26, 11/2)
  　基本型とその上の関数定義 (slides)
• 第3章 (2009/11/09, 11/23)
  　リストとその上の関数定義 (slides)
• 第4章 (2009/11/30, 12/7)
  　リスト処理の例 (slides, Calendar.hs)
• 第5章 (2009/12/14)
  　再帰法と帰納法 (slides)
• 第6章 (2010/01/25)
  　再帰法と帰納法 (slides)
• 第7章 (2009/12/21)
  　無限リスト (slides)
• 第8章 (2010/01/07)
  　新しい型 (slides)
• 第9章 (2010/01/18)
  　木(1/2) (slides)
  　木(2/2) (slides)

参考資料 †

• Haskell Top Page
• Miranda for Haskell Programmer
• 2008年度の講義ページ