プログラムの数理

時間： 2008 年度冬学期 月曜日午前 8:30 -- 10:00

場所： 工学部 6 号館 2 階 63 講義室

講義内容

• 算法言語の基本概念（文法・意味・型・計算モデル）を学習することによっ て、厳密な科学・工学としてのプログラミングのあり方を学ぶ。
• 算法設計・プログラミングを数学的な活動としてとらえる考え方を理解す る。計算機プログラムの数理的構造を捉え．それに基づいて構成的にアルゴリ ズムを記述する構成的アルゴリズム論(constructive algorithmics)の基礎を扱 う。

教科書・参考書

• 武市正人訳、 「関数プログラミング」, 近代科学社, 1994年. ISBN4-7649-0181-1、定価 4,500円．(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.

講義資料

• 講義の概要 (PDF)
• 関数プログラミングの基本概念 (PDF)
• 基本データ型上の関数 (PDF)
• 合成型上の関数 (PDF)
• 関数プログラムの設計 (PDF)
• 帰納法によるプログラムの証明 (PDF)
• 中間レポートについて (PDF, Arithmetic.hs)
• 構成的アルゴリズム論1（基本概念） (PDF)
• 構成的アルゴリズム論2（準同型） (PDF)
• 構成的アルゴリズム論3（方向付き簡約計算） (PDF)

関連リンク

• Haskell関連
  • The Haskell Home Page
  • 和田先生 の「関数プ ログラミングの妙味」
  • 尾上さんの Haskell言語とその処理系のチュートリアル（日本語）
  • 「情報処理」学会誌は2005年4月より， 「Haskellプログラミ ング」連載が開始した．
  • Haskell for Miranda Programmers
• プログラム運算関連
  • IFIP Working Group 2.1 -- Algorithmic Languages and Calculi
  • 8th International Conference on Mathematics of Program Construction, Kuressaare, Estonia, 3-5 July 2006.
  • Program Development and Tools Group in Oxford University
  • Roland Backhouse's Course Page on Program Construction and Verification
• 2007年度の講義資料
• 過去期末試験問題
  • 2003年度期末試験問題
  • 2004年度期末試験問題
  • 2005年度期末試験問題
  • 2006年度期末試験問題
  • 2007年度期末試験問題