|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー : [ちょうおん] (n) long vowel mark (usually only used in katakana)
リチャード・エドウィン・スターンズ(Richard Edwin Stearns, 1936年7月5日 - )は、アメリカ合衆国の計算機科学者。1993年、ユリス・ハルトマニスと共に「計算複雑性理論の分野を確立した独創的な論文に対して」チューリング賞を受賞した。1994年、Association for Computing Machinery (ACM) のフェローに選ばれた。 1961年、プリンストン大学にての指導で博士号を得た。2006年現在、ニューヨーク州立大学オールバニ校計算機科学科の名誉教授を務めている。 == 参考文献 == * R. E. Stearns and J. Hartmanis, Regularity preserving modifications of regular expressions, ''Information and Control'' 6, (1963), 55-69. 正規言語の範囲内の言語操作についての初の体系的研究 * . 計算複雑性理論の一部を構成するを証明した論文(チューリング賞受賞) * R. E. Stearns: A Regularity Test for Pushdown Machines, ''Information and Control'' 11(3): 323-340 (1967). 決定性プッシュダウン・オートマトンを扱った論文。 * P. M. Lewis II, R. E. Stearns: Syntax-Directed Transduction, ''Journal of the ACM'' 15(3): 465-488 (1968). コンパイラ設計で重要なLL法についての初期の論文 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「リチャード・スターンズ」の詳細全文を読む スポンサード リンク
|