ドナルド・クヌース

ドナルド・アーヴィン・クヌースは、数学者・計算機科学者。スタンフォード大学名誉教授。

クヌースによるアルゴリズムに関する著作 //The Art of Computer Programming// のシリーズはプログラミングに携わるものの間では有名である。アルゴリズム解析と呼ばれる分野を開拓し、計算理論の発展に多大な貢献をしている。その過程で漸近記法で計算量を表すことを一般化させた。

計算機科学への貢献とは別に、コンピュータによる組版システム とフォント設計システム METAFONT の開発者でもあり、Computer Modern という書体ファミリも開発した。

作家であり学者であるクヌースは、文芸的プログラミングのコンセプトを生み出し、そのためのプログラミングシステム WEB / CWEB を開発。また、MIX / MMIX 命令セットアーキテクチャを設計。

1. 生い立ち
-------

ウィスコンシン州ミルウォーキー生まれ。父は小さな印刷会社を経営し、近くの高校で簿記の講師をしており、父親が教えているその高校にクヌースは進学した。高校2年生のとき、"Ziegler's Giant Bar" という文字列から文字を取り出して組み合わせ、どれだけ意味のある単語を作れるかというコンテストが行われた。審査員が事前に用意した回答例は2500語だったが、クヌースは4500語も見つけ出すという才能を発揮し優勝した。賞品として学校にテレビ受像機が贈られ、クラス全員にキャンディバーが配られた。

2. 大学教育と初期の職歴
-------------

大学進学にあたって、音楽と物理学のどちらを選ぶかで悩んだ末、ケース工科大学で物理学を学ぶことにした。ケース工科大学で物理学を学んでいた頃、初期のコンピュータの一つである IBM 650 と出会う。そのマニュアルを読んだクヌースは、自分ならもっとうまくできると信じ、アセンブラとコンパイラのコードを書き換えることを決心した。1958年、大学のバスケットボールのチームがリーグ優勝するのを助けるため、クヌースは各選手の能力に基づいたプログラムを構築した。これは当時あまりにも画期的だったため、ニューズウィーク誌に記事が掲載され、CBSイブニングニュースでウォルター・クロンカイトも取り上げた。//Engineering and Science Review// という技術専門誌の立ち上げに編集者として参加しており、同誌は1959年に技術誌の国家的な賞を受賞している。その頃物理学から数学に転向し、1960年には、ずば抜けた成果により学士号と修士号を同時に与えられた。

1963年、カリフォルニア工科大学で数学の博士号を取得し、同大学で准教授として働き始め、そこで //The Art of Computer Programming// の執筆を開始した。実は元々はコンパイラに関する本の執筆を依頼され、当初1冊で内容を完結させる予定だったのだが //The Art of Computer Programming// という大作になってしまった。6部作となってしまい、さらに7部作へと構想が膨らんでいった。第1巻を出版する直前の1968年、プリンストン大学キャンパスにあった Institute for Defense Analyses  の通信研究部門を通してアメリカ国家安全保障局  の仕事を請け負う職に就いた。しかし、その仕事はクヌースの政治信条には合わなかったようで、間もなくスタンフォード大学に移った。

3. 執筆
-----

3.1. The Art of Computer Programming
------------------------------------

TAoCP あるいは ACP と略されることがある。コンピュータプログラミングの「Art」について集積した大著である。クヌース自身がここで意図している「Art」がどのようなものであるかは、本書の公刊という業績によって第3巻を刊行後の1974年にチューリング賞を受賞した際に、受賞講演の冒頭で詳細に述べている。

本書を企図した当時、計算機科学は第一歩を恐る恐る踏み出したばかりで、クヌースは「それは正体不明の全く新しい領域だった」と述べている。さらに「入手可能な出版物の水準はあまり高いとは言えなかった。次々と書かれる論文の内容がはっきり言えば間違っている、というような状況だった。だから、ひどい形で語られてしまっていたストーリーを直したいと私は思ったんだ。」と述べている。

その後1976年に、2巻の第2版の準備中にその版面の仕上がりに不満を持ち、 と METAFONT を自ら開発し始めてしまい、4巻への着手は多少後ろ倒しとなった。結果として、コンパイラの技法についても続刊の内容として2020年の時点でも予告には含まれているが、それらの分野については既に多くの書籍がある。一方で既刊部分に含まれる、徹底したサーベイと実践に基づき書かれた内容は、しばしば参照される、貴重な記録と言えるものも多い。

2012年現在、最初の3巻と第4巻の第1部が出版済みである。

3.2. 他の業績
---------

他に『超現実数』 という本も執筆している。ジョン・ホートン・コンウェイの集合論に基づいて代替の数体系を構築するという数学的小説である。この本は単に主題をそのまま説明するのではなく、数学の発展過程を示すことに努めている。クヌースはこの本を読んだ学生がオリジナルの創造的研究を行うことを望んでいる。

