すべて 和書

Instructor's Manual to Accompany Structure & Interpretation of Computer Programs

プログラミングGauche

The Little Schemer

計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)

On Lisp

???本書を一言で表現すれば、これ1冊でコンピュータのすべてがわかる本である。最近の自然科学や工学では、簡単な規則から予測できない現象を研究する複雑系がはやっている。本書は、そのような思想とはある意味で対立する哲学で書かれている。

???いかなる大きなプログラムでも、それは人間の手によって書かれた小さなプログラムから成り立っており、それらの各部分をよく理解しておけば理解可能であるということだ。逆にいえば、部品となるプログラムを理解しさえすれば、それらを組み合わせて正しく動作する大きなプログラムを作れるわけだ。物理学でいえば素粒子論のような還元主義的な考えであり、ある意味ではオーソドックスな工学の考え方である。

???本書は、MITで長い間行われている講義をもとにした教科書である。著者のジェラルド・ジェイ・サスマンは本書でも使われているSchemeの設計者（現在サン・マイクロシステムズにいるガイ・L.スティール・ジュニアと共に設計・実装を行った）であり、ハロルド・エイブルソンはLogoを使った教育的な著書でも有名な著名である。いずれも人工知能研究所に所属してる純粋のハッカーである。彼らの文書を洗練したり読みやすくするのに力を貸したのが、ジェラルド・ジェイ・サスマンの妻のジュリー・サスマンである。

???本書では、プログラミング言語の制限に依存することなく、プログラミングというのはどういう行為であり、プログラムをどのように構成していけばいいかということの本質を描き出している。Scheme言語についての予備知識は必要でなく、簡単な例を実行していくことで自然に学ぶことができる。基本的な数値計算から説明が始まり、抽象化の技法と構造化プログラミング、ラムダ計算と関数型プログラミング、オブジェクト指向プログラミング、人工知能や論理プログラミングなど、およそ必要なソフトウェア工学の基本が明確に解説されており、おしまいにはCPUの設計までを扱っている。このよう内容が次のような目次立てで扱われている。

1. Building Abstractions with Procedures
2. Building Abstractions with Data
3. Modularity, Objects, and State
4. Metalinguistic Abstraction
5. Computing with Register Machines

???本書で使われているのは、関数型言語Lispの方言であるSchemeである。Schemeは言語仕様が小さくて効率的で、インタープリターであるのでプログラムをすぐに実行できる、必要にして十分な機能を持っている理想的で洗練されたプログラミング言語だ。

???Schemeは関数型言語の利点として、手続きもデータ区別せずに扱うことができる。そのため、それらを抽象的なオブジェクトとして、あるいは大きなプログラムの部品として組み合わせていくことが容易である。そのための本書のような教科書にはうってつけのプログラミング言語であるわけだ。

???日本の教育は、詰め込み式で記憶力に重点が置かれているが、本書のような普遍的な考え方を学ぶチャンスが少ない。日本の情報科学系の大学や専門学校では、プログラミング言語のユーザーしか育てないようなことを行っているところも多いと聞く。ぜひ本書を基礎教育のなかで利用すべきである。本書は単なるコンピュータの教科書ではない、自然科学・工学を学ぶすべての学生が読むべき教養書といえる。

???なお、翻訳は、日本のハッカーとして著名な東京大学名誉教授の和田英一によって訳されている『計算機プログラムの構造と解釈』である。（村藤一雅）

訳が酷い　　（2008-12-07）
学生レベルの翻訳。
訳者を代えて欲しい。
内容は秀逸。

紙と鉛筆と計算機と　　（2008-10-03）
確かに序文の翻訳はむちゃくちゃですが，その他の部分は他の技術書の翻訳と大差ないと思います．
本書の肝は文章ではなく問題を解いていくことにあります．必ず紙と鉛筆と計算機（コンピュータ）を手元に用意し，時間を掛け考えながら解き進めていくべきでしょう．読む本ではなく考える本です．
原文はこちらで公開されています．http://mitpress.mit.edu/sicp/

内容最高。翻訳最低。　　（2008-07-13）
内容は文句なしに最高です。
とにかく考えながら読むのが楽しい本です。
PCにSchemeの処理系を入れてポチポチやりながらやってもいいと思いますし、
紙と鉛筆で、手でやってみても面白いと思います。

ですが、翻訳が最低です。
訳が良くない本とかはありますが、これは問題外です。
こんな翻訳がまかり通っているとは。
誰か、別の人に訳して欲しいところです。
本当は良い本のはずなのに、翻訳の悪さが一気に価値を下げています。

食わず嫌いでした。　　（2008-05-01）
LispもSchemeも食わず嫌いでした。
本書のように、コンピュータ、プログラムの仕組みを親切に教えてくれるものをもっと早く知っていればそうならずに済んだかもしれないと悔やんでいます。
計算機、プログラムの構造で、何が美しいか、何が美しくないかの評価ができるようになりたいと思い読んでいます。

プログラマにとって必読の本です　　（2007-12-10）
「これ1冊でコンピュータのすべてがわかる本」ではありませんが、プログラマにとって必読の本です。この本で言う解釈(Interpretation)を理解すればプログラマにとって新たな道が開けるでしょう。scheme の言語解説に始まり、scheme 上で新たな言語を生成し、インタプリターを生成し、最終的にはコンパイラまで作ります。gcc コンパイラが lisp を採用している(?)意味がわかります。
この類いの本は他にありません。
日本語をよく読めば原文の意味もわかります。訳文（の評価）に惑わされずに上を目指すプログラマなら是非読むことをお勧めします。