SICP - selflearn @ ウィキ

はじめに

『 計算機プログラムの構造と解釈 』(SICP)を読み、その内容をまとめています。演習問題もできるだけ解くようにしていますので、進みは遅いです。

開始日	2006/12/31
第１章読了	2007/1/14
終了日

テキストのまとめ

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

1. SICP（1.1 プログラムの要素）
2. SICP（1.2 手続きとその生成するプロセス）
3. SICP（1.3 高階手続きによる抽象）

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

1. SICP（2.1 データ抽象入門）
2. SICP（2.2 階層データ構造と閉包性）
3. SICP（2.3 記号データ）
4. SICP（2.4 抽象データの多重表現） ←まだまだココ（2007/12/24）

演習問題

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

1. SICP (問題1.*)

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

1. SICP (問題2.1 -)
2. SICP (問題2.44 -)
3. SICP (問題2.73 -)

その他のメモ

1. メモ（第1章）
2. メモ（第2章）

参考サイト

• WiLiKi：「...本サイトは、WiLiKiの紹介ページであると共に、プログラミング言語Scheme、そしてその一実装であるGaucheに関する議論を行う場でもあります...」
• バカが征く：関数型言語のジョーク。「...舞台に立つときにアガらないようにって手の平に『人』って字を書いて飲み込むってのをやってみたんだ／でも、間違って『λ』って書いちゃって余計アガっちゃったよ／これぞほんとの後悔関数」

（ - ）

コメント

• 問題2.34の解答にtypoがあります。lambda の中で this-coeff と higher-terms が入れ替わっています。 -- 上山完 (2007-06-07 09:46:11)
• 問題2.38 opは交換律だけではなく結合律も満足しなければいけません。 -- 上山完 (2007-06-12 12:00:17)
• コメントありがとうございます。今頃になって気づきました・・・。すみません。もう一度、ご指摘の問題を見直してみます。 -- kato (2007-07-30 22:09:10)