プログラムの数理 2010 - Lectures of IPLお知らせ † 2011/02/07: 期末試験（参考書の持ち込み可） 2011/01/17: 休講 2010/12/20: 中間レポートの提出の締切（課題は第４章のスライドの最後にあります。参考用のHaskellソース：Calendar.hs ） 2010/11/29: 休講 2010/10/04: 講義開始 ↑ 教科書 † 武市正人訳,「関数プログラミング」, 近代科学社, 1994年. ISBN4-7649-0181-1、定価 4,500円．(R. Bird and P. Wadler, Introduction to Functional Programming, Prentice Hall, 1988) ↑ 講義資料 † 第1章 (2010/10/04) 講義概要・関数プログラミングの基本概念 ( intro_101004.pdf ) 第2章 (2010/10/18, 25)
