Archive for 月 16th, 2007

Structure and Interpretation of Computer Programs

月 16th, 2007

本書を一言で表現すれば、これ1冊でコンピュータのすべてがわかる本である。最近の自然科学や工学では、簡単な規則から予測できない現象を研究する複雑系がはやっている。本書は、そのような思想とはある意味で対立する哲学で書かれている。
いかなる大きなプログラムでも、それは人間の手によって書かれた小さなプログラムから成り立っており、それらの各部分をよく理解しておけば理解可能であるということだ。逆にいえば、部品となるプログラムを理解しさえすれば、それらを組み合わせて正しく動作する大きなプログラムを作れるわけだ。物理学でいえば素粒子論のような還元主義的な考えであり、ある意味ではオーソドックスな工学の考え方である。
本書は、MITで長い間行われている講義をもとにした教科書である。著者のジェラルド・ジェイ・サスマンは本書でも使われているSchemeの設計者(現在サン・マイクロシステムズにいるガイ・L.スティール・ジュニアと共に設計・実装を行った)であり、ハロルド・エイブルソンはLogoを使った教育的な著書でも有名な著名である。いずれも人工知能研究所に所属してる純粋のハッカーである。彼らの文書を洗練したり読みやすくするのに力を貸したのが、ジェラルド・ジェイ・サスマンの妻のジュリー・サスマンである。
本書では、プログラミング言語の制限に依存することなく、プログラミングというのはどういう行為であり、プログラムをどのように構成していけばいいかということの本質を描き出している。Scheme言語についての予備知識は必要でなく、簡単な例を実行していくことで自然に学ぶことができる。基本的な数値計算から説明が始まり、抽象化の技法と構造化プログラミング、ラムダ計算と関数型プログラミング、オブジェクト指向プログラミング、人工知能や論理プログラミングなど、およそ必要なソフトウェア工学の基本が明確に解説されており、おしまいにはCPUの設計までを扱っている。このよう内容が次のような目次立てで扱われている。

Building Abstractions with Procedures
Building Abstractions with Data
Modularity, Objects, and State
Metalinguistic Abstraction
Computing with Register Machines
本書で使われているのは、関数型言語Lispの方言であるSchemeである。Schemeは言語仕様が小さくて効率的で、インタープリターであるのでプログラムをすぐに実行できる、必要にして十分な機能を持っている理想的で洗練されたプログラミング言語だ。
Schemeは関数型言語の利点として、手続きもデータ区別せずに扱うことができる。そのため、それらを抽象的なオブジェクトとして、あるいは大きなプログラムの部品として組み合わせていくことが容易である。そのための本書のような教科書にはうってつけのプログラミング言語であるわけだ。
日本の教育は、詰め込み式で記憶力に重点が置かれているが、本書のような普遍的な考え方を学ぶチャンスが少ない。日本の情報科学系の大学や専門学校では、プログラミング言語のユーザーしか育てないようなことを行っているところも多いと聞く。ぜひ本書を基礎教育のなかで利用すべきである。本書は単なるコンピュータの教科書ではない、自然科学・工学を学ぶすべての学生が読むべき教養書といえる。
なお、翻訳は、日本のハッカーとして著名な東京大学名誉教授の和田英一によって訳されている『計算機プログラムの構造と解釈』である。(村藤一雅)クリエーター:Harold Abelson、Gerald Jay Sussman、Julie Sussman

» Structure and Interpretation of Computer Programs 通販

» 通販包囲網-プレゼントを探して三千里


仮面ライダー555 パラダイス・ロスト ディレクターズカット版

月 16th, 2007

TVシリーズ「仮面ライダー555」の劇場用映画版。ただしTVシリーズとの直接的関連性をあえて断ちきり、その基本設定とキャラクターだけを独立させてまったく別の世界観、別の物語を構築したという野心的な作品。 すでに人類の大半がオルフェノクと呼ばれる人類の進化形と化し、巨大企業スマートブレインが支配する、そう遠くない未来。レジスタンスに参加する真理(芳賀優里亜)たちは、「帝王のベルト」を手に入れて強大な力を得ようと計画する。 TVシリーズの延長ではなく、あえて1本の映画としての完成度を高めることを目指したスタッフの意気込みは、見事に反映されている。ジャイロアタッカーに乗った騎兵隊たちの襲撃、TV版とはデザインの異なる、人類との共存を願う3人のオルフェノク、そして初の外国人ライダーとなったピータ・ホー演じるレオ=仮面ライダーサイガ、1万人のエキストラを動員して撮影したコロシアムでのクライマックス、巧の驚くべき真の姿。田崎竜太監督の演出は、快適なテンポでこれらの見せ場を存分に描ききっている一方、真理と巧の淡い思いをロマンティックに描写しており、とりわけ芳賀優里亜の強い意志を感じさせる瞳は印象に残る。(斉藤守彦)クリエーター:特撮(映像)、半田健人、芳賀優里亜、ピーター・ホー、田崎竜太、石ノ森章太郎

» 仮面ライダー555 パラダイス・ロスト ディレクターズカット版 通販

» 子猫のギフト ~通販ブランドネコまっしぐら~


池袋ウエストゲートパーク スープの回 完全版 (通常版)

月 16th, 2007

2000年に放送された『池袋ウエストゲートパーク』がスペシャルで復活。3年を経た登場人物たちのそれぞれの成長を交えつつ、西口公園で横行する奇怪な事件に伝説のトラブルシューター・マコトが再び立ち上がる様を描く。 カラーギャング抗争から3年。地上げ屋に追い出され、軽トラックで果物の移動販売をしながら宿無し生活を送っていたマコト(長瀬智也)のもとに、ホームレス襲撃事件の犯人探しの依頼が舞いこむのだが…。 まるで豪華な同窓会のようだ。長瀬智也扮するマコトと窪塚洋介、妻夫木聡、坂口憲二との絡みは、そのいずれもが見物。いまや主役級に成長したそれぞれの凄みが十二分に堪能できる。もちろん、ノイズと自然光とがブクロの街に交錯する堤演出に、小ネタに哀愁を漂わせたクドカン節によるご当地ネタ炸裂のブクロワールドも健在。さらに、RIZEがカリスマバンド「雷図」として、クレイジーケンバンドがホームレス軍団としてゲスト出演したのも話題となった。また、妖艶なスライを演じる岡本健一が圧倒的な存在感をみせている。マコトが号泣の末にたどり着いた新たなる住処にも注目だ。(麻生結一)クリエーター:長瀬智也、加藤あい、妻夫木聡、坂口憲二、佐藤隆太、森下愛子、窪塚洋介、石田衣良、Sads、宮藤官九郎

» 池袋ウエストゲートパーク スープの回 完全版 (通常版) 通販

» 通販乱舞 ネットショッピング攻略