教授 ウィリアム・D・クリンガー | |
|---|---|
| 市民権 | アメリカ合衆国 |
| 教育 | MIT博士号 |
| 知られている | |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | ノースイースタン大学 |
| 博士課程の指導教員 | カール・ヒューイット |
ウィリアム・D・クリンガーは、ノースイースタン大学クーリーコンピュータサイエンス学部の准教授です。[ 1 ]彼は高階プログラミング言語と関数型プログラミング言語に関する研究で知られ、電気電子技術者協会（IEEE）と米国規格協会（ANSI）を通じてプログラミング言語Schemeの国際技術標準の作成と実装に多大な貢献をしました。クリンガーはSchemeの2次から5次改訂報告書（R 2 RS – R 5 RS）の編集者であり、[ 2 ] Lisp言語の50周年を祝うLisp50会議でSchemeの招待講演者でした。[ 3 ]彼は1994年からノースイースタン大学の教員を務めています。 [ 4 ]
研究
クリンガーは、マサチューセッツ工科大学（MIT）でカール・ヒューイットの指導の下、博士号を取得しました。彼の博士研究は、並行コンピューティングのアクターモデルの表示的意味論の定義を中心に行われました。[ 5 ]これは、Schemeの開発の動機となったコンピューティングモデルと同じです。[ 6 ]
ClingerはR 2 RS – R 5 RS Scheme標準の編集に加えて、Schemeの2つの実装であるMacScheme [ 7 ]とLarceny [ 8 ]のコンパイラの開発も貢献しました。また、衛生的なマクロ展開、正確な10進数から2進数への変換、制限付きレイテンシの世代別ガベージコレクションのための効率的なアルゴリズムも発明しました。[ 3 ]
参考文献
- ^ 「William D. Clinger」 .ノースイースタン大学Khoury College of Computer Sciences . 2019年4月7日閲覧。
- ^ 「Scheme Standards」 . SchemePunks . 2009年1月9日閲覧。
- ^ a b Schedule . Lisp50 . 2009年1月9日閲覧。
- ^ Costanza, Pascal (2008年10月). 「William Clinger氏がLisp50で講演」 . Lisp50 . 2009年1月10日閲覧。
- ^ Clinger, William (1981年6月). 「アクター意味論の基礎」 . 数学博士論文. MIT. hdl : 1721.1/6935 .
{{cite journal}}:ジャーナルを引用するには|journal=（ヘルプ）が必要です - ^ Steele, Guy L. ; Sussman, Gerald Jay (1998年12月). 「Scheme再考に関する最初の報告書」(PDF) . Higher-Order and Symbolic Computation . 11 (4): 399– 404. doi : 10.1023/A:1010079421970 . S2CID 7704398. 2006年6月15日時点のオリジナル(PDF)からアーカイブ。 2006年6月19日閲覧。
- ^ Kantrowitz, Mark; Margolin, Barry (1997). 「商用Scheme実装」 . FAQ: Scheme実装とメーリングリスト. 2009年1月10日閲覧.
MacSchemeは、Apple Macintosh用のSchemeインタープリタ兼コンパイラで、エディタ、デバッガ、オブジェクトシステムを備えています。…Will Clinger、John Ulrich、Liz Heller、Eric Ostによって実装されました。
- ^ Clinger, William D. (2008). 「歴史」 . The Larceny Project . 2009年1月10日閲覧。
外部リンク
