ドナルド・クヌース

ドナルド・クヌース
2011年のクヌース
誕生
ドナルド・アーヴィン・クヌース
（1938年1月10日）1938年1月10日
アメリカ合衆国ウィスコンシン州ミルウォーキー
教育
知られている
リストを見る
配偶者ナンシー・ジル・カーター
子供たち2
賞
リストを見る
科学的なキャリア
分野
所属機関スタンフォード大学
学位論文有限半体と射影平面 （1963年）
博士課程指導教員マーシャル・ホール・ジュニア[ 2 ]
博士課程学生
ウェブサイトcs.stanford.edu /~knuth

ドナルド・アーヴィン・クヌース（ / kəˈn uːθ / kə - NOOTH ; [ 3 ] 1938年1月10日生まれ）は、アメリカのコンピュータ科学者、数学者です。スタンフォード大学の名誉教授です。1974年には、コンピュータサイエンスのノーベル賞とも呼ばれるACMチューリング賞を受賞しました。 [ 4 ]クヌースは「アルゴリズム解析の父」と呼ばれています。[ 5 ]

クヌースは、複数巻からなる著書『The Art of Computer Programming』の著者です。彼は、アルゴリズムの計算複雑性の厳密な分析の発展に貢献し、そのための形式的な数学的手法を体系化しました。その過程で、漸近記法も普及させました。理論計算機科学の複数の分野における基礎的な貢献に加え、クヌースはTeXコンピュータ組版システム、関連するフォント定義言語およびレンダリングシステムであるMETAFONT、そしてComputer Modern書体ファミリーの 考案者でもあります。

作家であり学者でもあるクヌースは、文芸的プログラミングを奨励・促進するために設計されたWEBおよびCWEBというコンピュータプログラミングシステムを開発し、MIX / MMIX命令セットアーキテクチャを設計しました。彼はソフトウェア特許の付与に強く反対しており、米国特許商標庁および欧州特許機構に意見を表明しています。

経歴

生い立ち

ドナルド・クヌースは、 ウィスコンシン州ミルウォーキーで、アーヴィン・ヘンリー・クヌースとルイーズ・マリー・ボーニングの息子として生まれました。 [ 6 ]彼は自身のルーツを「中西部ルーテル派ドイツ人」と表現しています。[ 7 ]彼の父親は小さな印刷会社を経営し、簿記を教えていました。[ 8 ]ミルウォーキー・ルーテル高校在学中、クヌースは独創的な問題解決方法を考え出しました。例えば、8年生の時、「ジーグラー・ジャイアント・バー」 [ 9 ]の文字を並べ替えて何語ができるかを決めるコンテストに参加しました。審査員はそのような単語を2500個特定していました。偽の腹痛で学校を休んだ時間を利用して、クヌースは大辞典を使って、各辞書の項目がフレーズの文字を使って作成できるかどうかを判断しました。彼は4500語以上の単語を特定し、コンテストで優勝しました[ 7 ] : 3 賞品として、学校は新しいテレビと、彼のクラスの友達全員が食べられるほどのキャンディーバーを受け取りました。[ 10 ] [ 11 ]

教育

クヌースは1956年にオハイオ州クリーブランドのケース工科大学（現在はケース・ウェスタン・リザーブ大学の一部）に物理学の奨学金を得て入学した。 [ 12 ]彼はまた、シータ・カイ友愛会のベータ・ニュー支部にも参加した。ケースで物理学を学んでいたクヌースは、初期の商用コンピュータであるIBM 650と出会った。コンピュータのマニュアルを読んだ後、クヌースは学校で使用されていたマシンのアセンブリコードとコンパイラコードを書き直すことを決意した。自分ならもっとうまく書けると思ったからだ。[ 13 ]

1958年、クヌースは学校のバスケットボールチームの勝利を支援するプログラムを作成した。[ 14 ]彼は選手に「値」を割り当て、得点の確率を測った。この斬新なアプローチは後にニューズウィーク誌とCBSイブニングニュースで報道された。[ 13 ]

クヌースはケース研究所のエンジニアリング・アンド・サイエンス・レビューの創刊編集者の一人で、同誌は1959年に最優秀技術雑誌として全国賞を受賞した。[ 15 ] [ 16 ]その後物理学から数学に転向し、1960年にケースから2つの学位を取得した。[ 12 ]理学士号と、同時に彼の研究が非常に優れているとみなされた教授陣の特別賞による理学修士号である。[ 4 ] [ 13 ]

1960年、ケース大学4年生の終わりに、クヌースはバローズ社に対し、B205用のALGOLコンパイラを5,500ドルで開発することを提案した。この提案は受け入れられ、彼はケース大学を卒業してからカリフォルニア工科大学に進学するまでの間、ALGOLコンパイラの開発に携わった。[ 7 ] : 66 [ 17 ] : 7

1963年、数学者マーシャル・ホールを指導教員として[ 2 ] 、カリフォルニア工科大学で「有限半体と射影平面」と題する論文で数学の博士号を取得した[ 18 ]。

初期の研究

1963年、博士号を取得した後、クヌースはカリフォルニア工科大学の助教授として教鞭をとりました。[ 19 ]

カリフォルニア工科大学在学中、バロウズB205 ALGOLコンパイラの成功後、彼はバロウズ社のコンサルタントとなり、製品企画部門に加わった。カリフォルニア工科大学では数学者として、バロウズ社ではプログラマーとして、当時最高のソフトウェアを開発したと彼が考えていた人々と共に働いた。そのソフトウェアとは、B220コンピュータ（B205の後継機）用のALGOLコンパイラであった。[ 7 ] : 9

クヌースはグリーンツリー社でコンパイラ開発の10万ドルの契約を断り、収入を最適化し、カリフォルニア工科大学とバローズ大学で研究を続けることを決意した。彼は全米科学財団フェローシップとウッドロウ・ウィルソン財団フェローシップを受賞したが、その条件は大学院生として研究することのみであり、バローズ大学のコンサルタントとしての研究を続けることはできなかった。彼はこれらのフェローシップを断り、バローズ大学で研究を続けることを選んだ。[ 7 ] : 12 1962年夏、彼はユニバック社向けにFORTRANコンパイラを開発したが、FORTRANコンパイラを開発するために「悪魔に魂を売った」と考えた。[ 7 ] : 15

