ドナルド・クヌース

ドナルド・エルビン・クヌース
Donald Ervin Knuth
Open Content Alliance のレセプションでのクヌース（2005年10月25日）
生誕 (1938-01-10) 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[編集]

詳細は「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]。

クヌースのユーモア[編集]

クヌースはプログラマとしても有名で、専門的ユーモアでも知られている。

クヌース賞金小切手（一部ボカシ入）
  • 彼は自身の著作の間違いやタイポに対して 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]。

受賞歴と栄誉[編集]

クヌースの計算機科学への貢献に敬意を表し、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]。

  1. Volume 1: Fundamental Algorithms (3rd edition) 1997. Addison-Wesley Professional, ISBN 0-201-89683-4
    • 『基本算法 基礎概念』広瀬健訳 サイエンス社 1978年（第二版対応）
    • 『基本算法 情報構造』米田信夫、筧捷彦共訳 サイエンス社 1978年（第二版対応）
    • 『Fundamental algorithms 日本語版』有澤誠、和田英一監訳 青木孝他訳、アスキー、2004年
  2. Volume 2: Seminumerical Algorithms (3rd Edition) 1997. Addison-Wesley Professional, ISBN 0-201-89684-2
    • 『準数値算法 乱数』渋谷政昭訳 サイエンス社 1981年（第二版対応）
    • 『準数値算法 算術演算』中川圭介訳 サイエンス社 1986年（第二版対応）
    • 『Seminumerical algorithms 日本語版』有澤誠、和田英一監訳 斎藤博昭他訳、アスキー 2004年
  3. Volume 3: Sorting and Searching (2nd Edition) 1998. Addison-Wesley Professional, ISBN 0-201-89685-0
    • 『Sorting and searching 日本語版』有澤誠、和田英一監訳 石井裕一郎、伊知池宏、小出洋、高岡詠子、田中久美子、長尾高弘訳 アスキー 2006年
  4. Volume 4A: Combinatorial Algorithms, Part 1, 2011. Addison-Wesley Professional, ISBN 0-201-03804-8
  5. Volume 4: Combinatorial Algorithms (remainder) 準備中
  6. Volume 5: Syntactic Algorithms 準備中、2015年に出版可能になる予定[29]
  • The Art of Computer Programming, fascicles（分冊）:
  1. 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年
  2. 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年
  3. Volume 4, Fascicle 1: Bitwise Tricks & Techniques; Binary Decision Diagrams. 2009. ISBN 0-321-58050-8
    • 『Bitwise Tricks & Techniques; Binary Decision Diagrams 日本語版』和田英一訳 アスキー 2011年
  4. Volume 4, Fascicle 2: Generating All Tuples and Permutations, 2005. ISBN 0-201-85393-0
    • 『Generating all tuples and permutations 日本語版』有澤誠、和田英一監訳 小出洋訳 アスキー 2006年
  5. Volume 4, Fascicle 3: Generating All Combinations and Partitions, 2005. ISBN 0-201-85394-9
    • 『Generating all combinations and partitions 日本語版』有澤誠、和田英一監訳 筧一彦訳 アスキー 2008年
  6. 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年
  1. Volume A, The TeXbook (Reading, Massachusetts: Addison-Wesley, 1984) x+483pp. ISBN 0-201-13447-0
    • 『TEXブック コンピュータによる組版システム』鷺谷好輝訳 アスキー 1989年
  2. Volume B, TeX: The Program (Reading, Massachusetts: Addison-Wesley, 1986) xviii+600pp. ISBN 0-201-13437-3
  3. Volume C, The METAFONTbook (Reading, Massachusetts: Addison-Wesley, 1986) xii+361pp. ISBN 0-201-13445-4
    • 『METAFONTブック タイポグラファのためのプログラミング言語』鷺谷好輝訳 アスキー 1994年
  4. Volume D, METAFONT: The Program (Reading, Massachusetts: Addison-Wesley, 1986) xviii+566pp. ISBN 0-201-13438-1
  5. Volume E, Computer Modern Typefaces (Reading, Massachusetts: Addison-Wesley, 1986) xvi+588pp.
  1. 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
  2. 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
  3. Digital Typography[33] (Stanford, California: Center for the Study of Language and Information — CSLI Lecture Notes, no. 78) 1999. ISBN 1-57586-010-4
  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
  5. 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)
  6. 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)
  7. 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)
  8. 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)
  9. 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]
    • 『超現実数 数学小説』好田順治訳 海鳴社 1978年
    • 『至福の超現実数 純粋数学に魅せられた男と女の物語』松浦俊輔訳 柏書房 2004年
  • 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年（日本オリジナル編集）

