講義要項 
- 関数プログラミングの基本概念
- Haskell言語とその処理系の紹介
- リストと再帰的なリスト処理関数
- プログラムの合成と最適化
- プログラム性質の証明
教科書等
武市正人訳, 関数プログラミング, 近代科学社, 1994.(R. Bird and P. Wadler, Introduction to Functional Programming, Prentice Hall, 1988)
Richard Bird, Lecture Notes on Constructive Functional Programming, Technical monograph 69; PRG, Oxford University, September 1988.
Richard Bird and Oege de Moor. The Algebra of Programming. Prentice-Hall, 1996.
Richard Bird, Lecture Notes on Constructive Functional Programming, Technical monograph 69; PRG, Oxford University, September 1988.
Richard Bird and Oege de Moor. The Algebra of Programming. Prentice-Hall, 1996.
成績評価
出席, 演習レポート, 期末試験により評価.
講義ページ
コメントをかく