卒業後、クヌースは1961年6月にバローズに戻ったが、期待されていた学士号ではなく修士号を取得したことを告げなかった。ALGOLの構文チャート、シンボルテーブル、再帰下降アプローチ、そしてコンパイラのスキャン、構文解析、出力の各機能の分離に感銘を受けたクヌースは、シンボルテーブルの拡張を提案した。つまり、1つのシンボルが複数のシンボルの列を表すようにするというものだった。これがバローズALGOLのDEFINEの基礎となり、その後他の言語にも採用された。しかし、このアイデアを非常に嫌う者もおり、DEFINEの削除を求めた。このアイデアをひどいと思った最後の人物は、バローズを訪れたエドガー・ダイクストラであった。 [ 17 ] : 17

クヌースはバロウズでシミュレーション言語の開発に携わり、J・マクニーリーと共同設計した最先端言語の改良版であるSOL（シミュレーション指向言語）を開発しました。1967年5月、彼はSimula言語の開発者が主催したノルウェーでの会議に出席しました。クヌースはバロウズにSimulaの使用を勧めました。[ 20 ] [ 21 ]クヌースは1960年から1968年まで、コンサルタントとしてバロウズの長年にわたる関係を築き、1969年にスタンフォード大学でより学術的な研究に転じました。[ 22 ] [ 23 ]

1962年、クヌースはアディソン・ウェズリー社からコンピュータプログラミング言語コンパイラに関する書籍の執筆依頼を受けました。このプロジェクトに取り組んでいる間、彼はまずコンピュータプログラミングの基礎理論を構築しなければこのテーマを適切に扱うことができないと判断し、それが『The Art of Computer Programming』となりました。当初は1冊の本として出版する予定でしたが、本のアウトラインを練っていくうちに、このテーマを徹底的に網羅するには6巻、そして7巻が必要であると結論づけました。そして1968年に第1巻を出版しました。[ 24 ]

『The Art of Computer Programming』第1巻を出版する直前に、クヌースはカリフォルニア工科大学を去り、当時プリンストンキャンパスにあった国防分析研究所の通信研究部門[ 25 ]に就職した。この部門では国家安全保障局を支援するために暗号に関する数学的研究が行われていた。

1967年、クヌースは応用数学協会（Society for Industrial and Applied Mathematics）の会議に出席した際、ある人から彼の職業について尋ねられました。当時、コンピュータサイエンスは数値解析、人工知能、そしてプログラミング言語の3つに分かれていました。クヌースは自身の研究と著書『The Art of Computer Programming 』に基づき、次に誰かに尋ねられたら「アルゴリズムの解析」と答えようと決意しました。[ 26 ]

1969年、クヌースはプリンストン大学を離れ、スタンフォード大学の教員となり、[ 27 ] 1977年にフレッチャー・ジョーンズ・コンピュータサイエンス教授に就任した。1990年にはコンピュータプログラミング芸術の教授となり、1993年からは名誉教授となっている。[ 28 ] [ 29 ]

著作

クヌースはコンピュータ科学者であると同時に作家でもある。[ 19 ]

コンピュータプログラミングの芸術（TAOCP）

「人間同士がコミュニケーションをとる最良の方法は、物語を通してです。」

— ドナルド・クヌース[ 26 ]

1970年代、クヌースはコンピュータサイエンスを「真のアイデンティティを持たない全く新しい分野だった。そして、入手可能な出版物の水準はそれほど高くなかった。発表された論文の多くは全く間違っていた。…だから、私の動機の一つは、非常に間違って伝えられてきた物語を正すことだった。」[ 30 ]

1972年から1973年にかけて、クヌースはオスロ大学でオーレ・ヨハン・ダールらと交流を深めました。当初彼はここで、プログラミング言語を扱ったシリーズ第7巻を執筆する予定でした。しかし、オスロに着任した時点でクヌースは最初の2巻しか書き終えていなかったため、その1年間は教職に就く傍ら第3巻の執筆に費やしました。第3巻は、1973年にスタンフォード大学に戻った直後に出版されました。[ 31 ]

『具体数学：コンピュータサイエンスの基礎』は、 TAoCP第1巻の数学的予備知識のセクションを拡張したものから始まりました。クヌースは、第1巻に必要な数学的ツールが自身のレパートリーに欠けていることに気づき、それらのツールをコンピュータサイエンスの学生に紹介するコースが有益であると判断しました。クヌースは1970年にスタンフォード大学でこのコースを導入しました。オーレン・パタシュニクが作成したコースノートは、ロナルド・グラハム、クヌース、パタシュニクの3名によって1988年に出版されました。 『具体数学』の第2版は1994年に出版されました。

2011年までにTAoCP第4A巻が出版された。[ 24 ] 2020年4月、クヌースはTAoCP第4巻には少なくともパートAからFが含まれると予想していると述べた。 [ 26 ]第4B巻は2022年10月に出版された。

その他の著作

クヌースは『超現実数』 [ 32 ]の著者でもあります。これは、ジョン・ホートン・コンウェイの集合論による代替数体系の構築を扱った数学短編小説です。本書は単に主題を説明するのではなく、数学の発展を示すことを目指しています。クヌースは、この本を通して学生が独創的で創造的な研究を行うための準備をしてほしいと考えていました

1995年、クヌースはマルコ・ペトコフシェク、ハーバート・ウィルフ、ドロン・ツァイルバーガー共著『A=B』の序文を執筆した。[ 33 ]また、彼はWord Ways: The Journal of Recreational Linguisticsに言語パズルを寄稿している。[ 34 ]

クヌースはレクリエーション数学に深く関わってきました。 1960年代から『レクリエーション数学ジャーナル』に論文を寄稿し、ジョセフ・マダチーの『休暇中の数学』にも主要な寄稿者として認められています。[ 35 ]

