ジェラルド・ジェイ・サスマン(1947年2月8日生まれ)は、マサチューセッツ工科大学(MIT)のパナソニック電気工学教授である。彼は1964年からMITで人工知能(AI)研究に携わっている。彼の研究は、科学者やエンジニアが用いる問題解決戦略を理解することに重点を置き、そのプロセスの一部を自動化し、それを形式化することで、より効果的な科学および工学教育の方法を提供することを目指している。サスマンはまた、コンピュータ言語、コンピュータアーキテクチャ、超大規模集積回路(VLSI)設計にも携わっている。[ 1 ]
サスマンはマサチューセッツ工科大学に学部生として入学し、 1968年に数学の学士号を取得した。彼はMITで研究を続け、 1973年に同じく数学の博士号を、シーモア・パパートの指導の下で取得した。彼の博士論文は「スキル獲得の計算モデル」と題され、HACKERという計算パフォーマンスモデルを用いて人工知能と機械学習に焦点を当てたものである。[ 2 ]
よく語られる話によると、[ 3 ] 1966年にマービン・ミンスキーは教え子のジェラルド・ジェイ・サスマンに「夏休みを利用してカメラをコンピュータに接続し、コンピュータに見たものを説明させる」ように指示した。[ 4 ]この話は、初期の頃はコンピュータビジョンの難しさがAI研究者には明らかではなかったことを示すためによく語られた。
サスマンは、ハル・アベルソン、ジュリー・サスマンとの共著で、コンピュータ科学入門書『コンピュータプログラムの構造と解釈』(SICP)を執筆した。この教科書はMITで数十年にわたり使用され、複数の言語に翻訳されている。
サスマンの人工知能への貢献には、ほぼ正しい計画のデバッグによる問題解決、電気回路の解析と合成に適用される制約の伝播、依存関係に基づく説明と依存関係に基づくバックトラッキング、そして問題解決戦略を表現するための様々な言語構造などがある。サスマンと彼の元教え子であるガイ・L・スティール・ジュニアは、1975年にプログラミング言語Schemeを発明した。
サスマンは、人工知能の考え方をコンピュータ支援設計(CAD)に応用できると考えました。サスマンは大学院生たちと共に、超大規模集積回路(VLSI)向けの高度なコンピュータ支援設計ツールを開発しました。スティールは1978年に最初のSchemeハードウェアチップを製作しました。これらのアイデアと、それを支えるAIベースのCAD技術は、1979年と1981年のSchemeチップでさらに発展しました。そこで開発された技術と経験は、その後、他の特殊用途コンピュータの設計にも活用されました。
サスマンは、軌道力学実験のための高精度積分を行うように設計された機械であるデジタル・オーラリーの主任設計者でした。[ 5 ]オーラリーのハードウェアは、数人の人によって数か月で設計および構築されました。
デジタルオーラリーを使用して、サスマンはジャック・ウィズダムと協力し、外惑星の混沌とした運動の数値的証拠を発見しました。デジタルオーラリーマシンは現在、ワシントンDCのスミソニアン博物館で引退しています。サスマンはまた、常微分方程式の発展に最適化された別のマルチプロセッサコンピュータであるスーパーコンピュータツールキットの主任設計者でもありました。スーパーコンピュータツールキットは、サスマンとウィズダムによって、デジタルオーラリーで得られた発見を確認し、惑星系全体に拡張するために使用されました。[ 6 ] [ 7 ]
サスマンは、電気回路や信号・システムといった科目の教育において、計算記述を用いて方法論的なアイデアを伝える先駆者となった。過去10年間、サスマンとウィズダムは、高度な古典力学のより深い理解を伝えるために計算技術を用いる科目を開発してきた。『コンピュータサイエンス:分野への考察、分野からの考察』の中で、彼は次のように述べている。「…計算アルゴリズムは、動的現象の解析に用いられる手法を表現するために使われる。手法をコンピュータ言語で表現することで、曖昧さをなくし、計算効率を高めることができる。学生はプログラムを読み、拡張し、新しいプログラムを作成することが求められる。手法をコンピュータ実行可能なプログラムとして定式化し、そのプログラムをデバッグする作業は、学習プロセスにおいて非常に効果的な演習となる。また、手続き的に形式化されると、数学的なアイデアは結果を直接計算するために使用できるツールとなる。」サスマンとウィズダムは、マインハルト・マイヤーと共に、これらの新しいアイデアをまとめた教科書『古典力学の構造と解釈』(SICM)を執筆した。
サスマンとアベルソンは、フリーソフトウェア運動にも参加しており、 MIT/GNU Schemeをフリーソフトウェアとしてリリースしたり[ 8 ] 、フリーソフトウェア財団の理事を務めたりしている[ 9 ]。
2011年、サスマンはジェフリー・エプスタインとアル・セッケルが主催した「マインドシフト・カンファレンス」として知られるバージン諸島でのイベントに出席した。[ 10 ] [ 11 ]サスマンは後にカンファレンスに出席したことを認め、エプスタインに対する性的虐待の疑惑についてはカンファレンス後に初めて知ったと述べたが、セッケルとの関係については公にコメントすることを拒否した。[ 12 ]
サスマンの研究は、多くのビデオで紹介されており、例えば、ハル・アベルソンとの共著によるMITのSICPコースの全20講義版[ 13 ]、LispNYC [ 14 ] [ 15 ] 、国際複雑系会議[ 16 ]、ArsDigita University [ 17 ]、Strange Loopカンファレンスでの基調講演[ 18 ] [ 19 ]などがあります。
コンピュータ科学教育への貢献により、サスマンは1990年にAssociation for Computing Machinery (ACM) のカール・カールストロム優秀教育者賞を、 1992年にはアマール・G・ボース教育賞を受賞しました。 [ 20 ]
2025年現在サスマンは、フリーソフトウェア財団(FSF)の理事会で現在も活動している唯一の創設理事である。[ 21 ]
サスマン氏は以下の機関のフェローである。
サスマン氏は以下の機関の会員です。
2023年、彼は「関数型プログラミングを通してコンピュータサイエンスを教えるという刺激的なアプローチ」により、IEEEコンピュータソサエティのテイラー・L・ブース教育賞を受賞した。[ 22 ]
ジェラルド・サスマンはコンピュータープログラマーのジュリー・サスマンと結婚している。[ 23 ]
サスマンは錠前師の資格を持ち、精密機械式時計のムーブメントの実務やアマチュア望遠鏡の製作も行っています。[ 24 ]彼は時計の脱進機の物理学と数学に関する公開講演を行っています。彼はアメリカ時計職人協会の終身会員です。[ 24 ]