Loading article…
ヘルベット・レオ・ゲレンター | |
|---|---|
| 生まれる | 1929年12月17日 |
| 死亡 | 2015年5月28日（享年85歳） |
| 職業 | 教授 |
| 学歴 | |
| 母校 | ロチェスター大学 |
| 学術研究 | |
| 規律 | コンピュータサイエンス |
| 機関 | ストーニーブルック大学 |
| 主な作品 | 幾何学定理証明器 |
ハーバート・レオ・ゲレンター（1929年12月17日 - 2015年5月28日）[1] [2] [3]は、ストーニーブルック大学のコンピュータサイエンス学部の教授であった。[4]
略歴
ゲランターは1951年にブルックリン大学で学士号を取得し、[1] 1957年にロチェスター大学で博士号を取得した。[4] [5]
1960年から61年にかけて、ゲランターは欧州原子核研究機構（CERN）に長期滞在し、ビジコン（フィルムを使わず、テレビカメラの管を使ってスパークチェンバーの出来事を記録し、それを磁気テープにデジタルデータとして保存するシステム）のプロトタイプを開発していたが、これが1961年初頭のスパークチェンバーのデータ処理システムの開発を刺激した。 [6]
IBM在籍中、彼は最初の人工知能ソフトウェアのいくつかを書いた[7]。彼の「幾何学定理マシン」[8] [9]は最初の高度なAIプログラムであり、史上3番目のAIプログラムであった。[10]これは、平面幾何学における平行線、合同、線分と角度の等式と不等式に関する定理を証明できる論理AIシステムである。Logic Theoristと同様に、ヒューリスティックスを使用している。
彼はナサニエル・ロチェスターとともにFORTRAN内でリスト処理用のコンピュータ言語を実装した。[11]この作業はIBMのカール・ガーベリッヒと共同で行われ、その結果、Fortranリスト処理言語（FLPL）が開発された。[12]
ストーニーブルック大学在職中の彼の最も野心的なプロジェクトは、SYNCHEM エキスパート問題解決システムでした。これは、自己誘導型のインテリジェント検索と、認識された官能基を中心に編成された一般化された有機反応を表すグラフ変換、ルール、および洗練されたヒューリスティックの大規模な知識ベースの適用を通じて、有機分子の全合成への潜在的なルートを発見するためのシステムです。[出典が必要]
1952年、ゲランターはラビのセオドア・ノートン・ルイスの娘ルースと結婚した。[13] [14]彼の息子は遺伝学者でイェール大学教授のジョエル・ゲランターと、同じくイェール大学教授でコンピューター科学者、社会評論家のデイビッド・ゲランターである。 [15]彼の娘ジュディスは国立標準技術研究所の情報技術研究所の研究科学者である。[要出典]
ゲランターは2015年5月28日に亡くなった。[要出典]
参照
参考文献
- ^ ab アメリカ科学者男女誌、第21版、第3巻、トムソン/ゲイル、2009年、76ページ
- ^ コンピュータサイエンスと情報技術のマイルストーン、エドウィン・D・ライリー、グリーンウッド・プレス、2003年、318ページ
- ^ 「In Memoriam - Professor Emeritus」ストーニーブルック大学。 2024年11月8日閲覧。
- ^ ab “Stony Brook University” 2011年11月26日閲覧。
- ^ 高エネルギーにおける2核子相互作用とレヴィポテンシャル ロチェスター大学物理学部 (1957) - 260ページ 2011年10月26日 18:03(GMT) 取得
- ^ Krige, John (1987年4月). 「CERNにおけるトラックチャンバー画像の分析技術の開発」(PDF) . CERN - CERNの歴史に関する研究. 2019年7月12日閲覧。
- ^ Gelernter, HL; Rochester, N. (1958 年 10 月). 「問題解決マシンのインテリジェントな動作」. IBM Journal of Research and Development . 2 (4): 336–345. doi :10.1147/rd.24.0336. ISSN 0018-8646. S2CID 28472029.
- ^ Gelernter, H.; Hansen, JR; Loveland, DW (1960 年 5 月 3 日)。「幾何学定理マシンの実証的探究」。1960年 5 月 3 ～ 5 日開催の Western Joint IRE-AIEE-ACM Computer Conference で発表された論文。IRE - AIEE-ACM '60 (Western)。米国ニューヨーク州ニューヨーク: Association for Computing Machinery。pp. 143 ～ 149。doi : 10.1145 /1460361.1460381。ISBN 978-1-4503-7869-7. S2CID 18265039。
- ^ H, Gelernter (1963). 「幾何学定理証明マシンの実現」. Computers and Thought : 134–152.
- ^ 「ハーバート・ゲレンターとアメリカの科学」ナショナル・レビュー。2015年6月6日。
- ^ Gelernter, H .; Hansen, JR; Gerberich, CL (1960 年 4 月 1 日)。「Fortran でコンパイルされたリスト処理言語」。Journal of the ACM。7 ( 2): 87–101。doi : 10.1145 / 321021.321022。ISSN 0004-5411。S2CID 47551654 。
- ^ LISP 前史 John McCarthy 1996 年 7 月 26 日 22:37 PDT 2011 年 10 月 26 日 17:48(GMT) 取得 [参照: Lisp (プログラミング言語)およびJohn McCarthy
- ^ 宗教界の名士たち、第1巻、マーキス・フーズ・フーズ、1975年、343ページ
- ^ 「ルース・ルイスが婚約。ミシガン大学の大学院生、ハーバート・ゲレンターの婚約者」ニューヨーク・タイムズ、1951年10月31日。
- ^ 追悼については、デイビッド・ゲレンター著「意味のある人生」、ウィークリー・スタンダード、2015年9月7日、5ページを参照。