Loading article…
カール・エディ・ヒューイット（/ˈhjuːɪt /、1944年12月12日 - 2022年12月7日）[ 2 ]は、自動計画のためのPlannerプログラミング言語[ 3 ]と並行計算のアクターモデル[ 4 ]を設計したアメリカのコンピュータ科学者であり、これらは論理、関数型、オブジェクト指向プログラミングの開発に影響を与えた。Plannerは、アサーションとゴールからのパターン指向呼び出しを使用して呼び出される手続き型プランに基づく最初のプログラミング言語であった。アクターモデルは、 Schemeプログラミング言語[ 5 ]、π計算[ 6 ]の開発に影響を与え、他のいくつかのプログラミング言語のインスピレーションとなった[ 7 ] 。
ヒューイットは1971年にMITで数学の博士号を取得し、シーモア・パパート、マービン・ミンスキー、マイク・パターソンの指導を受けた。彼は同年MITに就職し[ 8 ] 、 1999年から2000年の学年度中にMIT電気工学・コンピュータ科学科の教員を退職した[ 9 ] 。 2000年に同科の名誉教授となった[ 10 ]。ヒューイットがMIT在籍中に指導した博士課程の学生には、グル・アガ、ヘンリー・ベイカー、ウィリアム・クリンガー、アイリーン・グライフ、米澤明則などがいる[ 11 ]。
ヒューイットは1989年9月から1990年8月まで、日本の慶應義塾大学コンピュータサイエンス学科のIBM客員教授を務めた。 [ 12 ]また、スタンフォード大学の客員教授も務めたことがある。
ヒューイットは、計算のアクターモデルに関する研究で最もよく知られていました。過去10年間、彼の研究は「不整合堅牢性」に集中しており、これは、広く不整合な情報を扱うシステムのための実用的で厳密な基盤を提供することを目指しています。[ 13 ]この研究は、知識の手続き的（論理的ではない）埋め込みに焦点を当てた彼の博士論文から発展したもので、それはPlannerプログラミング言語に具体化されました。
彼の出版物には、オープン情報システム[ 14 ]、組織システムおよびマルチエージェントシステム[ 15 ] 、論理プログラミング[ 3 ] 、並行プログラミング、パラコンシステント論理[ 16 ]、クラウドコンピューティング[ 17 ]の分野への貢献も含まれています。
Planner 言語は、1960 年代後半に、MIT の人工知能研究所における Hewitt の博士研究の一環として開発されました。Planner に関する Hewitt の研究は、「知識の手続き的埋め込み」という概念を導入しました[ 18 ]。これは、 John McCarthyが先駆的に行った人工知能の知識エンコーディングに対する論理的アプローチに代わるものでした[ 19 ]。Plannerは「非常に野心的」と評されています[ 20 ] 。Micro -Planner と呼ばれる Planner のサブセットは、MIT でGerry Sussman、Drew McDermott、Eugene Charniak、Terry Winogradによって実装され[ 21 ] 、Winograd のSHRDLUプログラム[ 22 ] 、 Charniak の自然言語ストーリー理解の研究[ 23 ]、L. Thorne McCarty の法的推論の研究で使用されました。 [ 24 ] Planner はエジンバラの Julian Davies によって Popler [ 25 ]にほぼ完全に実装されました。Planner は、Muddle や Conniver [ 20 ]などの他の AI 研究言語や、オブジェクト指向プログラミング言語Smalltalk [ 26 ]のその後の開発にも影響を与えました。
ヒューイット自身の Planner に関する研究は、 Muddle (後に MDL と呼ばれる) で継続されました。Muddle は、1970 年代初頭に Sussman、Hewitt、Chris Reeve、David Cressey によって Planner の完全な実装への足がかりとして開発されました。Muddle はLispの拡張バージョンとして実装され、後に Conniver、Lisp Machine Lisp、Common Lisp に採用されたいくつかの機能が導入されました。[ 20 ]しかし、1972 年後半、ヒューイットは大学院生とともにアクター モデルの計算を発明したため、博士論文での Planner 設計の開発を突然中止しました。
ヒューイットの計算のアクターモデルに関する研究は30年以上にわたり、1973年にヒューイット、ピーター・ビショップ、リチャード・スタイガーが執筆した論文でモデルが紹介されたことから始まり[ 27 ]、2006年に発表されたアクターモデルの意味論に関する新しい結果も含まれています[ 28 ] 。この研究の多くは、MIT人工知能研究所のヒューイットのメッセージパッシング意味論グループの学生との共同作業で行われました[ 29 ] 。
サスマンとスティールは、アクターモデルをより深く理解するために、Schemeプログラミング言語を開発しました。彼らは、アクターを作成する演算子ALPHAと関数を作成する演算子LAMBDAが同一であることを発見し、両方にLAMBDAのみを残しました。 [ 30 ] [ 31 ] ACT-1 [ 32 ] 、 SALSA [ 33 ] 、Caltrop [ 34 ] 、 E [ 7 ] 、ActorScript [ 35 ]など、アクターモデルを具体的に実装するために開発された他のプログラミング言語も多数あります。アクターモデルは、 π計算の開発にも影響を与えました。[ 36 ]（アクターモデルとプロセス計算の歴史を参照）。
カール・ヒューイットとMITの同僚たちはアクターモデルを開発している。