SICP講義：コンピュータサイエンスの原典マスタークラス

MIT OpenCourseWareが、6.001「計算機プログラムの構造と解釈」（SICP）の完全なビデオ講義を公開した。講師はハル・アベルソンとジェラルド・ジェイ・サスマン。1986年にヒューレット・パッカード社員向けに収録されたこの20本のプロフェッショナル制作ビデオは、コース全体をカバーし、クリエイティブ・コモンズ・ライセンスで提供されている。

講義の内容

講義はSICP初版に沿っており、このコースを伝説たらしめた中核概念——抽象化、再帰、高階手続き、複合データ、ストリーム、メタ循環評価器、論理プログラミング、レジスタマシン、コンパイル——を網羅している。各トピックは数学的厳密さと実用的なLispコードが融合した形で提示される。

なぜ今も重要なのか

SICPは単なる歴史的遺物ではない——プログラミング言語が内部でどのように動作するかを理解したい人にとっての基礎文献である。講義は、単なる構文ではなく、手続きとプロセスという観点から計算を考えることを教えてくれる。手続き適用の置換モデル、メタ循環評価器、ストリームによる遅延評価といった概念は、1986年当時と同様に今も有効である。

Rust、JavaScript、Pythonといった現代言語で働くエンジニアにとって、SICPに登場するクロージャ、継続、メッセージパッシングといったパターンは至る所に現れる。また、講義ではジェネリック演算子やパターンマッチングといった、今日の関数型プログラミングやDSL設計に直接影響を与えるトピックも扱われる。

主なトピック

• 概要とLisp入門
• 手続きとプロセス；置換モデル
• 高階手続き
• 複合データ
• ヘンダーソン＝エッシャー例（絵画的再帰）
• 記号微分；クォート
• パターンマッチングとルールベース置換
• ジェネリック演算子
• 代入、状態、副作用
• 計算オブジェクト
• ストリーム（パート1＆2）
• メタ循環評価器（パート1＆2）
• 論理プログラミング（パート1＆2）
• レジスタマシン
• 明示制御評価器
• コンパイル
• 記憶域割り当てとガベージコレクション

各講義は約1時間で、ライブコーディングとホワイトボードによる説明が含まれている。ビデオはMIT OpenCourseWareから直接、またはCSAILミラー経由で視聴できる。

プログラミング言語の仕組みに興味がある人、あるいは自分でインタプリタを作りたいと思っている人にとって、この講義は最良の出発点である。また、第一原理を再確認したい熟練エンジニアにとっても優れた復習教材となる。