Loading article…
デビッド・HD・ウォーレン | |
|---|---|
| 母校 | エディンバラ大学 |
| 知られている | ウォーレン抽象マシン |
| 科学者としてのキャリア | |
| 機関 | SRIインターナショナル クインタスコンピュータシステム ブリストル大学 |
| 論文 | 応用論理 - プログラミングツールとしての使用と実装 (1977) |
| 博士課程の指導教員 | ドナルド・ミッチー・ ロバート・コワルスキー |
David HD Warren は、 1970 年代から 1980 年代にかけて主に論理プログラミング、特にプログラミング言語Prologに取り組んだコンピュータ サイエンティストです。Warren は Prolog 用の最初のコンパイラを作成し、 Prolog 用のWarren Abstract Machine実行環境は彼にちなんで名付けられました。
幼少期と教育
ウォーレンは1977年にエディンバラ大学でロバート・コワルスキーとドナルド・ミチー（第2の指導者）の指導の下、人工知能の博士号[1]を取得した。[2]
キャリア
ウォーレンは1980年代にSRIインターナショナルの人工知能センターに勤務していた。 [3] [4]
彼は1983年にウィリアム・コーンフェルド、ローレンス・バード、フェルナンド・ペレイラ、カスバート・ハードとともにクインタス・コンピュータ・システムズ社を設立し、Prologコンパイラであるクインタス・プロログを商品化した。[5]クインタスは1989年にインターグラフ・コーポレーションに売却された。 [6]
彼はブリストル大学コンピュータサイエンス学部でも学術職を務めた。 [7]
参考文献
- ^ Warren, David HD (1978). 「応用論理：プログラミングツールとしてのその使用と実装」. hdl :1842/6648.
{{cite journal}}:ジャーナルを引用するには|journal=(ヘルプ)が必要です - ^ 数学系譜プロジェクトにおけるデイビッド・HD・ウォーレン-- (2014年8月10日アクセス)
- ^ 「David HD Warren」。人工知能センター卒業生。人工知能センター。 2010年5月26日閲覧。
- ^ Nils J. Nilsson (1984)。「SRI人工知能センター技術ノートのCOMTEXマイクロフィルム版の紹介」。AIマガジン第5巻第1号、49ページ。
- ^ 人工知能レポート。人工知能出版。1983年。
- ^ David E. Weisberg (2008). 「Intergraph」(PDF)。エンジニアリング設計革命:エンジニアリングの実践を永遠に変えた人々、企業、コンピュータシステム。 2010年7月7日時点のオリジナル(PDF)からアーカイブ。 2010年5月26日閲覧。
- ^ Raina, S.; Warren, DHD (1992). 「トランスピュータ エミュレーションによるスケーラブル マルチプロセッサのトラフィック パターン」第25 回ハワイ国際システム科学会議議事録。IEEE。pp . 267–276 vol.1。doi : 10.1109 / HICSS.1992.183173。ISBN 0-8186-2420-5. S2CID 62278813。