ジェラルド・サスマン

1.1 生い立ちと教育

ジェラルド・ジェイ・サスマンは1947年2月8日に生まれた。幼少期から数学と科学に強い関心を示し、マサチューセッツ工科大学（MIT）に入学。学士課程では物理学と数学を専攻し、その後MIT大学院で計算機科学を学んだ。博士課程ではマービン・ミンスキーの指導の下、記号計算と人工知能の研究に従事し、1973年に博士号を取得した。

1.2 学術キャリアの始まり

博士号取得後、MITの人工知能研究所（当時）に研究員として加わり、1975年には電気工学・計算機科学科の助教授に就任。1979年に准教授、1984年に教授へと昇進し、プログラム構造、プログラミング言語設計、アナログ計算などの分野で教育と研究を並行して推進した。2018年に名誉教授となり、以降も執筆や講演活動を続けている。

2.1 Scheme言語の開発

2.1.1 設計思想と特徴

サスマンはガイ・スティールと共に、1975年頃からプログラミング言語Schemeの設計・実装を開始した。Schemeはラムダ計算に基づくミニマルな言語であり、シンプルな文法、レキシカルスコープ、末尾呼び出し最適化、第一級手続きなどの特徴を持つ。設計思想は「仕様の最小性と表現力の最大化」にあり、他のLisp方言に比べてコア部分が極めて簡潔である。

2.1.2 教育への応用

Schemeは特に計算機科学教育のための言語として普及した。MITの入門コース6.001で採用され、後にSICPを通じて世界中の大学で使用された。その構文の単純さと抽象化の容易さは、プログラミングの基本原理を教えるのに適しており、関数型プログラミングの概念を教育に導入する先駆けとなった。

2.2 SICPの執筆

2.2.1 内容と影響

サスマンはハロルド・エイブルソンと共著で『計算機プログラムの構造と解釈』（Structure and Interpretation of Computer Programs, SICP）を1984年に出版した。本書は手続きの抽象化、データ抽象化、メタ循環評価器、レジスタマシンによるプログラム実行のモデルなど、計算機科学の核心概念を扱う。世界中で翻訳され、プログラミング教育の古典として半世紀近く読み継がれている。

2.2.2 教育的意義

SICPは「プログラムを設計する思考そのものを教える」ことを目的としている。具体的な言語の文法よりも、抽象化の階層、分割統治、代数的推論、遅延評価、非決定性計算といった普遍的な設計原理に焦点を当てた。このアプローチは、単なるコーディング技術ではなく、計算論的思考を育む教育手法として高く評価された。

2.3 人工知能と記号計算

2.3.1 記号微分と数式処理

サスマンは1970年代から記号微分プログラムの開発など、人工知能における記号計算の先駆的研究を行った。これは後にMacsyma（数式処理システム）の基盤技術の一部となり、数式をプログラム的に操作する手法の確立に貢献した。同分野での成果は、自動微分や数式処理の理論的基盤を強化した。

2.3.2 制約伝播とアナログ計算

サスマンは制約伝播（constraint propagation）の概念を導入し、アナログコンピューティングとデジタル計算の融合を研究した。アナログ回路を用いた計算モデルを提唱し、電気回路の挙動を計算プロセスとして捉える視点を開拓した。これらの研究は後に、物理的な現象を計算資源として利用する新たな計算パラダイムへと発展した。

2.4 その他の貢献

2.4.1 著書と論文

サスマンはSICPの他にも、『Structure and Interpretation of Classical Mechanics』（エイブルソン、ワイズマンと共著）、『Software Design for Flexibility』（ハンソンと共著）など、計算機科学と古典力学の交差領域を扱う著作を発表している。また、多数の査読論文において関数型プログラミング、プログラム検証、教育方法論に関する革新的なアイデアを示した。『Modern Compiler Implementation』（監修・共著）も著名な成果である。

2.4.2 プロジェクト指導

MITにおいてサスマンは数多くの修士・博士学生を指導した。ガイ・スティール（Schemeの共同開発者）、クリス・ハンソン（Googleの研究員）、リチャード・ストールマン（GNUプロジェクト創始者）らは彼の指導を受けたか、密接に協働した。また、MIT教育カリキュラムの再設計プロジェクトであるECS（Electrical Engineering and Computer Science）改革にも中心的に関与し、長期間にわたって教育プログラムの開発を主導した。

3.1 教育界へのインパクト

サスマンの教育手法と教材は、世界中の計算機科学教育に革命をもたらした。SICPはMIT以外でも多くの大学で教科書として採用され、Scheme言語は教育用Lispの代表格となった。抽象化の概念を中心に据えた教育モデルは、後のプログラミング言語教育（Haskell、MLなどの関数型言語の導入）にも影響を与えた。また、MOOCsにおけるプログラミング教育の先駆的なコンテンツにもその思想が受け継がれている。

3.2 受賞歴と名誉

サスマンはACM Fellow、AAAI Fellowに選出されている。MITにおける長年の教育貢献に対して、2005年にはMITの名誉教授の称号を授与された。また、ACM SIGSOFT Impact Award（SICPに対する顕著な影響の功績）など、複数の賞を受賞している。教育と研究の両面での業績は国際的に認知されており、多くの大学で名誉博士号が贈られている。

4.1 主著

• 『Structure and Interpretation of Computer Programs』（Harold Abelson共著, 1984年）
• 『Structure and Interpretation of Classical Mechanics』（Harold Abelson, Jack Wisdom共著, 2001年）
• 『Software Design for Flexibility』（Chris Hanson共著, 2021年）

4.2 共著・監修

• 『Modern Compiler Implementation』（監修・共著に関わる編集）
• その他、多数の技術レポート、学会論文（約40編）を執筆または共著。

• Scheme
• ハロルド・エイブルソン
• ガイ・スティール
• MIT人工知能研究所
• 関数型プログラミング
• 教育的抽象化
• 制約伝播
• マービン・ミンスキー