クヌース氏はYouTubeのNumberphile [ 36 ]やComputerphileの動画にも数多く出演し、超実数の書き方[ 37 ]から電子メールを使わない理由[ 38 ]までさまざまな話題について語っている。

クヌースはコンピュータサイエンスの分野をより良く表す名前として「アルゴリズム」という名前を提案した。 [ 39 ]

彼の宗教的信念に関する作品

ルーテル教徒のクヌース氏は、コンピュータサイエンスに関する著作に加え、[ 40 ]『3:16 Bible Texts Illuminated 』 [ 41 ]の著者でもある。この本では、体系的なサンプリング、すなわち各書の第3章第16節の分析によって聖書を検証している。各節には、ヘルマン・ツァップ氏が率いる書家グループによるカリグラフィーによる表現が添えられている。クヌース氏は、3:16プロジェクトの背景にある宗教とコンピュータサイエンスに関する見解について、MITで一連の講義を行うよう招かれ、その結果生まれた別の著書『Things a Computer Scientist Rarely Talks About』では、 「神とコンピュータサイエンス」という講義が出版されている。[ 42 ]

ソフトウェア特許に関する意見

クヌースは、自明であるべき自明な解決策にソフトウェア特許を付与することに強く反対しているが、線形計画法の内点法のような自明でない解決策については、より微妙な見解を示している。[ 43 ]彼は、米国特許商標庁と欧州特許機構の両方に直接反対の意向を表明している。[ 44 ] [ 45 ]

プログラミング

デジタル植字

1970年代、TAOCPの出版社はモノタイプを放棄し、写真植字を採用しました。クヌースは、写真植字システムが、古いシステムで植字された以前の書籍の品質に近づくことができないことに非常に不満を抱き、デジタル植字の開発に時間を割き、TeXとMetafontを作成しました。[ 46 ]

リテラシープログラミング

TeXの開発中に、クヌースはプログラマーがプログラムを文学作品として考えるべきだと信じていたため、文芸 的プログラミングと呼ばれる新しいプログラミング手法を生み出しました

私たちの主な仕事はコンピュータに何をすべきかを指示することであると考えるのではなく、むしろ、コンピュータに何をしてほしいかを人間に説明することに集中しましょう。[ 47 ]

クヌースは文芸的プログラミングの概念をWEBシステムに具体化しました。同じWEBソースコードからTeXファイルをWeiblingし、 PascalソースファイルをTangleします。これらはそれぞれ、プログラムの可読な記述と実行可能なバイナリを生成します。このシステムの後継バージョンであるCWEBは、PascalをC、C++、Javaに置き換えました。[ 48 ]

KnuthはWEBを使ってTeXとMETAFONTをプログラミングし、両方のプログラムを書籍として出版した。両方とも元々は同じ年に出版された。TeX : The Program（1986年）とMETAFONT: The Program（1986年）。[ 49 ] 同じ頃、現在では広く採用されているTeXベースのマクロパッケージであるLaTeXがLeslie Lamportによって最初に開発され、後に1986年に最初のユーザーマニュアルが出版された。[ 50 ]

私生活

ドナルド・クヌースは、カリフォルニア工科大学の大学院生だった1961年6月24日にナンシー・ジル・カーターと結婚しました。二人の間には、ジョン・マーティン・クヌースとジェニファー・シエラ・クヌースの2人の子供がいます。[ 51 ]

クヌースはスタンフォード大学で年に数回、「コンピュータ・ミュージング」と題した非公式の講義を行っている。 2017年まで英国のオックスフォード大学コンピュータサイエンス学部の客員教授を務め、マグダレン・カレッジの名誉フェローでもあった。[ 52 ] [ 53 ]

クヌースはオルガニスト兼作曲家である。彼と彼の父親はルーテル派の教会でオルガニストを務めていた。クヌースと彼の妻は自宅に16段のオルガンを所有している。[ 54 ] 2016年にはオルガン曲『ファンタジア・アポカリプティカ』を完成させた。彼はこれを「聖ヨハネの黙示録のギリシャ語テキストを音楽に翻訳したもの」と呼んでいる。この作品は2018年1月10日にスウェーデンで初演された。[ 55 ]

中国名

クヌースの中国語名はガオ・デナ（簡体字：高德纳、繁体字：高德納、ピンイン：Gāo Dénà ）です。 1977年に中国への3週間の旅行の直前にフランシス・ヤオによってこの名前が付けられた[ 56 ] [ 3 ] 。 [ 3 ] [ 57 ] 1980 年の『 The Art of Computer Programming』第 1 巻の中国語翻訳(簡体字中国語:计算机程序设计艺术;繁体字中国語:計算機程式設計藝術;ピンイン: Jìsuànjī chéngxù shèjì yìshù ) で、クヌースは自分が次のことを受け入れたと説明している。彼の中国語名は、当時中国で増加していたコンピュータープログラマーに彼を知ってもらいたかったからです。 1989年、彼の中国語名は『Journal of Computer Science and Technology 』の見出しの上に掲載され、クヌースは「皆さんの言語を話せなくても、すべての中国人を身近に感じることができる」と述べている。[ 57 ]

ユーモア

クヌースの報奨小切手の一つ

クヌースは、著書に誤植や間違いが見つかった場合、発見者に対して2.56ドルの手数料を支払っていました。これは「256ペニーは16進法のドル」であるためです。また、「貴重な提案」には0.32ドルを支払っていました。マサチューセッツ工科大学のテクノロジーレビューの記事によると、これらのクヌースの報奨小切手は「コンピュータ界で最も貴重なトロフィーの一つ」だそうです。クヌースは2008年に銀行詐欺のため実際の小切手の送付を停止せざるを得なくなり、現在は誤りを発見した人それぞれに、架空の銀行「サンセリフ銀行」の公開残高から「預金証書」を渡しています。[ 58 ]

彼はかつて通信員に「上記のコードにはバグがあるので注意してください。私はそれが正しいと証明しただけで、試したわけではありません。」と警告したことがある。[ 3 ]

