第１章はじめに
- １．１デザインレシピ
- １．２使用する言語
- １．３準備
- １．４参考となる資料
第２章基本的なデータ
- ２．１整数
- ２．２実数
- ２．３文字列
- ２．４真偽値
- ２．５そのほかのデータ
第３章基礎の定義
- ３．１変数の必要性
- ３．２変数定義の構文
- ３．３変数の実行方法
- ３．４ほかの言語の変数との違い
第４章関数の定義
- ４．１関数定義の必要性
- ４．２関数定義の構文
- ４．３関数の型
- ４．４型推論と型チェック
- ４．５関数の実行方法
- ４．６関数定義に対するデザインレシピ
第５章条件分岐
- ５．１条件分岐の必要性
- ５．２条件分岐の構文
- ５．３ｋｙｕｙｏの例
- ５．４式としてのｉｆ文
- ５．５条件分岐に対するデザインレシピ
- ５．６真偽値を返す関数
- ５．７条件分岐の実行方法
第６章さまざまなエラー
- ６．１構文エラー
- ６．２未定義の変数
- ６．３型エラー
- ６．４実行時のエラー
- ６．５論理的なエラー
第７章組とパターンマッチ
- ７．１組の構文
- ７．２パターンマッチ
- ７．３構造データに対するデザインレシピ
- ７．４パターンマッチの実行方法
第８章レコード
- ８．１レコードの必要性
- ８．２レコードの構文
- ８．３レコードとパターンマッチ
- ８．４そのほかの記法
- ８．５ユーザによる型定義
- ８．６データ定義に対するデザインレシピ
- ８．７駅名と駅間の情報の定義
第９章リスト
- ９．１リストの構造
- ９．２リストの構文と型
- ９．３リストとパターンマッチ
- ９．４再帰関数
- ９．５再帰関数に対するデザインレシピ
- ９．６テンプレートの複合
- ９．７駅名リストと駅間リストの整備
第１０章再帰関数を使ったプログラミング
- １０．１関数のネスト
- １０．２リストの中の最小値を求める関数
- １０．３局所変数定義
- １０．４パターンマッチつき局所変数定義
- １０．５ふたつのリストを結合する関数
- １０．６ふたつの昇順に並んだリストをマージする関数
- １０．７駅名・駅間リストからの情報の取得
第１１章自然数と再帰
- １１．１自然数の構造
- １１．２自然数に基づいた再帰関数
- １１．３ベキ乗を求める関数
- １１．４リスト上の再帰との違い
第１２章ダイクストラのアルゴリズム
- １２．１グラフ上の最短路問題
- １２．２ダイクストラのアルゴリズム
- １２．３アルゴリズムの正当性
- １２．４プログラムにおける頂点と辺の定義
- １２．５駅名の重複の除去
第１３章一般化と高階関数
- １３．１データの一般化
- １３．２関数の一般化とｍａｐ
- １３．３多相型と多相関数
- １３．４値としての関数
- １３．５関数を返す関数
- １３．６確定点に隣接する点の最短距離の更新
第１４章高階関数を使ったリスト処理
- １４．１条件を満たす要素を取り出す関数
- １４．２各要素をまとめあげる関数
- １４．３局所関数定義
- １４．４名前のない関数
- １４．５ｉｎｆｉｘ関数とｐｒｅｆｉｘ関数
- １４．６完全数を求める関数
第１５章新しい形の再帰
- １５．１再帰関数の構造
- １５．２部分問題の生成
- １５．３補助関数の作成
- １５．４停止性の判定
- １５．５一般の再帰に対するデザインレシピ
- １５．６最短距離最小の点の分離
- １５．７例の作成とデバッグについて
第１６章情報の蓄積
- １６．１情報の欠落
- １６．２アキュムレータ
- １６．３アキュムレータの活用
- １６．４最初の完動プログラム
- １６．５プログラム作成のプロセス
第１７章再帰的なデータ構造
- １７．１バリアント型
- １７．２木
- １７．３再帰的なデータ構造に対するデザインレシピ
- １７．４２分探索木
- １７．５多相型の宣言
- １７．６停止性
- １７．７ｇｅｔ＿ｅｋｉｋａｎ＿ｋｙｏｒｉの高速化
- １７．８全通りを尽くしていない場合の対処
第１８章例外と例外処理
- １８．１オプション型
- １８．２オプション型を使った例外処理
- １８．３オプション型を使った例外処理の問題点
- １８．４例外処理専用の構文
- １８．５例外処理の実際
- １８．６例外処理を使ったプログラミング
- １８．７最短路問題における例外処理
第１９章モジュール
- １９．１モジュールの構文
- １９．２２分探索木のモジュール
- １９．３モジュールインタフェース：シグネチャ
- １９．４抽象データ型
- １９．５そのほかのシグネチャの宣言法
- １９，６ファイルの分割と分割コンパイル
- １９．７２分探索木モジュールの使用
第２０章モジュールの開発
- ２０．１赤黒木
- ２０．２赤黒木への挿入
- ２０．３赤黒木の再構成
- ２０．４「または」のパターン
- ２０．５赤黒木のモジュール化
- ２０．６ｏｐｅｎ文
第２１章逐次実行
- ２１．１副作用を持つ関数
- ２１．２ｕｎｉｔ型
- ２１．３逐次実行の構文
- ２１．４実行中の変数の表示
- ２１．５実行の順序
- ２１．６スタンドアローンのプログラム
- ２１．７引数の渡し方
第２２章値の書き変えと参照透過性
- ２２．１参照透過性
- ２２．２呼び出し回数のカウント
- ２２．３参照型と値の書き変え
- ２２．４参照透過性の喪失
- ２２．５変更可能なレコード
- ２２．６配列
- ２２．７配列の変更
第２３章副作用命令を使ったプログラミング
- ２３．１ダイクストラ法におけるデータアクセス
- ２３．２ヒープ
- ２３．３ヒープへの挿入
- ２３．４そのほかの操作
- ２３．５ヒープのインタフェース
- ２３．６副作用命令の影響について
- ２３．７ヒープの実装の概要
第２４章まとめ－プログラミングとは－
- ２４．１ＯＣａｍｌを習得して
- ２４．２この先の道
索引