ニール・ディートン・ジョーンズ | |
|---|---|
 | |
| 生まれる | 1941年3月22日 （1941年3月22日） セントラリア、イリノイ州、アメリカ合衆国 |
| 死亡 | 2023年3月27日（2023年3月27日）（82歳） |
| 市民権 | デンマーク語（1991年以降） |
| 母校 | ウェスタンオンタリオ大学 |
| 知られている | 部分評価、制御フロー解析、サイズ変更終了 |
| 受賞歴 | ダンネブロー勲章（1998年）; SIGPLANプログラミング言語功績賞（2014年） |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | コペンハーゲン大学、 オーフス大学、 カンザス大学、 ペンシルベニア州立大学、 ウェスタンオンタリオ大学 |
| 博士課程の指導教員 | アルト・サロマ |
ニール・ディートン・ジョーンズ（Neil Deaton Jones、1941年3月22日、アメリカ合衆国イリノイ州セントラリア- 2023年3月27日、デンマーク、ラングステッド）は、アメリカのコンピュータ科学者。彼はコペンハーゲン大学のコンピューターサイエンスの名誉教授でした。
彼の業績はプログラミング言語と計算理論の両方に及びました。プログラミング言語においては、特に部分評価に関する研究と、データフロー解析、制御フロー解析[1]、停止性解析[2]における先駆的な研究で知られています。計算理論においては、対数空間縮約とP完全性[ 3 ]の研究の先駆者の一人でした。
ニール・D・ジョーンズは、 1998年からダンネブロー勲章の騎士であり、 1999年からはヨーロッパアカデミーの会員でもありました。彼は1998年に「意味論的コンパイル、特に部分評価、そして計算理論、形式モデルとその実用化への卓越した貢献」により、計算機協会フェローに選出されました。 [4]
外部リンク
- ホームページ [リンク切れ]
- 経歴情報 2013年3月1日Wayback Machineにアーカイブ
選定された出版物
- Jones, Neil D.; Laaser, William T. (1974). 「決定論的多項式時間に関する完全問題」.第6回ACM計算理論シンポジウム議事録 - STOC '74 . pp. 40– 46. doi :10.1145/800119.803883. S2CID 12251817.
- ジョーンズ、ニール・D. (1981)、「ラムダ式のフロー解析」、オートマタ、言語、プログラミング、コンピュータサイエンス講義ノート、第115巻、pp. 114– 128、doi :10.1007/3-540-10843-2_10、ISBN 978-3-540-10843-6
- ジョーンズ, ニール・D.; ゴマール, カーステン・K.; セストフト, ピーター (1993).部分評価と自動プログラム生成. MIT Press . ISBN 9780262100649。全文はオンラインでご覧いただけます。
- ジョーンズ、ニール・D. (1995). 「プログラミングの観点から見た計算可能性と複雑性（MFPSドラフトプレビュー）」.電子理論計算機科学ノート. 1 : 313–333 . doi : 10.1016/S1571-0661(04)80019-7 .
- ジョーンズ、ニール・D.（1997年1月23日）『計算可能性と複雑性：プログラミングの観点から』MIT出版、ISBN 9780262100649。 オンラインテキスト
- Lee, Chin Soon; Jones, Neil D.; Ben-Amram, Amir M. (2001). 「プログラム終了のためのサイズ変更原理」ACM SIGPLAN Notices . 36 (3): 81– 92. doi :10.1145/373243.360210.
参考文献
- ^ ジョーンズ 1981.
- ^ リー、ジョーンズ、ベン・アムラム、2001.
- ^ ジョーンズ＆レーザー 1974年。
- ^ 「Neil D. Jones」. Association for Computing Machinery . 2017年7月19日閲覧。