クヌースは1957年、学校雑誌に「度量衡のポトシェビエ体系」という題名で最初の「科学的」論文を発表した。この論文の中で、彼は長さの基本単位をマッド26号の厚さと定義し、力の基本単位を「心配するもの（whatmeworry）」と名付けた。マッド誌はこの記事を第33号（1957年6月）に掲載した。[ 59 ] [ 60 ]

再帰の概念を説明するために、Knuth は『The Art of Computer Programming』第 1 巻の索引で「循環定義」と「循環定義」を意図的に相互に参照しています。

『具体的数学』 の序文には次のような一節がある。

DEKがスタンフォード大学で初めて「具体数学」を教えたとき、彼はそのやや奇妙なタイトルについて、ソフトではなくハードな数学を教えようとしたためだと説明した。同僚たちの予想に反して、彼は「集合体理論」も「ストーンの埋め込み定理」も「ストーン＝チェフのコンパクト化」さえも教えないと発表した。（土木工学科の学生数名が立ち上がり、静かに教室を出て行った。）

2010年のTUG会議で、クヌースはTeXの風刺的なXMLベースの後継言語「iTeX」（ベルを鳴らしながら発音される[iː˨˩˦tɛks˧˥⸨bell⸩] ）を発表した。これは、任意のスケールの無理数単位、 3D印刷、地震計や心拍モニターからの入力、アニメーション、ステレオサウンドなどの機能をサポートする。[ 61 ] [ 62 ] [ 63 ]

受賞と栄誉

1971年、クヌースは第1回ACMグレース・マレー・ホッパー賞を受賞しました。[ 4 ]チューリング賞、アメリカ国家科学賞、フォン・ノイマン賞、京都賞など、様々な賞を受賞しています。[ 4 ]

クヌースはコンピュータサイエンス分野への貢献が認められ、1980年に英国コンピュータ協会（DFBCS）の著名フェローに選出されました。[ 64 ]

1990 年に、彼は唯一無二の学術的称号である「コンピュータ プログラミング芸術の教授」を授与されました。この称号はその後、「コンピュータ プログラミング芸術の名誉教授」に改訂されました。

クヌースは1975年に米国科学アカデミーに選出されました。また、1981年には、コンピュータサイエンスの広範な分野を体系化し、コンピューティングコミュニティのあらゆる層がアクセスできるようにした功績により、米国工学アカデミーの会員にも選出されました。1992年にはフランス科学アカデミーの準会員となりました。同年、スタンフォード大学での研究と教育活動から退き、『The Art of Computer Programming』の完成を目指しました。2003年には王立協会の外国人会員に選出されました。[ 1 ]

クヌースは数学への多大な貢献により、2009年に産業応用数学協会のフェロー（第一期フェロー）に選出されました。 [ 65 ]彼はノルウェー科学文学アカデミーの会員です。[ 66 ] 2012年に、彼はアメリカ数学会のフェローになりました[ 67 ]そしてアメリカ哲学会の会員になりました[ 68 ]。その他の賞と栄誉は次のとおりです。

出版物

彼の出版物の一部は以下のとおりです。[ 83 ]

コンピュータプログラミングの芸術：

  1. ——— (1997). 『コンピュータプログラミングの芸術』第1巻：基礎アルゴリズム（第3版）. Addison-Wesley Professional. ISBN 978-0-201-89683-1.
  2. ——— (1997).コンピュータプログラミングの技法第2巻：半数値アルゴリズム（第3版）. Addison-Wesley Professional. ISBN 978-0-201-89684-8.
  3. ——— (1998).コンピュータプログラミングの芸術第3巻：ソートと検索（第2版）. Addison-Wesley Professional. ISBN 978-0-201-89685-5.
  4. ——— (2011).コンピュータプログラミングの芸術. 第4A巻: 組み合わせアルゴリズム、パート1. Addison-Wesley Professional. ISBN 978-0-201-03804-0.
  5. ——— (2022).コンピュータプログラミングの芸術. 第4巻B: 組み合わせアルゴリズム、パート2. Addison-Wesley Professional. ISBN 978-0-201-03806-4.
  6. ——— (2005). MMIX—新世紀のためのRISCコンピュータ. 第1巻, 冊子1. ピアソン・エデュケーション. ISBN 978-0-201-85392-6.
  7. ——— (2008). 『コンピュータプログラミングの芸術』第4巻、第0部：組み合わせアルゴリズムとブール関数入門。Addison-Wesley. ISBN 978-0-321-53496-5.
  8. ——— (2009).コンピュータプログラミングの芸術. 第4巻, 冊子1: ビットごとのトリックとテクニック、二分決定図. Addison-Wesley. ISBN 978-0-321-58050-4.
  9. ——— (2005).コンピュータプログラミングの芸術. 第4巻, 冊子2: すべてのタプルと順列の生成. Addison-Wesley. ISBN 978-0-201-85393-3.
  10. ——— (2005).コンピュータプログラミングの芸術. 第4巻, 冊子3: すべての組み合わせと分割の生成. Addison-Wesley. ISBN 978-0-201-85394-0.
  11. ——— (2006).コンピュータプログラミングの芸術. 第4巻, 冊子4: すべての木の生成—組合せ生成の歴史. Addison-Wesley. ISBN 978-0-321-33570-8.
  12. ——— (2018).コンピュータプログラミングの芸術. 第4巻, 冊子5: 数学的準備の再考, バックトラッキング, ダンシングリンク. Addison-Wesley. ISBN 978-0-134-67179-6.
  13. ——— (2015).コンピュータプログラミングの芸術. 第4巻, 冊子6: 充足可能性. Addison-Wesley. ISBN 978-0-134-39760-3.
  14. ——— (2025).コンピュータプログラミングの芸術. 第4巻, 冊子7: 制約充足. Addison-Wesley. ISBN 978-0-135-32824-8.

