リチャード・スターンズ

リチャード・エドウィン・スターンズについて

リチャード・エドウィン・スターンズ（Richard Edwin Stearns）は、1936年7月5日に生まれたアメリカ合衆国の著名な計算機科学者です。スターンズは、計算複雑性理論という重要な領域における先駆的な研究によって知られており、1993年にはユリス・ハルトマニスとともにその貢献が認められ、名誉あるチューリング賞を受賞しました。また、1994年にはAssociation for Computing Machinery（ACM）のフェローにも選ばれ、その業績が高く評価されています。

スターンズは1961年にプリンストン大学でハロルド・W・クーンの指導のもと、博士号を取得しました。彼のキャリアの中で、特に計算複雑性理論における研究が光ります。657年に発表された論文「Regularity preserving modifications of regular expressions」では、正規言語における言語操作の体系的な研究が行われました。これは計算機科学界における重要な足跡となりました。

さらに、1965年に共同研究者ハルトマニスと共著で発表した「On the computational complexity of algorithms」は、計算複雑性理論の基礎を築く重要な論文となり、時間階層定理を証明しました。この成果により、彼は計算機科学における研究の進展に寄与しました。

スターンズは、決定性プッシュダウン・オートマトンに関する研究も行い、1967年に発表した論文「A Regularity Test for Pushdown Machines」は、その後の研究に大きな影響を与えました。また、コンパイラ設計においても重要な役割を果たし、1968年には「Syntax-Directed Transduction」と題する論文を発表し、LL法に関する初期の研究を行いました。これらの研究は、現代の計算機科学においても重要な構成要素となっています。

リチャード・スターンズは、2006年にはニューヨーク州立大学オールバニ校の計算機科学科の名誉教授を務めており、彼の知識と経験は、次世代の計算機科学者にとって貴重な資源とされています。彼の業績はコンピュータサイエンスの進展に大いに寄与しており、今後も研究者たちの道標となることでしょう。

参考文献

• - Stearns, R. E., & Hartmanis, J. (1963). Regularity preserving modifications of regular expressions. Information and Control, 6, 55-69.
• - Hartmanis, J., & Stearns, R. E. (1965). On the computational complexity of algorithms. Transactions of the American Mathematical Society, 117, 285-306.
• - Stearns, R. E. (1967). A Regularity Test for Pushdown Machines. Information and Control, 11(3), 323-340.
• - Lewis II, P. M., & Stearns, R. E. (1968). Syntax-Directed Transduction. Journal of the ACM, 15(3), 465-488.

外部リンク

• - Richard Stearns - Mathematics Genealogy Project
• - DBLP entry
• - Personal homepage at the University at Albany

もう一度検索