素人くさいSICP「独」書会

目次

1. 手続きによる抽象の構築

　　　Lispによるプログラム

　1.1 プログラムの要素

　1.2 手続きとその生成するプロセス

　1.3 高階手続きによる抽象

2. データによる抽象の構築

　2.1 データ抽象入門

　2.2 階層データ構造と閉包性

　2.3 記号データ

　2.4 抽象データの多重表現

　2.5 汎用演算のシステム

3. 標準部品化力, オブジェクトおよび状態

　3.1 代入と局所状態

　3.2 評価の環境モデル

　3.3 可変データでのモデル化

　3.4 並列性: 時が本質的

　3.5 ストリーム

4. 超言語的抽象

　4.1 超循環評価器

　4.2 Schemeの変形 --- 遅延評価

　4.3 Schemeの変形 --- 非決定性計算

　4.4 論理型プログラミング

5. レジスタ計算機での計算

　5.1 レジスタ計算機の設計

　5.2 レジスタ計算機シミュレータ

　5.3 記憶の割当てとごみ集め

　5.4 積極制御評価器

　5.5 翻訳系