デイナ・スコット
出典: フリー百科事典『ウィキペディア（Wikipedia）』
デイナ・スコット (Dana S. Scott, 1932年- ) はアメリカの計算機科学者・数学者・論理学者。
1954年、カリフォルニア大学バークレー校にて学士号を取得。その後、同大学院でアルフレト・タルスキの指導を受けるが、タルスキとの間でトラブルが発生し、プリンストン大学へ移ることを余儀なくされる（ただしタルスキとはその後、和解している）。1958年、プリンストン大学にてアロンゾ・チャーチの指導のもと、博士号を取得。
その後、シカゴ大学講師、カリフォルニア大学バークレー校助教授・準教授、スタンフォード大学教授、プリンストン大学教授、オックスフォード大学教授、カーネギー・メロン大学教授等を経て、現在はカーネギー・メロン大学名誉教授の地位にある。
彼の業績はオートマトン理論、公理的集合論、プログラミング言語の意味論、言語哲学等、多岐にわたっており、1959年にマイケル・ラビンと共同で発表したオートマトン理論に関する研究 [1] により、1976年度チューリング賞を受賞している。
目次 |
[編集] オートマトン理論における業績
この節は執筆中です。加筆、訂正して下さる協力者を求めています。[編集] 集合論における業績
この節は執筆中です。加筆、訂正して下さる協力者を求めています。[2]において、
- 可測基数が存在するならば、V≠L
を証明した。（書きかけです）
[編集] プログラミング言語の意味論における業績
この節は執筆中です。加筆、訂正して下さる協力者を求めています。[3]において領域理論 (domain theory) の基礎を開拓。（書きかけです）
[編集] 主要著作
- [1] Michael Rabin and Dana Scott, "Finite automata and their decision problems," IBM Journal of Research and Development 3, 1959, pp. 114-125.
- [2] Dana Scott, "Measurable cardinals and constructible sets," Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 9, 1961, pp. 521-524.
- [3] Dana S. Scott, "Data types as lattices" in G. Muller et al. (eds.), Proceedings of the International Summer Institute and Logic Colloquium, Kiel, Vol. 499 of Lecture Notes in Mathematics, Springer, 1975, pp. 579-651.