コンピュータとタイプセッティング（特に記載がない限り、すべての書籍はハードカバーです）

  1. ——— (1984). Computers & Typesetting . Vol. A, The TeXbook. Reading, MA : Addison-Wesley. ISBN 978-0-201-13447-6.、483ページ
  2. ——— (1984). Computers & Typesetting . Vol. A, The TeXbook. Reading, MA : Addison-Wesley. ISBN 978-0-201-13448-3.（ソフトカバー）
  3. ——— (1986). Computers & Typesetting . Vol. B, TeX: The Program. Reading, MA : Addison-Wesley. ISBN 978-0-201-13437-7.、xviii+600ページ
  4. ——— (1986). Computers & Typesetting . Vol. C, The METAFONTbook. Reading, MA : Addison-Wesley. ISBN 978-0-201-13445-2.、xii+361ページ
  5. ——— (1986). Computers & Typesetting . Vol. C, The METAFONTbook. Reading, MA : Addison-Wesley. ISBN 978-0-201-13444-5.（ソフトカバー）
  6. ——— (1986). Computers & Typesetting . Vol. D, METAFONT: The Program. Reading, MA : Addison-Wesley. ISBN 978-0-201-13438-4.、xviii+566ページ
  7. ——— (1986). Computers & Typesetting . Vol. E, Computer Modern Typefaces. Reading, MA : Addison-Wesley. ISBN 978-0-201-13446-9.、xvi+588ページ
  8. ——— (2000). Computers & Typesetting . Vol. AE Boxed Set. Reading, MA : Addison-Wesley. ISBN 978-0-201-73416-4.

論文集

  1. ——— (1992).リテラシープログラミング. 講義ノート. スタンフォード、カリフォルニア州：言語情報研究センター—CSLI. ISBN 978-0-937073-80-3.[ 84 ]
  2. ——— (1996).コンピュータサイエンスに関する選集. 講義ノート. スタンフォード、カリフォルニア州：言語情報研究センター—CSLI. ISBN 978-1-881526-91-9.[ 85 ]
  3. ——— (1999).デジタルタイポグラフィ. 講義ノート. スタンフォード、カリフォルニア州：言語情報研究センター—CSLI. ISBN 978-1-57586-010-7.[ 86 ]
  4. ——— (2000).アルゴリズム分析に関する選集. 講義ノート. スタンフォード大学言語情報研究センター (CSLI). ISBN 978-1-57586-212-5.[ 87 ]
  5. ——— (2003).コンピュータ言語に関する選集. 講義ノート. スタンフォード、カリフォルニア州：言語情報研究センター—CSLI. ISBN 978-1-57586-381-8.、ISBN 1-57586-382-0（ペーパーバック）[ 88 ]
  6. ——— (2003).離散数学に関する選集. 講義ノート. スタンフォード大学言語情報研究センター (CSLI). ISBN 978-1-57586-249-1.、ISBN 1-57586-248-4（ペーパーバック）[ 89 ]
  7. ドナルド・E・クヌース著『アルゴリズムの設計に関する選集』（カリフォルニア州スタンフォード大学：言語情報研究センター—CSLI講義ノート、第191号）、2010年。ISBN 1-57586-583-1（布張り）、ISBN 1-57586-582-3（ペーパーバック）[ 90 ]
  8. ドナルド・E・クヌース著『楽しさとゲームに関する選集』（スタンフォード大学言語情報研究センター CSLI 講義ノート、第192号）、2011年。ISBN 978-1-57586-585-0（布張り）、ISBN 978-1-57586-584-3（ペーパーバック）[ 91 ]
  9. ドナルド・E・クヌース著『ドナルド・クヌース論文集』（スタンフォード大学言語情報研究センター CSLI 講義ノート、第202号）、2011年。ISBN 978-1-57586-635-2（布張り）、ISBN 978-1-57586-634-5（ペーパーバック）[ 92 ]

その他の書籍：

  1. グラハム、ロナルド・L、クヌース、ドナルド・E、パタシュニック、オーレン（1994年）。『具体的数学：コンピュータサイエンスの基礎』（第2版）。マサチューセッツ州レディング：アディソン・ウェスリー。ISBN 978-0-201-55802-9 MR  1397498 xiv+657ページ
  2. ドナルド・アービン・クヌース（1974年）『超実数：二人の元学生がどのように純粋数学に目覚め、完全な幸福を見つけたのか：数学的短編小説』アディソン・ウェズリー社、ISBN 978-0-201-03812-5.[ 32 ]
  3. ドナルド・E・クヌース著『スタンフォード・グラフベース：組み合わせ計算のためのプラットフォーム』（ニューヨーク、ACMプレス）1993年。ペーパーバック第2刷2009年。ISBN 0-321-60632-9
  4. ドナルド・E・クヌース著『聖書本文イルミネイテッド』（ウィスコンシン州マディソン：ARエディションズ）、1990年。ISBN 0-89579-252-4
  5. ドナルド・E・クヌース著『コンピュータ科学者が滅多に語らないこと』（言語情報研究センター CSLI講義ノート No.136）、2001年。ISBN 1-57586-326-X
  6. ドナルド・E・クヌース著『MMIXware：第三千年紀のためのRISCコンピュータ』（ハイデルベルク：シュプリンガー・フェアラーク—コンピュータサイエンス講義ノート、第1750号）、1999年。viii+550ページ。ISBN 978-3-540-66938-8
  7. ドナルド・E・クヌース、シルヴィオ・レヴィ著『CWEB構造化ドキュメンテーションシステム』（マサチューセッツ州レディング：アディソン・ウェスレー）、1993年。227ページ。ISBN 0-201-57569-82001年第3刷、ハイパーテキスト対応、ii+237ページ
  8. ドナルド・E・クヌース、トレイシー・L・ララビー、ポール・M・ロバーツ著『Mathematical Writing』（ワシントンD.C.：アメリカ数学協会）、1989年。ii+115ページISBN 978-0883850633
  9. ダニエル・H・グリーン、ドナルド・E・クヌース著『アルゴリズム解析のための数学』（ボストン：ビルクハウザー社）、1990年、viii+132頁、ISBN 978-0817647285
  10. ドナルド・E・クヌース著『厩舎の結婚：他の組み合わせ問題との関係』（モントリオール：モントリオール大学出版局）、1976年、106ページ、ISBN 978-0840503428
  11. ドナルド・E・クヌース著『安定結婚と他の組合せ問題との関係：アルゴリズムの数学的分析入門』ISBN 978-0821806036
  12. ドナルド・E・クヌース著『公理と包』（ハイデルベルク：シュプリンガー・フェアラーク—コンピュータサイエンス講義ノート、第606号）、1992年。9+109ページ。ISBN 3-540-55611-7

