「コンピュータプログラムの構造と解釈」ビデオ講義

これらの20本のビデオ講義は、Hal AbelsonとGerald Jay Sussmanによるもので、1986年7月にヒューレット・パッカードの従業員向けに行われたコースの完全なプレゼンテーションであり、ヒューレット・パッカード・テレビジョンによってプロフェッショナルに制作されました。 これらのビデオは、商用利用と互換性のあるクリエイティブ・コモンズライセンスの下でも、こちらで入手可能です。 注: これらの講義は、「Structure and Interpretation of Computer Programs」の初版（1985年）に従っています。議論されているプログラムの多くは、第2版（1996年）のために書き直され、新しい資料が追加されました。しかし、コースの全体的なテーマとプレゼンテーションの順序は変更されていないため、これらのビデオ講義は第2版を使用する学生にとっても依然として有用です。 これらのビデオは、Hal AbelsonとGerald Jay Sussmanのご厚意によるもので、許可を得て使用しています。 1A: 概要とLisp入門 1B: 手続きとプロセス；置換モデル 2A: 高階手続き 2B: 複合データ 3A: Henderson Escherの例 3B: 記号微分；引用 4A: パターンマッチングとルールベース置換 4B: ジェネリック演算子 5A: 代入、状態、副作用 5B: 計算オブジェクト 6A: ストリーム、パート1 6B: ストリーム、パート2 7A: メタ循環評価器、パート1 7B: メタ循環評価器、パート2 8A: 論理プログラミング、パート1 8B: 論理プログラミング、パート2 9A: レジスタマシン 9B: 明示的制御評価器 10A: コンパイル 10B: ストレージ割り当てとガベージコレクション