ドナルド・クヌース
ドナルド・エルビン・クヌース Donald Ervin Knuth | |
---|---|
![]() Open Content Alliance のレセプションでのクヌース(2005年10月25日) | |
生誕 |
1938年1月10日(86歳)![]() |
居住 |
![]() |
国籍 |
![]() |
研究分野 |
数学 計算機科学 |
研究機関 | スタンフォード大学 |
出身校 |
ケース・ウェスタン・リザーブ大学 カリフォルニア工科大学 |
博士課程 指導教員 | Marshall Hall, Jr. |
主な業績 |
The Art of Computer Programming TeX, METAFONT クヌース-モリス-プラット法 クヌース・ベンディックス完備化アルゴリズム MMIX |
主な受賞歴 |
チューリング賞 (1974) アメリカ国家科学賞 (1979) フランクリン・メダル(1988) フォン・ノイマンメダル (1995) |
プロジェクト:人物伝 |
ドナルド・アーヴィン・クヌース[1](Donald Ervin Knuth [kəˈnuːθ][2], 1938年1月10日 -)は、数学者・計算機科学者。スタンフォード大学名誉教授[3]。
クヌースによるアルゴリズムに関する著作 The Art of Computer Programming のシリーズはプログラミングに携わるものの間では有名である[4]。アルゴリズム解析と呼ばれる分野を開拓し、計算理論の発展に多大な貢献をしている。その過程で漸近記法で計算量を表すことを一般化させた。
計算機科学への貢献とは別に、コンピュータによる組版システム TeX とフォント設計システム METAFONT の開発者でもあり、Computer Modern という書体ファミリも開発した。
作家であり学者であるクヌースは[5]、文芸的プログラミングのコンセプトを生み出し、そのためのプログラミングシステム WEB / CWEB を開発。また、MIX / MMIX 命令セットアーキテクチャを設計。
生い立ち
[編集]ウィスコンシン州ミルウォーキー生まれ。父は小さな印刷会社を経営し、近くの高校で簿記の講師をしており、父親が教えているその高校にクヌースは進学した。高校2年生のとき、"Ziegler's Giant Bar" という文字列から文字を取り出して組み合わせ、どれだけ意味のある単語を作れるかというコンテストが行われた。審査員が事前に用意した回答例は2500語だったが、クヌースは4500語も見つけ出すという才能を発揮し優勝した。賞品として学校にテレビ受像機(当時は高価であった)が贈られ、クラス全員にキャンディバーが配られた[6]。
大学教育と初期の職歴
[編集]大学進学にあたって、音楽と物理学のどちらを選ぶかで悩んだ末、ケース工科大学(現在はケース・ウェスタン・リザーブ大学)で物理学を学ぶことにした。ケース工科大学で物理学を学んでいた頃、初期のコンピュータの一つである IBM 650 と出会う。そのマニュアルを読んだクヌースは、自分ならもっとうまくできると信じ、アセンブラとコンパイラのコードを書き換えることを決心した[7]。1958年、大学のバスケットボールのチームがリーグ優勝するのを助けるため、クヌースは各選手の能力に基づいたプログラムを構築した。これは当時あまりにも画期的だったため、ニューズウィーク誌に記事が掲載され、CBSイブニングニュースでウォルター・クロンカイトも取り上げた[7]。Engineering and Science Review という技術専門誌の立ち上げに編集者として参加しており、同誌は1959年に技術誌の国家的な賞を受賞している[8]。その頃物理学から数学に転向し、1960年には、ずば抜けた成果により学士号と修士号を同時に与えられた[7]。
1963年、カリフォルニア工科大学で数学の博士号を取得し[9]、同大学で准教授として働き始め、そこで The Art of Computer Programming の執筆を開始した。実は元々はコンパイラに関する本の執筆を依頼され、当初1冊で内容を完結させる予定だったのだが The Art of Computer Programming という大作になってしまった。6部作となってしまい、さらに7部作へと構想が膨らんでいった。第1巻を出版する直前の1968年、プリンストン大学キャンパスにあった Institute for Defense Analyses (IDA) の通信研究部門を通してアメリカ国家安全保障局 (NSA) の仕事を請け負う職に就いた。しかし、その仕事はクヌースの政治信条には合わなかったようで、間もなくスタンフォード大学に移った。
執筆
[編集]The Art of Computer Programming
[編集]TAoCP あるいは ACP と略されることがある。コンピュータプログラミングの「Art」について集積した大著である。クヌース自身がここで意図している「Art」がどのようなものであるかは、本書の公刊という業績によって第3巻を刊行後の1974年にチューリング賞を受賞[10]した際に、受賞講演の冒頭で詳細に[※ 1]述べている。
人類のコミュニケーション方法で最良のものは、ストーリーを通したそれだ。 — ドナルド・クヌース
本書を企図した当時、計算機科学は第一歩を恐る恐る踏み出したばかりで、クヌースは「それは正体不明の全く新しい領域だった」と述べている。さらに「入手可能な出版物の水準はあまり高いとは言えなかった。次々と書かれる論文の内容がはっきり言えば間違っている、というような状況だった。(中略)だから、ひどい形で語られてしまっていたストーリーを直したいと私は思ったんだ[11]。」と述べている。
その後1976年に、2巻の第2版の準備中にその版面の仕上がりに不満を持ち[※ 2]、TeX と METAFONT を自ら開発し始めてしまい、4巻への着手は多少後ろ倒しとなった。結果として、コンパイラの技法についても続刊の内容として2020年の時点でも予告には含まれているが、それらの分野については既に多くの書籍がある。一方で既刊部分に含まれる、徹底したサーベイと実践に基づき書かれた内容は、しばしば参照される、貴重な記録と言えるものも多い。
2012年現在、最初の3巻と第4巻の第1部が出版済みである[12]。
他の業績
[編集]他に『超現実数』(Surreal Numbers) という本も執筆している[13]。ジョン・ホートン・コンウェイの集合論に基づいて代替の数体系を構築するという数学的小説である。この本は単に主題をそのまま説明するのではなく、数学の発展過程を示すことに努めている。クヌースはこの本を読んだ学生がオリジナルの創造的研究を行うことを望んでいる。
信仰と宗教的業績
[編集]クヌースの他の著作として 3:16 Bible Texts Illuminated がある[14]。これは聖書に層化抽出法を適用するという試みをしたもので、それぞれの書の3章16節を抜き出して解析している(3章16節を選んだのは「ヨハネによる福音書3章16節」の存在からであるが、他の書の3章16節には基本的に特別な意味は無い)。それぞれの節を美しく効果的に見せるため、ヘルマン・ツァップの指揮でカリグラファー達が協力した。クヌースはルター派である[15]。
Computer Musings
[編集]名誉教授となった今も、年に数回スタンフォード大学で非公式の講義を行っている。彼はこれを Computer Musings と呼ぶ。また、オックスフォード大学コンピュータ研究所の客員教授であり、同大学モードリン・カレッジの名誉フェローでもある[16]。
クヌースのユーモア
[編集]クヌースはプログラマとしても有名で、専門的ユーモアでも知られている。
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/03/Knuth-check2.png/220px-Knuth-check2.png)
- 彼は自身の著作の間違いやタイポに対して 2.56ドルを支払うとしている。この金額は256ペニーが1(16進数)ドルになるということで決められた。また、「価値ある示唆」に対しては0.32ドルを支払う。なお、3:16 Bible Texts Illuminated の間違いに関しては 3.16ドルを支払うことになっている。MIT の Technology Review によれば、これらの賞金の小切手は「コンピュータ界の最高の栄誉」だという。ただし2008年、実際の小切手を送ることは止め、架空の銀行「サンセリフ銀行」の預金証明書を送ることにした[17]。
- 彼は自身のソフトウェアに「上記コードのバグに注意; 正しいことは確認したが使ってみたことはない」と警告を入れたことがある[18]。
- Concrete Mathematics の序文より: クヌースが Concrete Mathematics をスタンフォードで最初に教えたとき、彼はその奇妙なタイトルについて「この数学コースは決してソフトではない」という意味であると説明した。実際、誤解した土木工学などの学生が講義室にやってきて、静かに帰っていったという。
- クヌースは1957年、"Potrzebie System of Weights and Measures"(度量衡のPotrzebieシステム)というタイトルで学内雑誌に科学論文を発表した。その中で長さの基本単位を MAD誌(アメリカのユーモア雑誌)の26号の厚さとし、力の基本単位を "whatmeworry" とした。MAD誌はこの記事を買い取り、1957年6月号 (#33) に掲載した。
- クヌースの "The Complexity of Songs"(歌の計算複雑性)という論文は計算機科学の学会誌に2回掲載された。
- The Art of Computer Programming 第3巻の索引には "Royalties, use of, 405" という行がある。しかし405ページを見ても著作権使用料 (Royalty) に関する記述はなく、図2として "organ-pipe arrangement"(オルガン-パイプ配置)の図がある。彼の自宅のパイプオルガンは同書の著作権使用料で購入したのであった[19]。
- TeX のバージョン番号は、3, 3.1, 3.14, … というように円周率 π に近づいている。METAFONTのバージョン番号は同様にネイピア数 e に近づいている。
- Computers and Typesetting シリーズの全ての付録は、付録を識別する文字から始まるタイトルになっている。
- TUG 2010 Conference にて、クヌースは XML をベースとした TeX の後継 "iTeX" を発表した。任意の縮尺の無理数単位、3Dプリンティング、アニメーション、ステレオ音声などをサポートするとしている[※ 3][20]。
- クヌースは、お気に入りの Emacs について、ストールマンに提案を行ったことがあるが返事はもらえてないとのことで、伝達手段が電子メールでなかったことが原因かも知れないとされる[21]。
受賞歴と栄誉
[編集]- 1971年 - 第1回 ACM グレース・ホッパー賞
- 1974年 - チューリング賞
- 1979年 - アメリカ国家科学賞
- 1986年 - スティール賞
- 1988年 - フランクリン・メダル
- 1995年 - IEEE フォン・ノイマンメダル
- 1995年 - ハーヴェイ賞(テクニオン)[22]
- 1996年 - 京都賞先端技術部門
- 1998年 - コンピュータ歴史博物館フェロー
- 2009年 - 片柳コンピュータ科学賞片柳優秀研究賞[23]
- 2010年 - BBVA Foundation Frontiers of Knowledge Award[24]
- 2011年 - Hero Award(スタンフォード大学工学部)[25]
- 2011年 - ファラデー・メダル
クヌースの計算機科学への貢献に敬意を表し、1990年、彼は「プログラミング技法の教授; Professor of the Art of Computer Programming」という唯一の称号を与えられた(現在では「名誉教授」に変更されている)。
1992年、クヌースはフランスの科学アカデミーの準会員となった。同年教授職を引退し、The Art of Computer Programming の完成に専念するようになった。2003年、イギリスの王立協会の外国人会員に選ばれた。
2009年、アメリカ応用数理学会 (SIAM) の特別フェローに選ばれた[26]。Norwegian Academy of Science and Letters の会員でもある[27]。
私生活
[編集]1961年6月24日にナンシー・ジル・カーター(Nancy Jill Carter)と結婚。子をふたり授かる(John Martin KnuthおよびJennifer Sierra Knuth)。
- 健康
2006年、前立腺癌を患っている。同年12月に手術を受け、放射線療法を受けているが予後はかなり良好だと動画にて報告している[28]。
著作
[編集]主な著作を以下に示す[※ 4]。
- The Art of Computer Programming, Volumes 1–4, Addison-Wesley Professional
- Volume 1: Fundamental Algorithms (3rd edition) 1997. Addison-Wesley Professional, ISBN 0-201-89683-4
- Volume 2: Seminumerical Algorithms (3rd Edition) 1997. Addison-Wesley Professional, ISBN 0-201-89684-2
- Volume 3: Sorting and Searching (2nd Edition) 1998. Addison-Wesley Professional, ISBN 0-201-89685-0
- 『Sorting and searching 日本語版』有澤誠、和田英一監訳 石井裕一郎、伊知池宏、小出洋、高岡詠子、田中久美子、長尾高弘訳 アスキー 2006年
- Volume 4A: Combinatorial Algorithms, Part 1, 2011. Addison-Wesley Professional, ISBN 0-201-03804-8
- Volume 4: Combinatorial Algorithms (remainder) 準備中
- Volume 5: Syntactic Algorithms 準備中、2015年に出版可能になる予定[29]
- The Art of Computer Programming, fascicles(分冊):
- Volume 1, Fascicle 1: MMIX—A RISC Computer for the New Millennium, 2005. ISBN 0-201-85392-2
- 『MMIX-a risc computer for the new millennium 日本語版』有澤誠、和田英一監訳 青木孝訳 アスキー 2006年
- Volume 4, Fascicle 0: Introduction to Combinatorial Algorithms and Boolean Functions. 2008. ISBN 0-321-53496-4
- 『Introduction to Combinatorial Algorithms and Boolean Functions 日本語版』和田英一訳 アスキー 2009年
- Volume 4, Fascicle 1: Bitwise Tricks & Techniques; Binary Decision Diagrams. 2009. ISBN 0-321-58050-8
- 『Bitwise Tricks & Techniques; Binary Decision Diagrams 日本語版』和田英一訳 アスキー 2011年
- Volume 4, Fascicle 2: Generating All Tuples and Permutations, 2005. ISBN 0-201-85393-0
- 『Generating all tuples and permutations 日本語版』有澤誠、和田英一監訳 小出洋訳 アスキー 2006年
- Volume 4, Fascicle 3: Generating All Combinations and Partitions, 2005. ISBN 0-201-85394-9
- 『Generating all combinations and partitions 日本語版』有澤誠、和田英一監訳 筧一彦訳 アスキー 2008年
- Volume 4, Fascicle 4: Generating All Trees—History of Combinatorial Generation, 2006. ISBN 0-321-33570-8
- 『Generating all trees-history of combinatorial generation 日本語版』有澤誠、和田英一監訳 筧一彦、小出洋訳 アスキー 2010年
- Computers & Typesetting:[※ 5]
- Volume A, The TeXbook (Reading, Massachusetts: Addison-Wesley, 1984) x+483pp. ISBN 0-201-13447-0
- 『TEXブック コンピュータによる組版システム』鷺谷好輝訳 アスキー 1989年
- Volume B, TeX: The Program (Reading, Massachusetts: Addison-Wesley, 1986) xviii+600pp. ISBN 0-201-13437-3
- Volume C, The METAFONTbook (Reading, Massachusetts: Addison-Wesley, 1986) xii+361pp. ISBN 0-201-13445-4
- 『METAFONTブック タイポグラファのためのプログラミング言語』鷺谷好輝訳 アスキー 1994年
- Volume D, METAFONT: The Program (Reading, Massachusetts: Addison-Wesley, 1986) xviii+566pp. ISBN 0-201-13438-1
- Volume E, Computer Modern Typefaces (Reading, Massachusetts: Addison-Wesley, 1986) xvi+588pp.
- Literate Programming[31](Stanford, California: Center for the Study of Language and Information — CSLI Lecture Notes, no. 27) 1992. ISBN 0-937073-80-6
- 『文芸的プログラミング』有沢誠訳 アスキー 1994.3
- Selected Papers on Computer Science[32] (Stanford, California: Center for the Study of Language and Information — CSLI Lecture Notes, no. 59) 1996. ISBN 1-881526-91-7
- Digital Typography[33] (Stanford, California: Center for the Study of Language and Information — CSLI Lecture Notes, no. 78) 1999. ISBN 1-57586-010-4
- Selected Papers on Analysis of Algorithms[34](Stanford, California: Center for the Study of Language and Information — CSLI Lecture Notes, no. 102) 2000. ISBN 1-57586-212-3
- Selected Papers on Computer Languages[35] (Stanford, California: Center for the Study of Language and Information — CSLI Lecture Notes, no. 139) 2003. ISBN 1-57586-381-2 (cloth) ISBN 1-57586-382-0 (paperback)
- Selected Papers on Discrete Mathematics[36] (Stanford, California: Center for the Study of Language and Information — CSLI Lecture Notes, no. 106) 2003. ISBN 1-57586-249-2 (cloth) ISBN 1-57586-248-4 (paperback)
- Selected Papers on Design of Algorithms[37] (Stanford, California: Center for the Study of Language and Information — CSLI Lecture Notes, no. 191) 2010. ISBN 1-57586-583-1 (cloth) ISBN 1-57586-582-3 (paperback)
- Selected Papers on Fun and Games[38] (Stanford, California: Center for the Study of Language and Information — CSLI Lecture Notes, no. 192) 2011. ISBN 978-1-57586-585-0 (cloth) ISBN 978-1-57586-584-3 (paperback)
- Companion to the Papers of Donald Knuth[39] (Stanford, California: Center for the Study of Language and Information — CSLI Lecture Notes, no. 202) 2011. ISBN 978-1-57586-635-2 (cloth) ISBN 978-1-57586-634-5 (paperback)
- Graham, Ronald L.; ドナルド・クヌース; Patashnik, Oren (1994). Concrete Mathematics: A foundation for computer science (Second ed.). Reading, MA: Addison-Wesley Publishing Company. pp. xiv+657. ISBN 0-201-55802-5. MR1397498
- Surreal Numbers: How Two Ex-Students Turned on to Pure Mathematics and Found Total Happiness. 1974, ISBN 0-201-03812-9.[40]
- The Stanford GraphBase: A Platform for Combinatorial Computing (New York, ACM Press) 1993. second paperback printing 2009. ISBN 0-321-60632-9
- 3:16 Bible Texts Illuminated (Madison, Wisconsin: A-R Editions) 1990. ISBN 0-89579-252-4
- Things a Computer Scientist Rarely Talks About (Center for the Study of Language and Information — CSLI Lecture Notes no 136) 2001. ISBN 1-57586-326-X
- 『コンピュータ科学者がめったに語らないこと』滝沢徹、牧野祐子、富澤昇訳 エスアイビー・アクセス 2003年
- Mathematical Writing 1989年(共著)
- 『クヌース先生のドキュメント纂法』有沢誠訳 共立出版 1989年
- Mmixware: A Risc Computer for the Third Millennium 2000年
- 『MMIXware 第三千年紀のためのRISCコンピュータ』滝沢徹訳 エスアイビー・アクセス 2001年
- 『クヌース先生のプログラム論』有沢誠編 共立出版 1991年(日本オリジナル編集)
注釈
[編集]- ^ コンピュータ科学者の Arthur Evans に言及するなどジョークを交えながら、
- ^ 出版界に当時、新しく導入された電算写植システムについて編集者や印刷業者の使いこなしに問題があったことが遠因だが、クヌースが「電子出版ツールに不満を持」った、というわけではない。
- ^ クヌースの許可を得て、録画した動画が River Valley TV で公開されている。
- ^ 完全な著作リストは "Books" at Stanford site にある。
- ^ 完全なリストは "Books" at Stanford site にある。
出典
[編集]- ^ “ドナルド・アーヴィン・クヌース - 京都賞”. 公益財団法人 稲盛財団. 2021年11月13日閲覧。
- ^ Knuth, Don. “Knuth: Frequently Asked Questions”. Don Knuth's home page. Stanford University. 2010年11月2日閲覧。 “How do you pronounce your last name? Ka-NOOTH.”
- ^ Donald Knuth's Homepage at Stanford.
- ^ The Art of Computer Programming (Stanford University).
- ^ Knuth's CV
- ^ Dennis Elliott Shasha; Cathy A. Lazere (1998). Out of their minds: the lives and discoveries of 15 great computer scientists. Springer. p. 90. ISBN 978-0-387-98269-4
- ^ a b c Thomas Koshy (2004). Discrete mathematics with applications. Academic Press. p. 244. ISBN 978-0-12-421180-3 2011年7月30日閲覧。
- ^ History of Beta Nu Chapter
- ^ Finite Semifields and Projective Planes – Donald Knuth's Ph.D. dissertation
- ^ https://amturing.acm.org/award_winners/knuth_1013846.cfm
- ^ 原文のput straitは「直す」とか「正す」という意味。
- ^ ドナルド・クヌース. “The Art of Computer Programming (TAOCP)”. 2012年5月20日閲覧。
- ^ Knuth, Donald (1974). Surreal numbers : how two ex-students turned on to pure mathematics and found total happiness : a mathematical novelette. Addison-Wesley. ISBN 978-0-201-03812-5
- ^ Knuth, Donald (1991). 3:16 : Bible texts illuminated. A-R Eds.. ISBN 978-0-89579-252-5
- ^ Love at First Byte. Stanford Magazine, May/June 2006.
- ^ “Professor Donald Knuth”. Magdalen College. 2010年12月6日閲覧。
- ^ MITの Technology Reviewの"Rewriting the Bible in 0's and 1's"
- ^ ドナルド・クヌース. “Knuth: Frequently Asked Questions”. Don Knuth's home page. Stanford University. 2010年11月2日閲覧。
- ^ "Pipe Organ" at Stanford site
- ^ ドナルド・クヌース (2010). “An Earthshaking Announcement”. TUGboat 31 (2): 121–124. ISSN 0896-3207 .
- ^ GLYN MOODY 小山祐司監訳『ソースコードの反逆』株式会社アスキー、2002年6月11日、194頁。
- ^ http://www.admin.technion.ac.il/harvey/1995-2.html
- ^ http://www.cs.cmu.edu/~katayanagi/
- ^ http://www.fbbva.es/TLFU/tlfu/ing/microsites/premios/fronteras/galardonados/2010/informacion.jsp
- ^ Andrew Myers (June 1, 2001). “Stanford's Don Knuth, a pioneering hero of computer programming”. Stanford Report 2011年6月27日閲覧。
- ^ http://fellows.siam.org/index.php?sort=year&value=2009
- ^ “Gruppe 1: Matematiske fag” (Norwegian). Norwegian Academy of Science and Letters. 2010年10月7日閲覧。
- ^ “Donald Knuth: 85 - Coping with cancer”. Web of Stories (April 2006). 2012年5月2日閲覧。
- ^ http://www-cs-faculty.stanford.edu/~uno/taocp.html
- ^ "Selected Papers" at Stanford site
- ^ "Literate Programming"
- ^ "Selected Papers on Computer Science"
- ^ "Digital Typography"
- ^ "Selected Papers on Analysis of Algorithms"
- ^ "Selected Papers on Computer Languages"
- ^ "Selected Papers on Discrete Mathematics"
- ^ "Selected Papers on Design of Algorithms"
- ^ "Selected Papers on Fun and Games"
- ^ "Companion to the Papers of Donald Knuth"
- ^ the book's official homepage
インタビューなど
[編集]- Woehr, J. An interview with Donald Knuth Dr. Dobb's Journal, 1996年4月, p. 16-22.
- Donald Knuth on The Art of Computer Programming Addison-Wesley Innovations, 1996年
- Knuth meets NTG members, アムステルダム, 1996年3月13日
- Knuth Comments on Code, Byte magazine, 1996年9月
- Donald Knuth: A life's work in the art of programming Amazon.com, 1997年
- Wallace, Mark. The art of Don E. Knuth salon.comによるインタビュー, 1999年
- TUG'95 (St Petersburg, FL, USA) Questions and answers with Prof. Donald E. Knuth. TUGboat 17 (1), 1996年
- Advogato, 2000 TUGboat 21 (2), 2000年
- U.K. TUG, Oxford, 12 September 1999:Question & Answer Session with Donald Knuth. TUGboat, 22 (1/2), 2001年
- Oslo, 2002 TUGboat 23 (3/4), 2002年
- AMS, 2001
- Geek Celebs, 2001
- c't, 2002
- Donald Knuth, Founding Artist of Computer Science. David Kestenbaum による National Public Radio でのインタビューの録音; または 書き起こしたもの, 2005年3月14日
- Free Software Magazine interview by Gianluca Pignalberi, August 2005.
関連項目
[編集]外部リンク
[編集]- Don Knuth's Home Page 公式ウェブサイト(スタンフォード大学)
- Donald Knuth's Profile | Stanford Profiles プロフィール
- Oral history interview with Donald E. Knuth at Charles Babbage Institute, University of Minnesota.
- “Love at First Byte,” Kara Platoni, with photography by Timothy Archibald, STANFORD Magazine, May/June 2006. A retrospective of Knuth’s life and work, with some rare, recent photos.
- Knuth ドナルド・クヌース - Mathematics Genealogy Project
- O'Connor, John J.; Robertson, Edmund F., “Donald Knuth”, MacTutor History of Mathematics archive, University of St Andrews.
- 図書館にあるDonald Knuthに関係する蔵書一覧 - WorldCatカタログ
- Donald Knuth's Stanford lectures archive
- Donald Knuth: Leonard Euler of Computer Science (Softpanorama)
- The Potrzebie System of Weights and Measures
- ドナルド・クヌース
- 20世紀アメリカ合衆国の数学者
- 21世紀アメリカ合衆国の数学者
- アメリカ合衆国の計算機科学者
- アメリカ合衆国のプログラマ
- アメリカ合衆国のタイポグラファー
- 計算機科学教育者
- アメリカ合衆国のプログラミング言語設計者
- チューリング賞受賞者
- アメリカ国家科学賞受賞者
- 京都賞先端技術部門受賞者
- ACMフェロー
- SIAMフェロー
- 王立協会外国人会員
- 米国科学アカデミー会員
- ロシア科学アカデミー外国人会員
- 全米技術アカデミー会員
- アメリカ数学会フェロー
- コンピュータ歴史博物館フェロー
- バイエルン科学アカデミー会員
- ノルウェー科学文学アカデミー会員
- TeX
- 形式手法の人物
- スタンフォード大学計算機科学科の教員
- カリフォルニア工科大学の教員
- ミルウォーキー出身の人物
- 数学に関する記事
- ケース・ウェスタン・リザーブ大学出身の人物
- カリフォルニア工科大学出身の人物
- 1938年生
- 存命人物