参照

参考文献

  1. ^ a b「ドナルド・クヌース教授 ForMemRS」ロンドン：王立協会。 2015年11月17日時点のオリジナルよりアーカイブ
  2. ^ a b c数学系譜プロジェクトのドナルド・クヌース
  3. ^ a b c d Knuth, Donald Ervin. 「よくある質問」ホームページスタンフォード大学2019年8月3日時点のオリジナルよりアーカイブ。2010年11月2日閲覧。
  4. ^ a b c d e f g h iウォルデン、デイヴィッド。「ドナルド・E・クヌース - AMチューリング賞受賞者」。2019年10月17日時点のオリジナルよりアーカイブ。 2022年12月14日閲覧。
  5. ^ Karp, Richard M. (1986年2月). 「組合せ論、複雑性、そしてランダム性」 Communications of the ACM . 29 (2): 98–109 . doi : 10.1145/5657.5658 .
  6. ^ O'Connor, John J.; Robertson, Edmund F. (2015年10月)、「Donald Knuth」、MacTutor History of Mathematics Archive、セントアンドリュース大学、 2021年7月2日閲覧。
  7. ^ a b c d e fファイゲンバウム、エドワード(2007). 「ドナルド・クヌースの口述歴史」(PDF) .コンピュータ歴史博物館. 2008年12月9日時点のオリジナルよりアーカイブ(PDF) . 2020年9月17日閲覧。
  8. ^モリー・ナイト・ラスキン（2013年）『No Better Time: The Brief, Remarkable Life of Danny Lewin--the Genius who Transformed the Internet』Da Capo Press, Incorporated. pp.  61– 62. ISBN 978-0-306-82166-0.
  9. ^広告、ミネアポリス・スター、1952年2月13日、59ページ
  10. ^シャシャ、デニス・エリオット、ラゼール、キャシー・A (1998). 『Out of their minds: the lives and discoveries of 15 great computer scientists』 シュプリンガー、p. 90. ISBN 978-0-387-98269-4.
  11. ^ドナルド・クヌース（2011年）『楽しさとゲームに関する選集』言語情報研究センター CSLI講義ノート、第192号、400ページ。ISBN 978-1-57586-584-3.
  12. ^ a b「ドナルド・E・クヌース」Encyclopedia.com。2020年9月17日閲覧
  13. ^ a b cコシー、トーマス (2004).離散数学とその応用. アカデミック・プレス. p. 244. ISBN 978-0-12-421180-3 2012年11月12日時点のオリジナルよりアーカイブ。2011年7月30日閲覧
  14. ^ Lyons, Keith (2018年9月25日). 「Donald Knuth, basketball and computers in sport」 . Clyde Street Archive . 2019年8月16日時点のオリジナルよりアーカイブ。 2019年8月16日閲覧。
  15. ^ 「シータ・カイのベータ・ヌー、ベータ・ヌー支部の歴史」CWRU。2016年9月4日時点のオリジナルよりアーカイブ。 2019年4月15日閲覧。
  16. ^ “Beta Nu, Theta Chi” . Theta Chi . 2019年12月21日時点のオリジナルよりアーカイブ。 2019年12月21日閲覧。
  17. ^ a bウェイコフ、リチャード. 「B5000とそこにいた人々についての物語」(PDF) .コンピュータ歴史博物館.
  18. ^クヌース、ドナルド・アービン (1963).有限半体と射影平面(PDF) (PhD).カリフォルニア工科大学.
  19. ^ a bドナルド・アービン・クヌース著「履歴書」スタンフォード大学。2019年8月3日時点のオリジナルよりアーカイブ。 2020年3月26日閲覧。
  20. ^ Dahl, Ole-Johan. 「オブジェクト指向の誕生：Simula言語」（PDF） .
  21. ^ 「伝記」 .
  22. ^ 「リチャード・ナンス氏へのインタビュー 2013」。
  23. ^ Dahl, Ole-Johan. 「オブジェクト指向の誕生：Simula言語」 .
  24. ^ a b Knuth, Donald Ervin (2019年8月3日). “The Art of Computer Programming (TAOCP)” . 2019年8月3日時点のオリジナルよりアーカイブ。2018年2月6日閲覧。
  25. ^ 「Institute for Defense Analyses」 . INFORMS . 2021年8月27日. 2024年1月8日閲覧。
  26. ^ a b c D'Agostino, Susan (2020年4月16日). 「物語を語り続けるコンピューター科学者」 . Quanta Magazine . 2020年4月19日閲覧。
  27. ^ 「タイムライン」 .スタンフォード大学のコンピューターサイエンス - スタンフォード大学のスポットライト. 2019年6月21日. 2024年1月8日閲覧。
  28. ^ Knuth, Donald Ervin. 「ホームページ」スタンフォード大学. 2019年11月27日時点のオリジナルよりアーカイブ。2005年3月16日閲覧。
  29. ^ 「ドナルド・クヌース」プロフィールスタンフォード大学. 2016年6月12日時点のオリジナルよりアーカイブ。 2020年8月24日閲覧。
  30. ^ 「BBVA Foundation Frontiers of Knowledge Awards」。2016年8月19日時点のオリジナルよりアーカイブ。2016年10月15日閲覧。
  31. ^ “Publikasjonen "Datahistorien ved Universitetet i Oslo - Institutt for informationatikk 1977 - 1997" utgitt" [出版物「オスロ大学のコンピュータの歴史 - 情報学部 1977 - 1997」を出版]。オスロ大学(ノルウェー語)。 1997年。2021年4月29日のオリジナルよりアーカイブ。2021 年4 月 29 日に取得。
  32. ^ a bドナルド・アービン・クヌース「超現実数」ホームページ。 2019年8月3日時点のオリジナルよりアーカイブ。 2020年3月26日閲覧。
  33. ^ Zeilberg. "DEK" . Rutgers. 2017年8月28日時点のオリジナルよりアーカイブ。 2020年3月26日閲覧。
  34. ^ “The Linguist List -- Journal Page” . linguistlist.org . 2021年6月11日時点のオリジナルよりアーカイブ。 2022年12月14日閲覧。
  35. ^マダチー、ジョセフ・S.、『休暇中の数学』、トーマス・ネルソン＆サンズ社、1966年
  36. ^ 「数字とその他に関するビデオ」Numberphile . 2018年11月4日時点のオリジナルよりアーカイブ。 2019年8月16日閲覧。
  37. ^ Numberphile (2016年6月27日)、Surreal Numbers (最初の本を執筆中) - Numberphile、2021年12月11日時点のオリジナルよりアーカイブ。 2019年7月19日閲覧。
  38. ^ Computerphile (2015年8月21日)、「なぜドン・クヌースは電子メールを使わないのか - Computerphile」、2018年7月11日時点のオリジナルよりアーカイブ、 2019年7月19日閲覧。
  39. ^バークホルダー、レスリー (1992). 『哲学とコンピュータ』 テイラー＆フランシス. ISBN 9780429301629.
  40. ^プラトーニ2006
  41. ^クヌース、ドナルド・アービン（1991年）3:16：『聖書テキストの解明』マディソン、ウィスコンシン州：AR編集。ISBN 978-0-89579-252-5.
  42. ^ドナルド・アービン・クヌース（2001年）『コンピュータ科学者がめったに語らないこと』スタンフォード大学（カリフォルニア州）：言語情報出版研究センター。ISBN 978-1-57586-326-9.
  43. ^ 「すべての質問に回答」（PDF）。AMSの通知（記事） 。2002年3月。2019年4月30日時点のオリジナルからアーカイブ（PDF） 。 2020年3月26日閲覧。
  44. ^ Knuth, Donald Ervin. 「ソフトウェア特許に反対」(PDF)。2015年9月24日時点のオリジナルよりアーカイブ。2020年2月1日閲覧。米国およびヨーロッパの特許庁への手紙。
  45. ^ 「1994年2月、ワシントンD.C.特許商標局長宛の書簡」 MIT CSAIL 2025年9月9日閲覧。
  46. ^ Knuth, Donald Erwin (1997). 「デジタルタイポグラフィ（京都賞講演、1996年）」(PDF) . 2018年1月27日時点のオリジナル(PDF)からアーカイブ。
  47. ^ Knuth, Donald Erwin (1984). 「リテレートプログラミング」(PDF) . 2019年8月19日時点のオリジナル(PDF)からアーカイブ。 2020年3月26日閲覧。
  48. ^ 「KnuthとLevy：CWEB」。
  49. ^ Knuth, Donald (2019年4月11日). 「Knuth: Computers and Typesetting」 . www-cs-faculty.stanford.edu . 2019年4月11日時点のオリジナルよりアーカイブ。2019年7月19日閲覧。
  50. ^ランポート、レスリー（1986年）『LATEX：文書作成システム』アディソン・ウェズリー出版ISBN 020115790X OCLC  12550262
  51. ^ O'Connor, JJ; Robertson, EF (2015). 「Donald Ervin Knuth」 .セントアンドリュース大学. 2017年10月5日時点のオリジナルよりアーカイブ。2017年10月20日閲覧
  52. ^ 「ドナルド・クヌース教授」マグダレン・カレッジ. 2011年1月4日時点のオリジナルよりアーカイブ。 2010年12月6日閲覧。
  53. ^ 「Notices」 . Oxford University Gazette . 2014年10月30日. 2015年5月15日時点のオリジナルよりアーカイブ。2015年5月21日閲覧。
  54. ^ 「The Organ of Don and Jill Knuth」 。 2023年1月11日閲覧。Stanford.edu経由。
  55. ^ de Groot, Martin (2018年11月3日). 「芸術と文化：博学者がパイプオルガンのためのマルチメディア作品でその才能を発揮」 . Waterloo Region Record .
  56. ^ Reutenauer, Arthur. 「TeXの簡潔な歴史、第2巻」TUGboat : 68–72 . ISSN 0896-3207 . 
  57. ^ a b Knuth, Donald Ervin (1980).コンピュータプログラミング技法(Ji suan ji cheng xu she ji ji qiao) [ The Art of Computer Programming ]. 翻訳: Guan, JiWen; Su, Yunlin. 北京: Defense Industry Publishing Co.私は心から、1977 年に貴国を訪問する直前に Francis Yao からいただいた私の中国名 Gao Dena を、多くの中国のコンピュータ プログラマーが認識してくれるよう願っています。あの 3 週間の訪問は今でもとても懐かしい思い出ですし、1989 年以来 Journal of Computer Science and Technologyの社説に Gao Dena の名前が載っているのを見て嬉しく思っています。この名前のおかげで、私は貴国の言語は話せませんが、すべての中国人を身近に感じています。
  58. ^ 「聖書を0と1で書き換える」テクノロジーレビュー。2022年7月9日時点のオリジナルよりアーカイブ。
  59. ^ Knuth, Donald Ervin (1957年6月). 「The Potrzebie System of Weights & Measures」 . Mad Magazine . No. 33. 2018年11月6日時点のオリジナルよりアーカイブ。2020年3月26日閲覧。
  60. ^キダー、トレイシー（2016年）『お金がいっぱいのトラック』ランダムハウス、68ページ。ISBN 9780812995244.
  61. ^ Knuth, Don (2010). 「TUG 2010」（カンファレンスパネルビデオ）. Zeeba TV. 2016年3月25日時点のオリジナルよりアーカイブ。2020年3月26日閲覧
  62. ^クヌース、ドナルド・アービン、「地球を揺るがす発表（ビデオ録画）」、Zeeba TV
  63. ^ Knuth, Donald Ervin (2010). 「An Earthshaking Announcement」（PDF） . TUGboat . 31 (2): 121–24 . ISSN 0896-3207 . 2019年4月13日時点のオリジナルよりアーカイブ（PDF） . 2020年3月26日閲覧。 
  64. ^ Anon (2016). 「Roll of Distinguished Fellows」 . 英国コンピュータ協会. 2016年3月4日時点のオリジナルよりアーカイブ。 2014年9月10日閲覧。
  65. ^ 「Fellows」 . サイアム. 2009年. 2019年4月21日時点のオリジナルよりアーカイブ。2020年3月26日閲覧。
  66. ^ “Gruppe 1: Matematiske fag” (ノルウェー語).ノルウェー科学文学アカデミー. 2013年11月10日時点のオリジナルよりアーカイブ。 2010年10月7日閲覧。
  67. ^ 「アメリカ数学会フェロー」 . 2022年12月14日閲覧。
  68. ^ 「APS会員履歴」 . search.amphilsoc.org . 2021年3月19日閲覧。
  69. ^ Knuth, DE (1974). 「コンピュータサイエンスと数学との関係」 . Amer. Math. Monthly . 81 (4): 323– 343. doi : 10.2307/2318994 . JSTOR 2318994. 2019年2月20日時点のオリジナルよりアーカイブ。2020年3月26日閲覧。 
  70. ^ Knuth, DE (1992). 「記法に関する2つの注意点」 . Amer . Math. Monthly . 99 (5): 403– 422. arXiv : math/9205211 . Bibcode : 1992math......5211K . doi : 10.2307/2325085 . JSTOR 2325085. S2CID 119584305. 2019年2月20日時点のオリジナルよりアーカイブ。2020年3月26日閲覧。  
  71. ^ 「ジョサイア・ウィラード・ギブス講演」アメリカ数学会。2016年10月7日時点のオリジナルよりアーカイブ。 2016年10月15日閲覧。
  72. ^ Knuth, Donald E. (1979). 「数学タイポグラフィ」(PDF) . Bull. Amer. Math. Soc. (NS) . 1 (2): 337– 372. doi : 10.1090/s0273-0979-1979-14598-1 . MR 0520078. 2015年9月28日時点のオリジナルよりアーカイブ(PDF) . 2022年6月1日閲覧。 
  73. ^ “大統領国家科学賞：受賞者詳細 - NSF - 全米科学財団” . www.nsf.gov . 2018年11月23日時点のオリジナルよりアーカイブ。 2020年3月26日閲覧。
  74. ^ 「アメリカ功績アカデミーのゴールデンプレート受賞者」 www.achievement.org .アメリカ功績アカデミー.
  75. ^ "Harvey" . IL :Technion. 1995年. 2011年7月21日時点のオリジナルよりアーカイブ。
  76. ^ 「Donald Knuth: 1998 Fellow」コンピュータ歴史博物館2015年. 2018年3月13日時点のオリジナルよりアーカイブ。 2018年3月12日閲覧。
  77. ^ “21656 Knuth (1999 PX1)” .小惑星センター. 2016年5月8日時点のオリジナルよりアーカイブ。 2019年2月23日閲覧。
  78. ^ 「MPC/MPO/MPSアーカイブ」 .小惑星センター. 2019年3月5日時点のオリジナルよりアーカイブ。 2019年2月23日閲覧。
  79. ^ “Katayanagi” . CMU. 2019年6月15日時点のオリジナルよりアーカイブ。2020年1月6日閲覧。
  80. ^ Galardonados (2010). "Fronteras" (スペイン語). ES : FBBVA. 2016年8月19日時点のオリジナルよりアーカイブ。
  81. ^マイヤーズ、アンドリュー（2001年6月1日）「スタンフォード大学のドン・クヌース、コンピュータプログラミングの先駆的ヒーロー」スタンフォード・レポート。2011年6月23日時点のオリジナルよりアーカイブ。2011年6月27日閲覧。
  82. ^ドナルド・クヌース「フィリップが愛したであろう問題」（PDF）スタンフォード大学。2018年3月16日時点のオリジナルよりアーカイブ（PDF） 。 2022年3月23日閲覧。
  83. ^ Knuth, Donald Ervin. 「書籍」ホームページ（リスト）. 2019年8月3日時点のオリジナルよりアーカイブ。 2020年3月26日閲覧。
  84. ^ Knuth, Donald Ervin. 「リテレートプログラミング」ホームページ. 2019年8月3日時点のオリジナルよりアーカイブ。 2020年3月26日閲覧。
  85. ^ Knuth, Donald Ervin. 「Selected Papers on Computer Science」ホームページ. 2019年8月3日時点のオリジナルよりアーカイブ。2020年3月26日閲覧。
  86. ^ Knuth, Donald Ervin (1983). 「デジタルタイポグラフィ」 . Scientific American . 249 (2): 106– 119. Bibcode : 1983SciAm.249b.106B . doi : 10.1038/scientificamerican0883-106 . 2019年5月5日時点のオリジナルよりアーカイブ。 2020年3月26日閲覧。
  87. ^ Knuth, Donald Ervin. 「Selected Papers on Analysis of Algorithms」ホームページ. 2019年8月3日時点のオリジナルよりアーカイブ。2020年3月26日閲覧。
  88. ^ Knuth, Donald Ervin. 「Selected Papers on Computer Languages」ホームページ. 2019年8月3日時点のオリジナルよりアーカイブ。2020年3月26日閲覧。
  89. ^ Knuth, Donald Ervin. 「Selected Papers on Discrete Mathematics」ホームページ. 2019年8月3日時点のオリジナルよりアーカイブ。 2020年3月26日閲覧。
  90. ^ Knuth, Donald Ervin. 「アルゴリズムの設計に関する選集」ホームページ. 2019年8月3日時点のオリジナルよりアーカイブ。2020年3月26日閲覧。
  91. ^ドナルド・アービン・クヌース著「Selected Papers on Fun and Games」ホームページ。2019年8月3日時点のオリジナルよりアーカイブ。2020年3月26日閲覧。
  92. ^ドナルド・アービン・クヌース著「ドナルド・クヌースの論文集」ホームページ。2019年8月3日時点のオリジナルよりアーカイブ。2020年3月26日閲覧。

参考文献

「 https://en.wikipedia.org/w/index.php?title=Donald_Knuth&oldid=1334543192」より引用