目次

• 表紙
• 目次
• 非公式Texinfoフォーマット
• 非公式日本語版
• 非公式日本語版 翻訳改訂版
• 献辞
• 前書き
• 第二版~序文
• 第一版~序文
• 謝辞
• 1 手続きを用いた抽象化の構築
  • 1.1 プログラミングの要素
    • 1.1.1 式
    • 1.1.2 命名と環境
    • 1.1.3 組み合わせの評価
    • 1.1.4 複合手続き
    • 1.1.5 手続き適用の置換モデル
    • 1.1.6 条件式と述語
    • 1.1.7 例: ニュートン法による平方根
    • 1.1.8 ブラックボックス抽象化としての手続き
  • 1.2 手続きとそれが生成するプロセス
    • 1.2.1 線形再帰と反復
    • 1.2.2 木の再帰
    • 1.2.3 増加オーダー
    • 1.2.4 指数計算
    • 1.2.5 最大公約数
    • 1.2.6 例: 素数判定
  • 1.3 高階手続きによる抽象の定式化
    • 1.3.1 引数としての手続き
    • 1.3.2 $\texttt{lambda}$を使って手続きを構築する
    • 1.3.3 汎用手法としての手続き
    • 1.3.4 返り値としての手続き
• 2 データを用いた抽象化の構築
  • 2.1 データ抽象化入門
    • 2.1.1 例: 有理数の数値演算
    • 2.1.2 抽象化の壁
    • 2.1.3 データとは何か
    • 2.1.4 発展問題: 区間演算
  • 2.2 階層データと閉包性
    • 2.2.1 列の表現
    • 2.2.2 階層構造
    • 2.2.3 標準インターフェイスとしての列
    • 2.2.4 例: 図形言語
  • 2.3 記号データ
    • 2.3.1 クォート
    • 2.3.2 例: 記号微分
    • 2.3.3 例: 集合を表現する
    • 2.3.4 例: ハフマン符号化木
  • 2.4 抽象データの多重表現
    • 2.4.1 複素数の表現
    • 2.4.2 タグつきデータ
    • 2.4.3 データ主導プログラミングと加法性
  • 2.5 ジェネリック演算によるシステム
    • 2.5.1 ジェネリック算術演算
    • 2.5.2 異なる型のデータを組み合わせる
    • 2.5.3 例: 記号代数
• 3 モジュール性、オブジェクト、状態
  • 3.1 代入と局所状態
    • 3.1.1 局所状態変数
    • 3.1.2 代入を導入する利点
    • 3.1.3 代入を導入することのコスト
  • 3.2 評価の環境モデル
    • 3.2.1 評価規則
    • 3.2.2 単純な手続きの適用
    • 3.2.3 局所状態の保管場所としてのフレーム
    • 3.2.4 内部定義
  • 3.3 可変データによるモデル化
    • 3.3.1 可変リスト構造
    • 3.3.2 キューの表現
    • 3.3.3 テーブルの表現
    • 3.3.4 デジタル回路シミュレータ
    • 3.3.5 制約伝播
  • 3.4 並行性: 期限厳守
    • 3.4.1 並行システムにおける時間の性質
    • 3.4.2 並行性制御メカニズム
  • 3.5 ストリーム
    • 3.5.1 ストリーム＝遅延リスト
    • 3.5.2 無限ストリーム
    • 3.5.3 ストリームパラダイムの活用
    • 3.5.4 ストリームと遅延評価
    • 3.5.5 関数型プログラムのモジュール性とオブジェクトのモジュール性
• 4 メタ言語抽象化
  • 4.1 メタ循環評価器
    • 4.1.1 評価器のコア
    • 4.1.2 式の表現
    • 4.1.3 評価器のデータ構造
    • 4.1.4 評価器をプログラムとして実行する
    • 4.1.5 プログラムとしてのデータ
    • 4.1.6 内部定義
    • 4.1.7 構文解析を実行から分離する
  • 4.2 Schemeの変異版 --- 遅延評価
    • 4.2.1 正規順序と適用順序
    • 4.2.2 遅延評価のインタプリタ
    • 4.2.3 遅延化リストとしてのストリーム
  • 4.3 Schemeの変異版 --- 非決定性計算
    • 4.3.1 ambと探索
    • 4.3.2 非決定性プログラムの例
    • 4.3.3 \code{amb}評価器の実装
  • 4.4 論理プログラミング
    • 4.4.1 推論的情報検索
    • 4.4.2 クエリシステムの仕組み
    • 4.4.3 論理プログラミングは数学論理学か
    • 4.4.4 クエリシステムの実装
      • 4.4.4.1 ドライバループと具体化
      • 4.4.4.2 評価器
      • 4.4.4.3 パターンマッチングによる表明の検索
      • 4.4.4.4 規則とユニフィケーション
      • 4.4.4.5 データベースの保守
      • 4.4.4.6 ストリーム演算
      • 4.4.4.7 クエリ構文手続き
      • 4.4.4.8 フレームと束縛
• 5 レジスタマシンによる計算
  • 5.1 レジスタマシンの設計
    • 5.1.1 レジスタマシンの記述言語
    • 5.1.2 マシン設計における抽象化
    • 5.1.3 サブルーチン
    • 5.1.4 再帰の実装にスタックを使う
    • 5.1.5 命令まとめ
  • 5.2 レジスタマシンシミュレータ
    • 5.2.1 マシンモデル
    • 5.2.2 アセンブラ
    • 5.2.3 命令の実行手続きの生成
    • 5.2.4 マシンパフォーマンスの監視
  • 5.3 記憶領域の割り当てとガベージコレクション
    • 5.3.1 ベクタとしてのメモリ
    • 5.3.2 無限メモリ幻想の維持
  • 5.4 明示制御評価器
    • 5.4.1 明示制御評価器のコア
    • 5.4.2 列の評価と末尾再帰
    • 5.4.3 条件文、代入、定義
    • 5.4.4 評価器の実行
  • 5.5 コンパイル
    • 5.5.1 コンパイラの構造
    • 5.5.2 式のコンパイル
    • 5.5.3 組み合わせのコンパイル
    • 5.5.4 命令列のコンパイル
    • 5.5.5 コンパイル済みコードの例
    • 5.5.6 レキシカルアドレッシング
    • 5.5.7 コンパイル済みコードと評価器の接続
• 参考文献
• 練習問題リスト
• 図一覧
• 索引
• 奥付