3.3. 信仰と宗教的業績
-------------

クヌースの他の著作として //3:16 Bible Texts Illuminated// がある。これは聖書に層化抽出法を適用するという試みをしたもので、それぞれの書の3章16節を抜き出して解析している。それぞれの節を美しく効果的に見せるため、ヘルマン・ツァップの指揮でカリグラファー達が協力した。クヌースはルター派である。

4. Computer Musings
-------------------

名誉教授となった今も、年に数回スタンフォード大学で非公式の講義を行っている。彼はこれを Computer Musings と呼ぶ。また、オックスフォード大学コンピュータ研究所の客員教授であり、同大学モードリン・カレッジの名誉フェローでもある。

5. クヌースのユーモア
------------

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

彼は自身の著作の間違いやタイポに対して 2.56ドルを支払うとしている。この金額は256ペニーが1ドルになるということで決められた。また、「価値ある示唆」に対しては0.32ドルを支払う。なお、//3:16 Bible Texts Illuminated// の間違いに関しては 3.16ドルを支払うことになっている。MIT の //Technology Review// によれば、これらの賞金の小切手は「コンピュータ界の最高の栄誉」だという。ただし2008年、実際の小切手を送ることは止め、架空の銀行「サンセリフ銀行」の預金証明書を送ることにした。
彼は自身のソフトウェアに「上記コードのバグに注意; 正しいことは確認したが使ってみたことはない」と警告を入れたことがある。
//Concrete Mathematics// の序文より: クヌースが Concrete Mathematics をスタンフォードで最初に教えたとき、彼はその奇妙なタイトルについて「この数学コースは決してソフトではない」という意味であると説明した。実際、誤解した土木工学などの学生が講義室にやってきて、静かに帰っていったという。
クヌースは1957年、"Potrzebie System of Weights and Measures"というタイトルで学内雑誌に科学論文を発表した。その中で長さの基本単位を //MAD//誌の26号の厚さとし、力の基本単位を "whatmeworry" とした。//MAD//誌はこの記事を買い取り、1957年6月号  に掲載した。
クヌースの "The Complexity of Songs"という論文は計算機科学の学会誌に2回掲載された。
//The Art of Computer Programming// 第3巻の索引には "Royalties, use of, 405" という行がある。しかし405ページを見ても著作権使用料  に関する記述はなく、図2として "organ-pipe arrangement"の図がある。彼の自宅のパイプオルガンは同書の著作権使用料で購入したのであった。
のバージョン番号は、3, 3.1, 3.14, … というように円周率 に近づいている。METAFONTのバージョン番号は同様にネイピア数 e}} に近づいている。
//Computers and Typesetting// シリーズの全ての付録は、付録を識別する文字から始まるタイトルになっている。
[1] にて、クヌースは XML をベースとした の後継 "iTeX" を発表した。任意の縮尺の無理数単位、3Dプリンティング、アニメーション、ステレオ音声などをサポートするとしている。
クヌースは、お気に入りの Emacs について、ストールマンに提案を行ったことがあるが返事はもらえてないとのことで、伝達手段が電子メールでなかったことが原因かも知れないとされる。

6. 受賞歴と栄誉
---------

1971年 - 第1回 ACM グレース・ホッパー賞
1974年 - チューリング賞
1979年 - アメリカ国家科学賞
1986年 - スティール賞
1988年 - フランクリン・メダル
1995年 - IEEE フォン・ノイマンメダル
1995年 - ハーヴェイ賞
1996年 - 京都賞先端技術部門
1998年 - コンピュータ歴史博物館フェロー
2009年 - 片柳コンピュータ科学賞片柳優秀研究賞
2010年 - BBVA Foundation Frontiers of Knowledge Award
2011年 - Hero Award
2011年 - ファラデー・メダルクヌースの計算機科学への貢献に敬意を表し、1990年、彼は「プログラミング技法の教授; Professor of the Art of Computer Programming」という唯一の称号を与えられた。

1992年、クヌースはフランスの科学アカデミーの準会員となった。同年教授職を引退し、//The Art of Computer Programming// の完成に専念するようになった。2003年、イギリスの王立協会の外国人会員に選ばれた。

2009年、アメリカ応用数理学会  の特別フェローに選ばれた。Norwegian Academy of Science and Letters の会員でもある。

7. 私生活
------

1961年6月24日にナンシー・ジル・カーターと結婚。子をふたり授かる。

健康2006年、前立腺癌を患っている。同年12月に手術を受け、放射線療法を受けているが予後はかなり良好だと動画にて報告している。

8. 著作
-----

主な著作を以下に示す。

