算 法 言 語

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

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

ニュース

• 01/18: 期末試験は2月10日（8時半〜10時、63講義室）に行なわれる。
• 11/18: 11/25の講義は中間テストで、情報基盤センター（浅野キャンパス） 5階の大演習室で行なわれる。
• 11/15: AL01レポートが届いた学生の学籍番号が公開 された。
• 11/11: 11/18の講義は6号館で行なわれる。
• 11/11: 講義中で提出できなかったレポートは今日中に提出すること。
• 10/28: 11/11の講義は情報基盤センター（浅野キャンパス）5階の大演習室で行な われる。
　
• 10/28: 講義で説明されたHaskellソースを追加した。
• 10/28: 学生の希望より、講義の前に講義スライドを公開する。

講義内容

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

教科書

講義スライド

• 講義の概要、第一章：関数プログラミングの基本概念
• 第二章：基本データ型・型推論
• 演習A
• 第三章：リスト
• 第四章：リスト処理例：「数をこどばに」、「カレン ダーの印刷」
• 第五章：再帰法と帰納法、演習B
• 第六章：効率 -- 計算時間と空間
• 第七章：無限リスト、極限
• 復習（まとめ）

• 尾上さんの Haskell言語とその処理系のチュートリアル（日本語）
• Functional Programming Course Page at Oxford, by Prof. Richard Bird.
• The Haskell Bookshelf
• The Haskell Home Page: 内容豊富！
• Hugs: Haskell処理系
• Haskell for Miranda Programmers