ジョージ・E・コリンズ

ジョージ・エドウィン・コリンズ
生まれる	（1928年1月10日）1928年1月10日 スチュアート、アイオワ州、米国
死亡	2017年11月21日（2017年11月21日）（享年89歳） マディソン、ウィスコンシン州、米国
母校	コーネル大学
知られている	ガベージコレクション（コンピュータサイエンス）
科学者としてのキャリア
機関	ウィスコンシン大学マディソン校、オハイオ州立大学、RISC-リンツ、デラウェア大学、ノースカロライナ州立大学
博士課程の指導教員	J. バークレー ロッサー
博士課程の学生	エリス・ホロウィッツデビッド・マッサー

ジョージ・E・コリンズ（1928年1月10日アイオワ州スチュアート生まれ、2017年11月21日ウィスコンシン州マディソン死去）^{[ 1 ]}は、アメリカの数学者、コンピュータ科学者である。彼は参照カウントによるガベージコレクション^{[G60] [ 2 ]}と円筒代数分解による量限定子除去 法^{[G75] [ 3 ]}を発明した。

彼は1955年にコーネル大学で博士号を取得しました。 ^{[ 4 ]}彼はIBM、ウィスコンシン大学マディソン校（1966-1986年） 、オハイオ州立大学、RISC-リンツ、デラウェア大学、ノースカロライナ州立大学で働きました。^{[ 1 ]}

選定された出版物

G60。	George E. Collins: リストの重複と消去の方法、Commun. ACM、第3巻、第12号、1960年。

G75。	George E. Collins: 円筒代数分解による実閉体の基本理論の量指定子除去、第 2 回 GI 会議、オートマトン理論および形式言語、Springer LNCS 33、1975 年。

参考文献

1. 「In Memoriam: Professor Emeritus George E. Collins」 2018年9月9日時点のオリジナルよりアーカイブ。 2017年12月12日閲覧。
2. ジョーンズ、リチャード; リンス、ラファエル (1996)、「ガベージコレクション：自動動的メモリ管理アルゴリズム」、Wiley、p. 40、ISBN 9780471941484最初の参照カウント手法は、扱いにくくエラーが発生しやすいものでしたが、H. Gelertner、JR Hansen、CL Gerberich [Gelernter et al、1960] によって説明されましたが、標準的な参照カウント アルゴリズムは George Collins [Collins、1960] によるものです。
3. キャビネス、ボブ・F.; ジョンソン、ジェレミー・R.編 (1998)、「Quantifier elimination and cylinderal algebraic decomposition」、シュプリンガー、p. v、ISBN 97832118279491993 年 10 月 6 日から 8 日にかけて、量指定子消去法と円筒代数分解に関するシンポジウムが開催されました。このシンポジウムは、ジョージ・コリンズによる実閉体の基本理論の量指定子消去法 (QE) の手法としての円筒代数分解 (CAD) の発見 (Collins 1973b) の 20 周年を祝うものであり、コリンズの発見以来のこの分野における多くの進歩について議論されました。
4. 「ジョージ・コリンズ - 数学系譜プロジェクト」。