プログラムの数理

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

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

講義内容

関数プログラミングを勉強することによって、問題を解く能力を高め抽象化す る技能を身につけることができる。これは、他言語でプログラミングにも役に 立つだろう。また、Haskell言語はプロトタイプシステムの開発の高速化に向 いていて、実現言語として算法設計、データ構造、プログラミング言語の文法 と意味論、コンパイラ等に利用されている。　

教科書

講義スライド

• 講義の概要，関数プログラミング言語Haskellの概要 （PDF）
• 基本データ型，型推論 （PDF）
• リスト，内包表現，高階関数 （PDF)
• プログラミング例 （PDF）

リンク

• The Haskell Home Page: 是非ご覧ください。
• 和田先生の「関数プログラミングの妙味」
• 尾上さんの Haskell言語とその処理系のチュートリアル（日本語）
• 山下さんの「Programming in Haskell」ページ
• 「情報処理」学会誌は2005年4月より，「Haskellプログラミング」連載が開始した．
• Haskell for Miranda Programmers
• 2004年度の講義資料
• 2003年度期末試験問題
• 2004年度期末試験問題