//The Art of Computer Programming//, Volumes 1–4, Addison-Wesley Professional
Volume 1: //Fundamental Algorithms//  1997. Addison-Wesley Professional, ISBN 0-201-89683-4
『基本算法 基礎概念』広瀬健訳 サイエンス社 1978年
『基本算法 情報構造』米田信夫、筧捷彦共訳 サイエンス社 1978年
『Fundamental algorithms 日本語版』有澤誠、和田英一監訳 青木孝他訳、アスキー、2004年
Volume 2: //Seminumerical Algorithms//  1997. Addison-Wesley Professional, ISBN 0-201-89684-2
『準数値算法 乱数』渋谷政昭訳 サイエンス社 1981年
『準数値算法 算術演算』中川圭介訳 サイエンス社 1986年
『Seminumerical algorithms 日本語版』有澤誠、和田英一監訳 斎藤博昭他訳、アスキー 2004年
Volume 3: //Sorting and Searching//  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//  準備中
Volume 5: //Syntactic Algorithms// 準備中、2015年に出版可能になる予定
//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//:
Volume A, The TeXbook  x+483pp. ISBN 0-201-13447-0
『TEXブック コンピュータによる組版システム』鷺谷好輝訳 アスキー 1989年
Volume B, TeX: The Program  xviii+600pp. ISBN 0-201-13437-3
Volume C, The METAFONTbook  xii+361pp. ISBN 0-201-13445-4
『METAFONTブック タイポグラファのためのプログラミング言語』鷺谷好輝訳 アスキー 1994年
Volume D, METAFONT: The Program  xviii+566pp. ISBN 0-201-13438-1
Volume E, Computer Modern Typefaces  xvi+588pp.
//Selected papers series//
//Literate Programming// 1992. //ISBN 0-937073-80-6//
『文芸的プログラミング』有沢誠訳 アスキー 1994.3
//Selected Papers on Computer Science//  1996. ISBN 1-881526-91-7
//Digital Typography//  1999. ISBN 1-57586-010-4
//Selected Papers on Analysis of Algorithms// 2000. ISBN 1-57586-212-3
// Selected Papers on Computer Languages//  2003. ISBN 1-57586-381-2  ISBN 1-57586-382-0 
//Selected Papers on Discrete Mathematics//  2003. ISBN 1-57586-249-2  ISBN 1-57586-248-4 
//Selected Papers on Design of Algorithms//  2010. ISBN 1-57586-583-1  ISBN 1-57586-582-3 
//Selected Papers on Fun and Games//  2011. ISBN 978-1-57586-585-0  ISBN 978-1-57586-584-3 
//Companion to the Papers of Donald Knuth//  2011. ISBN 978-1-57586-635-2  ISBN 978-1-57586-634-5 
//Surreal Numbers: How Two Ex-Students Turned on to Pure Mathematics and Found Total Happiness//. 1974, ISBN 0-201-03812-9.
『超現実数 数学小説』好田順治訳 海鳴社 1978年
『至福の超現実数 純粋数学に魅せられた男と女の物語』松浦俊輔訳 柏書房 2004年
//The Stanford GraphBase: A Platform for Combinatorial Computing//  1993. second paperback printing 2009. ISBN 0-321-60632-9
//3:16 Bible Texts Illuminated//  1990. ISBN 0-89579-252-4
//Things a Computer Scientist Rarely Talks About//  2001. ISBN 1-57586-326-X
『コンピュータ科学者がめったに語らないこと』滝沢徹、牧野祐子、富澤昇訳 エスアイビー・アクセス 2003年
//Mathematical Writing// 1989年
『クヌース先生のドキュメント纂法』有沢誠訳 共立出版 1989年
//Mmixware: A Risc Computer for the Third Millennium// 2000年
『MMIXware 第三千年紀のためのRISCコンピュータ』滝沢徹訳 エスアイビー・アクセス 2001年
『クヌース先生のプログラム論』有沢誠編 共立出版 1991年

9. 注釈
-----

10. 出典
------

11. インタビューなど
------------

Woehr, J. [2] //Dr. Dobb's Journal//, 1996年4月, p. 16-22.
[3] Addison-Wesley Innovations, 1996年
[4], アムステルダム, 1996年3月13日
[5], Byte magazine, 1996年9月
[6] Amazon.com, 1997年
Wallace, Mark. [7] salon.comによるインタビュー, 1999年
[8]. //TUGboat// 17 , 1996年
[9] //TUGboat// 21 , 2000年
[10]. //TUGboat//, 22 , 2001年
[11] //TUGboat// 23 , 2002年
[12]
[13]
[14]
[15]. David Kestenbaum による National Public Radio でのインタビューの録音; または [16], 2005年3月14日
[17].

12. 関連項目
--------

クヌースの矢印表記
クヌース-モリス-プラット法
クヌース・ベンディックス完備化アルゴリズム
漸近記法
属性文法
クヌース賞

13. 外部リンク
---------

name=Don Knuth's Home Page}} 公式ウェブサイト
[18] プロフィール
[19] at Charles Babbage Institute, University of Minnesota.
[20] 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.
[21]
[22]
[23]