注釈[編集]

  1. ^ コンピュータ科学者の Arthur Evans に言及するなどジョークを交えながら、
  2. ^ 出版界に当時、新しく導入された電算写植システムについて編集者や印刷業者の使いこなしに問題があったことが遠因だが、クヌースが「電子出版ツールに不満を持」った、というわけではない。
  3. ^ クヌースの許可を得て、録画した動画が River Valley TV で公開されている。
  4. ^ 完全な著作リストは "Books" at Stanford site にある。
  5. ^ 完全なリストは "Books" at Stanford site にある。

出典[編集]

  1. ^ “ドナルド・アーヴィン・クヌース - 京都賞”. 公益財団法人 稲盛財団. 2021年11月13日閲覧。
  2. ^ 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.”
  3. ^ Donald Knuth's Homepage at Stanford.
  4. ^ The Art of Computer Programming (Stanford University).
  5. ^ Knuth's CV
  6. ^ 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. https://books.google.co.jp/books?id=-0tDZX3z-8UC&pg=PA90 
  7. ^ a b c Thomas Koshy (2004). Discrete mathematics with applications. Academic Press. p. 244. ISBN 978-0-12-421180-3. https://books.google.co.jp/books?id=90KApidK5NwC&pg=PA244&redir_esc=y&hl=ja 2011年7月30日閲覧。 
  8. ^ History of Beta Nu Chapter
  9. ^ Finite Semifields and Projective Planes – Donald Knuth's Ph.D. dissertation
  10. ^ https://amturing.acm.org/award_winners/knuth_1013846.cfm
  11. ^ 原文のput straitは「直す」とか「正す」という意味。
  12. ^ ドナルド・クヌース. “The Art of Computer Programming (TAOCP)”. 2012年5月20日閲覧。
  13. ^ 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 
  14. ^ Knuth, Donald (1991). 3:16 : Bible texts illuminated. A-R Eds.. ISBN 978-0-89579-252-5 
  15. ^ Love at First Byte. Stanford Magazine, May/June 2006.
  16. ^ “Professor Donald Knuth”. Magdalen College. 2010年12月6日閲覧。
  17. ^ MITの Technology Reviewの"Rewriting the Bible in 0's and 1's"
  18. ^ ドナルド・クヌース. “Knuth: Frequently Asked Questions”. Don Knuth's home page. Stanford University. 2010年11月2日閲覧。
  19. ^ "Pipe Organ" at Stanford site
  20. ^ ドナルド・クヌース (2010). “An Earthshaking Announcement”. TUGboat 31 (2): 121–124. ISSN 0896-3207. http://tug.org/TUGboat/tb31-2/tb98knut.pdf. 
  21. ^ GLYN MOODY 小山祐司監訳『ソースコードの反逆』株式会社アスキー、2002年6月11日、194頁。 
  22. ^ http://www.admin.technion.ac.il/harvey/1995-2.html
  23. ^ http://www.cs.cmu.edu/~katayanagi/
  24. ^ http://www.fbbva.es/TLFU/tlfu/ing/microsites/premios/fronteras/galardonados/2010/informacion.jsp
  25. ^ Andrew Myers (2001年6月1日). “Stanford's Don Knuth, a pioneering hero of computer programming”. Stanford Report. http://news.stanford.edu/news/2011/june/knuth-engineering-hero-060111.html 2011年6月27日閲覧。 
  26. ^ http://fellows.siam.org/index.php?sort=year&value=2009
  27. ^ “Gruppe 1: Matematiske fag” (Norwegian). Norwegian Academy of Science and Letters. 2010年10月7日閲覧。
  28. ^ “Donald Knuth: 85 - Coping with cancer”. Web of Stories (2006年4月). 2012年5月2日閲覧。
  29. ^ http://www-cs-faculty.stanford.edu/~uno/taocp.html
  30. ^ "Selected Papers" at Stanford site
  31. ^ "Literate Programming"
  32. ^ "Selected Papers on Computer Science"
  33. ^ "Digital Typography"
  34. ^ "Selected Papers on Analysis of Algorithms"
  35. ^ "Selected Papers on Computer Languages"
  36. ^ "Selected Papers on Discrete Mathematics"
  37. ^ "Selected Papers on Design of Algorithms"
  38. ^ "Selected Papers on Fun and Games"
  39. ^ "Companion to the Papers of Donald Knuth"
  40. ^ the book's official homepage

インタビューなど[編集]

関連項目[編集]

ウィキメディア・コモンズには、ドナルド・クヌースに関連するカテゴリがあります。

外部リンク[編集]

処理系
マクロパッケージ
マクロ体系
分野特化
ディストリビューション
エディタ
ユーティリティ
TeX 関連
コミュニティ
人物
OS書体
他の書体
日本語対応
数学用
ソフトウェア
ライセンス
組織 / 人物
書籍
ソフトウェア
フォント
文芸的プログラミング
アルゴリズム
その他
カテゴリ カテゴリ
「https://ja.wikipedia.org/w/index.php?title=ドナルド・クヌース&oldid=99604421」から取得