ドナルド・クヌース | |
|---|---|
2011年のクヌース | |
| 生まれる | ドナルド・アーヴィン・クヌース 1938年1月10日 |
| 教育 | |
| 知られている | |
| 配偶者 | ナンシー・ジル・カーター |
| 子供たち | 2 |
| 受賞歴 | リストを見る
|
| 科学者としてのキャリア | |
| フィールド | |
| 機関 | スタンフォード大学 オスロ大学 |
| 論文 | 有限半体と射影平面 (1963) |
| 博士課程の指導教員 | マーシャル・ホール・ジュニア[2] |
| 博士課程の学生 | |
| Webサイト | cs.stanford.edu/~knuth |
ドナルド・アーヴィン・クヌース(/ k ə ˈ n uː θ / [3] kə- NOOTH ; 1938年1月10日生まれ)は、アメリカのコンピュータ科学者、数学者。スタンフォード大学名誉教授。1974年にACMチューリング賞を受賞。非公式にはコンピュータサイエンスのノーベル賞とみなされている。 [4]クヌースは「アルゴリズム分析の父」と呼ばれている。[5]
クヌースは、複数巻からなる著書『The Art of Computer Programming』の著者です。アルゴリズムの計算複雑性の厳密な分析の開発に貢献し、そのための形式的な数学的手法を体系化しました。その過程で、漸近記法も普及させました。理論計算機科学のいくつかの分野に基礎的な貢献をしたほか、クヌースは、 TeX計算機タイプセッティング システム、関連するMETAFONTフォント定義言語およびレンダリング システム、Computer Modern書体ファミリーの考案者でもあります。
作家および学者として、クヌースは文芸的プログラミングを奨励および促進するために設計されたWEBおよびCWEBコンピュータプログラミングシステムを作成し、MIX / MMIX命令セットアーキテクチャを設計しました。彼はソフトウェア特許の付与に強く反対しており、米国特許商標庁および欧州特許機構に意見を表明しています。
バイオグラフィー
若いころ
ドナルド・クヌースはウィスコンシン州ミルウォーキーで、アーヴィン・ヘンリー・クヌースとルイーズ・マリー・ボーニングの息子として生まれた。 [6]彼は自分のルーツを「中西部ルーテル派ドイツ人」と表現している。[7]彼の父親は小さな印刷会社を経営し、簿記を教えていた。[8]ミルウォーキー・ルーテル 高校の学生時代、クヌースは問題を解決する独創的な方法を考えた。例えば、8年生のとき、彼は「ジーグラーの巨大な棒」の文字を並べ替えると何語できるかを見つけるコンテストに参加した。審査員はそのような単語を2,500語特定していた。偽の腹痛で学校を休んだ時間を利用して、クヌースは大辞典を使用し、辞書の各項目がフレーズの文字を使用して作成できるかどうかを判断した。このアルゴリズムを使用して、彼は4,500語を超える単語を特定し、コンテストで優勝した。[7] : 3 賞品として、学校は新しいテレビと、同級生全員が食べられるだけの量のキャンディーバーを受け取りました。[9] [10]
教育
クヌースはオハイオ州クリーブランドのケース工科大学(現在はケース・ウェスタン・リザーブ大学の一部)に物理学の奨学金を得て1956年に入学した。 [11]彼はまた、シータ・カイ友愛会のベータ・ヌー支部にも参加した。ケースで物理学を学んでいる間、クヌースは初期の商用コンピュータであるIBM 650を紹介された。コンピュータのマニュアルを読んだ後、クヌースは学校で使用されていたマシンのアセンブリコードとコンパイラコードを書き直すことを決意した。自分ならもっとうまくできると思ったからだ。[12]
1958年、クヌースは学校のバスケットボールチームが試合に勝つためのプログラムを作成した。[13]彼は選手に「値」を割り当て、得点の確率を測った。この斬新なアプローチは後にニューズウィーク誌とCBSイブニングニュースで報道された。[12]
クヌースはケース研究所のエンジニアリング・アンド・サイエンス・レビューの創刊編集者の一人で、同誌は1959年に最優秀技術雑誌として全国賞を受賞した。[14] [15]その後物理学から数学に転向し、1960年にケースから2つの学位を取得した。[11]理学士号と、彼の研究が非常に優れているとみなされた教授陣の特別賞による理学修士号を同時に取得した。[4] [12]
1960年、ケース大学4年生の終わりに、クヌースはバローズ社にB205用のALGOLコンパイラを5,500ドルで書くことを提案した。この提案は受け入れられ、彼はケース大学を卒業してからカリフォルニア工科大学に行くまでの間、ALGOLコンパイラの開発に取り組んだ。[7] : 66 [16] : 7
1963年、数学者マーシャル・ホールを指導教員として[2]、カリフォルニア工科大学で「有限半体と射影平面」と題する論文で数学の博士号を取得した[17]。
初期の作品
1963年、博士号を取得した後、クヌースはカリフォルニア工科大学の助教授として加わった。[18]
カリフォルニア工科大学在学中、バロウズ B205 ALGOL コンパイラの成功後、彼はバロウズ社の製品企画部門にコンサルタントとして加わった。カリフォルニア工科大学では数学者として働いていたが、バロウズではプログラマーとして、当時 B220 コンピュータ (B205 の後継機) 用の ALGOL コンパイラで最良のソフトウェアを書いたと彼が考える人々と共に働いていた。[7] : 9
彼はグリーンツリー社でコンパイラを書く10万ドルの契約をオファーされたが、収入を最大化できないと判断して断り、カリフォルニア工科大学とバロウズ大学で働き続けた。彼は全米科学財団フェローシップとウッドロー・ウィルソン財団フェローシップを受け取ったが、大学院生として研究する以外は何もできないという条件が付いていたため、バロウズのコンサルタントとして働き続けることはできなかった。彼はフェローシップを断り、バロウズ大学で働き続けた。[7] : 12 1962年夏、彼はユニバック社向けにFORTRANコンパイラを書いたが、FORTRANコンパイラを書くために「悪魔に魂を売った」と考えていた。[7] : 15
卒業後、クヌースは 1961 年 6 月にバロウズに戻ったが、期待されていた学士号ではなく修士号を取得して卒業したことを告げなかった。ALGOL の構文チャート、シンボル テーブル、再帰降下法、およびコンパイラのスキャン、解析、出力の各機能の分離に感銘を受けたクヌースは、1 つのシンボルがシンボルの文字列を表すことができるようにシンボル テーブルを拡張することを提案した。これがバロウズ ALGOL の DEFINE の基礎となり、その後他の言語にも採用された。しかし、このアイデアを非常に嫌う人もおり、DEFINE を削除したいと考えた。このアイデアがひどいものだと考えた最後の人物は、バロウズを訪問したエドガー ダイクストラだった。 [16] : 17
クヌースはバロウズでシミュレーション言語に取り組み、J.マクニーリーと共同設計した最先端の改良版であるSOL「シミュレーション指向言語」を開発した。彼は1967年5月にノルウェーでSimula言語を発明した人々が主催した会議に出席した。クヌースはバロウズにSimulaの使用を勧めた。[19] [20] クヌースは1960年から1968年までコンサルタントとしてバロウズと長い付き合いがあり、1969年にスタンフォードでより学術的な仕事に移った。[21] [22]
1962年、クヌースはアディソン・ウェズレー社からコンピュータプログラミング言語 コンパイラに関する本の執筆を依頼された。このプロジェクトに取り組んでいる間、彼はコンピュータプログラミングの基礎理論を最初に構築しなければこのテーマを適切に扱うことはできないと判断し、それが『The Art of Computer Programming』となった。彼は当初これを1冊の本として出版する予定だったが、本のアウトラインを練っていくうちに、このテーマを徹底的にカバーするには6巻、さらに7巻が必要だという結論に達した。彼は1968年に第1巻を出版した。[23]
『The Art of Computer Programming』第1巻を出版する直前に、クヌースはカリフォルニア工科大学を去り、当時プリンストンキャンパスにあった国防分析研究所の通信研究部門[24]に就職した。この部門では国家安全保障局を支援するために暗号に関する数学的研究を行っていた。
1967年、クヌースは応用数学協会の会議に出席し、ある人が彼の職業について尋ねました。当時、コンピュータサイエンスは数値解析、人工知能、プログラミング言語に分かれていました。クヌースは自身の研究と『The Art of Computer Programming 』という本に基づいて、次に誰かに尋ねられたら「アルゴリズムの分析」と答えようと決めました。[25]
1969年、クヌースはプリンストン大学を離れ、スタンフォード大学の教授に就任し、[26] 1977年にフレッチャー・ジョーンズ計算機科学教授に就任した。1990年にコンピュータプログラミング芸術教授となり、1993年から名誉教授となっている。[27] [28]
著作
クヌースはコンピュータ科学者であると同時に作家でもある。[18]
コンピュータプログラミングの芸術(タオCP)
「人間同士がコミュニケーションをとる最良の方法は、物語を通してです。」
— ドナルド・クヌース[25]
1970年代、クヌースはコンピュータサイエンスを「本当のアイデンティティを持たないまったく新しい分野」と呼び、「入手可能な出版物の水準はそれほど高くなかった。発表された論文の多くはまったく間違っていた。…だから、私の動機の1つは、非常にひどく伝えられてきた物語を正すことだった」と述べている。[29]
1972年から1973年にかけて、クヌースはオスロ大学でオーレ・ヨハン・ダールなどの人々と過ごした。彼はもともとこの場所でプログラミング言語を扱うシリーズの第7巻を執筆するつもりだった。しかし、オスロに着いたときには最初の2巻しか書き終わっていなかったクヌースは、教職の傍らでその1年を第3巻の執筆に費やした。第3巻は、1973年にスタンフォードに戻った直後に出版された。[30]
具体数学: コンピュータサイエンスの基礎は、 TAoCPの第 1 巻の数学的な予備セクションを拡張したものから始まりました。Knuth は、第 1 巻に必要な数学ツールが自分のレパートリーにないことに気づき、それらのツールをコンピュータサイエンスの学生に紹介するコースが役立つと判断しました。Knuth は 1970 年にスタンフォードでこのコースを導入しました。Oren Patashnikによって開発されたコースノートから、 Ronald Graham 、Knuth、および Patashnikが執筆した 1988 年のテキストが生まれました。Concrete Mathematicsの第 2 版は1994 年に出版されました。
2011年までに、 TAoCPの第4A巻が出版されました。[23] 2020年4月、クヌースはTAoCPの第4巻には少なくともパートAからFが含まれると予想していると述べました。 [25]第4B巻は2022年10月に出版されました。
その他の作品
クヌースは、ジョン・ホートン・コンウェイの集合論による代替数体系の構築を扱った数学短編小説『超現実数』 [31]の著者でもある。この本は、単に主題を説明するのではなく、数学の発展を示すことを目指している。クヌースは、この本が学生たちに独創的で創造的な研究を行う準備をさせるものであってほしいと考えた。
1995年、クヌースはマルコ・ペトコフシェク、ハーバート・ウィルフ、ドロン・ツァイルバーガーの共著『 A=B』の序文を執筆した。[32]また、彼は時折『Word Ways: The Journal of Recreational Linguistics』に言語パズルを寄稿している。[33]
クヌースはレクリエーション数学に深く関わってきました。1960年代からレクリエーション数学ジャーナルに記事を寄稿し、ジョセフ・マダチーの休暇中の数学の主要な寄稿者として認められました。[34]
クヌース氏はYouTubeのNumberphile [35]やComputerphileの動画にも数多く出演し、超実数[36]の書き方から電子メールを使わない理由[37]までさまざまな話題について議論している。
クヌースはコンピュータサイエンスの分野をより適切に表す名前として「アルゴリズム」という名前を提案した。 [38]
宗教的信念に関する作品
ルーテル教徒のクヌース氏は、コンピュータサイエンスに関する著作のほかに、[ 39] 「3:16 Bible Texts Illuminated」[40]の著者でもある。同著では、聖書を体系的なサンプリングのプロセス、つまり各書の第3章第16節の分析によって検証している。各節には、ヘルマン・ツァップ氏が率いる書道家グループによる書道アートの表現が添えられている。クヌース氏は、3:16プロジェクトの背景にある宗教とコンピュータサイエンスに関する見解についてMITで一連の講義を行うよう招かれ、その結果生まれた別の著書「Things a Computer Scientist Rarely Talks About 」では、 「神とコンピュータサイエンス」という講義を出版している。[41]
ソフトウェア特許に関する意見
クヌースは、自明であるべき些細な解決策にソフトウェア特許を与えることに強く反対しているが、線形計画法の内点法のような自明でない解決策については、より微妙な見解を示している。[42]彼は、米国特許商標庁と欧州特許機構の両方に直接反対を表明している。[43]
プログラミング
デジタル組版
1970年代、TAOCPの出版社はモノタイプを捨てて写真植字を採用した。クヌースは、写真植字のシステムが、古いシステムで植字された以前の書籍の品質に近づくことができないことに非常に不満を抱き、デジタル植字に取り組むために時間を割き、TeXとMetafontを作成した。[44]
リテラルプログラミング
TeX を開発している間、Knuth はプログラマーがプログラムを文学作品として考えるべきだと信じていたため、 リテラル プログラミングと呼ばれる新しいプログラミング方法論を生み出しました。
私たちの主な仕事はコンピュータに何をすべきかを指示することだと考えるのではなく、むしろ、コンピュータに何をしてほしいかを人間に説明することに集中しましょう。[45]
クヌースは文芸的プログラミングの考え方をWEBシステムに具体化した。同じWEBソースがTeXファイルのウィービングとPascalソースファイルのタングルに使用されている。これらはそれぞれプログラムの読み取り可能な記述と実行可能なバイナリを生成する。システムの後継であるCWEBでは、PascalがC、C++、Javaに置き換えられている。[46]
クヌースはWEBを使ってTeXとMETAFONTをプログラミングし、両プログラムを書籍として出版した。どちらも元々は同じ年に出版された。TeX : The Program (1986)、METAFONT: The Program (1986)。[47] 同じ頃、現在では広く採用されているTeXベースのマクロパッケージであるLaTeXがレスリー・ランポートによって初めて開発され、1986年に最初のユーザーマニュアルが出版された。[48]
私生活
ドナルド・クヌースは、カリフォルニア工科大学の大学院生だった1961年6月24日にナンシー・ジル・カーターと結婚した。二人の間にはジョン・マーティン・クヌースとジェニファー・シエラ・クヌースの二人の子供がいる。[49]
クヌースはスタンフォード大学で年に数回非公式の講義を行っており、それを「コンピュータの黙想」と呼んでいる。彼は2017年までイギリスのオックスフォード大学コンピュータサイエンス学部の客員教授であり、マグダレン・カレッジの名誉フェローでもあった。[50] [51]
クヌースはオルガン奏者であり作曲家でもある。彼と彼の父親はルーテル派の会衆のオルガン奏者として働いていた。クヌースと彼の妻は自宅に16段のオルガンを持っている。[52] 2016年に彼はオルガン曲『Fantasia Apocalyptica』を完成させた。彼はこれを「聖ヨハネの黙示録のギリシャ語テキストの音楽への翻訳」と呼んでいる。この作品は2018年1月10日にスウェーデンで初演された。 [53]
中国語名
クヌースの中国語名はガオ・デナ(簡体字:高德纳、繁体字:高德納、ピンイン:Gāo Dénà )です。[54] [3]彼は1977 年に中国への 3 週間の旅行の直前にフランシス・ヤオによってこの名前を付けられた。[3] [55] 1980 年の『The Art of Computer Programming』第 1 巻の中国語翻訳(簡体字:计算机程设计艺术;繁体字:計算機程式設計藝術;ピンイン: Jìsuànjī chéngxù shèjì yìshù ) の中で、クヌースは次のことを受け入れたと説明している。彼の中国名は、彼は、当時中国で増加しつつあったコンピュータープログラマーに知られることを望んでいた。 1989年、彼の中国語名が『 Journal of Computer Science and Technology 』の見出しのトップに掲載され、クヌースは「あなた方の言語を話せないにもかかわらず、すべての中国人を身近に感じさせてくれる」と述べている。[55]
ユーモア

クヌースは、自分の本に誤字や間違いが見つかった場合、発見者に対して2.56ドルの手数料を支払っていた。これは「256ペニーが116進法のドル」だからである。また、「有益な提案」には0.32ドルを支払っていた。マサチューセッツ工科大学のテクノロジーレビューの記事によると、これらのクヌースの報酬小切手は「コンピュータ界で最も貴重なトロフィーの一つ」だという。2008年に銀行詐欺のためクヌースは本物の小切手を送るのをやめざるを得なくなり、現在は誤りの発見者には架空の「サンセリフ銀行」の公開残高から「預金証書」を渡している。[56]
彼はかつて通信員に「上記のコードにはバグがあるので注意してください。私はそれが正しいことを証明しただけで、試したわけではありません」と警告したことがある。[3]
クヌースは1957年に学校雑誌に「度量衡のポトシェビエシステム」という題名で最初の「科学的」論文を発表した。その中で彼は長さの基本単位をマッドNo.26の厚さと定義し、力の基本単位を「whatmeworry」と名付けた。マッド誌はこの記事を第33号(1957年6月)に掲載した。[57] [58]
再帰の概念を説明するために、クヌースは『The Art of Computer Programming』第 1 巻の索引で「循環定義」と「循環定義」を意図的に相互に参照しました。
『具体的な数学』 の序文には次のような一節がある。
DEK が初めてスタンフォードで「具体的数学」を教えたとき、彼はそのやや奇妙なタイトルについて、ソフトではなくハードな数学を教えようとしたのだ、と説明した。同僚の予想に反して、彼は集合体の理論も、ストーンの埋め込み定理も、ストーン・チェフのコンパクト化も教えないと発表した。(土木工学部の学生数名が立ち上がり、静かに教室を出て行った。)
2010年のTUGカンファレンスで、クヌースはTeXの風刺的なXMLベースの後継言語「iTeX」(ベルを鳴らしながら発音される [iː˨˩˦tɛks˧˥] )を発表した。これは、任意のスケールの無理数単位、 3Dプリント、地震計や心拍モニターからの入力、アニメーション、ステレオサウンドなどの機能をサポートする。 [59] [60] [61]
受賞と栄誉
1971年、クヌースは第1回ACM グレース・マレー・ホッパー賞を受賞した。 [ 4]他にチューリング賞、アメリカ国家科学賞、ジョン・フォン・ノイマン賞、京都賞など様々な賞を受賞している。[4]
クヌースは、コンピュータサイエンス分野への貢献が認められ、1980年に英国コンピュータ協会(DFBCS)の著名フェローに選出されました。[62]
1990 年に、彼は「コンピュータ プログラミング芸術の教授」という唯一無二の学術的称号を授与されました。この称号はその後、 「コンピュータ プログラミング芸術の名誉教授」に改訂されました。
クヌースは1975年に米国科学アカデミーに選出された。また、1981年には、コンピュータサイエンスの膨大な主題をコンピュータコミュニティのあらゆる層がアクセスできるように体系化した功績により、米国工学アカデミーの会員にも選出された。1992年には、フランス科学アカデミーの会員となった。また、同年、スタンフォード大学での通常の研究と教育から引退し、 『The Art of Computer Programming』の完成に取り掛かった。 2003年には、王立協会の外国人会員(ForMemRS)に選出された。[1]
クヌースは数学への多大な貢献により、2009年に応用数学会フェロー(第一期フェロー)に選出された。 [63]ノルウェー科学文学アカデミーの会員でもある。[64] 2012年にはアメリカ数学会フェロー[65]およびアメリカ哲学会の会員となった。[66]その他の受賞歴は以下の通り。
- 第1回ACM グレース・マレー・ホッパー賞、1971年[4]
- チューリング賞、1974年[4]
- レスター・R・フォード賞、1975年[67]および1993年[68]
- ジョサイア・ウィラード・ギブス講師、1978年[69] [70]
- 1979年アメリカ国家科学賞[71]
- 1985年アメリカ功労アカデミーゴールデンプレート賞[72]
- フランクリンメダル、1988年[4]
- ジョン・フォン・ノイマンメダル、1995年[4]
- 1995年テクニオンよりハーヴェイ賞受賞[73]
- 京都賞、1996年[4]
- コンピュータ歴史博物館のフェロー「コンピューティングアルゴリズムの歴史における初期の基本的な研究、TeXタイプセッティング言語の開発、および数学とコンピュータサイエンスへの大きな貢献」1998年[74]
- 小惑星21656クヌース、2001年5月に彼にちなんで命名された[75] [76]
- 2010年片柳賞[77]
- BBVA財団フロンティア・オブ・ナレッジ賞情報通信技術部門、2010年[78]
- チューリング講演、2011年
- スタンフォード大学工学部ヒーロー賞、2011年[79]
- フラジョレ講演賞、2014年[80]
出版物
彼の出版物の一部は以下の通りである: [81]
コンピュータプログラミングの芸術:
- ——— (1997).コンピュータプログラミングの芸術. 第1巻: 基本アルゴリズム (第3版). Addison-Wesley Professional. ISBN 978-0-201-89683-1。
- ——— (1997).コンピュータプログラミングの芸術. 第2巻: 半数値アルゴリズム (第3版). Addison-Wesley Professional. ISBN 978-0-201-89684-8。
- ——— (1998).コンピュータプログラミングの芸術. 第3巻: ソートと検索 (第2版). Addison-Wesley Professional. ISBN 978-0-201-89685-5。
- ——— (2011).コンピュータプログラミングの芸術。第4A巻:組み合わせアルゴリズム、パート1。Addison-Wesley Professional。ISBN 978-0-201-03804-0。
- ——— (2022).コンピュータプログラミングの芸術。第4巻B:組み合わせアルゴリズム、パート2。Addison-Wesley Professional。ISBN 978-0-201-03806-4。
- ——— (2005). MMIX—新世紀に向けたRISCコンピュータ。第1巻、第1巻。ISBN 978-0-201-85392-6。
- ——— (2008).コンピュータプログラミングの芸術。第 4 巻、第 0 部: 組み合わせアルゴリズムとブール関数の紹介。Addison- Wesley。ISBN 978-0-321-53496-5。
- ——— (2009).コンピュータプログラミングの芸術。第 4 巻、第 1 巻: ビット単位のトリックとテクニック、二分決定図。Addison- Wesley。ISBN 978-0-321-58050-4。
- ——— (2005).コンピュータプログラミングの芸術。第 4 巻、第 2 巻: すべてのタプルと順列の生成。Addison- Wesley。ISBN 978-0-201-85393-3。
- ——— (2005).コンピュータプログラミングの芸術。第4巻、第3巻:すべての組み合わせとパーティションの生成。ISBN 978-0-201-85394-0。
- ——— (2006).コンピュータプログラミングの芸術。第 4 巻、第 4 巻: すべての木の生成 - 組み合わせ生成の歴史。Addison- Wesley。ISBN 978-0-321-33570-8。
- ——— (2018).コンピュータプログラミングの芸術。第4巻、第5巻:数学的予備知識の再考、バックトラッキング、ダンシングリンク。ISBN 978-0-134-67179-6。
- ——— (2015).コンピュータプログラミングの芸術。第4巻、第6巻:満足度。ISBN 978-0-134-39760-3。
コンピュータとタイプセッティング(特に記載がない限り、すべての書籍はハードカバーです):
- ——— (1984). Computers & Typesetting . Vol. A, The TeXbook. Reading, MA : Addison-Wesley. ISBN 978-0-201-13447-6。、x+483ページ。
- ——— (1984). コンピュータとタイプセッティング。第 A 巻、The TeXbook。マサチューセッツ州レディング: Addison- Wesley。ISBN 978-0-201-13448-3。(ソフトカバー)。
- ——— (1986). コンピュータとタイプセッティング。第 B 巻、 TeX : プログラム。マサチューセッツ州レディング: Addison-Wesley。ISBN 978-0-201-13437-7。、xviii+600ページ。
- ——— (1986). コンピュータとタイプセッティング。第 C 巻、 METAFONTbook。マサチューセッツ州レディング: Addison-Wesley。ISBN 978-0-201-13445-2。、xii+361ページ。
- ——— (1986). Computers & Typesetting . Vol. C, The METAFONTbook. Reading, MA : Addison-Wesley. ISBN 978-0-201-13444-5。(ソフトカバー)。
- ——— (1986). Computers & Typesetting . Vol. D, METAFONT: The Program. Reading, MA : Addison-Wesley. ISBN 978-0-201-13438-4。、xviii+566ページ。
- ——— (1986).コンピュータとタイプセッティング. 第E巻, コンピュータの最新書体.マサチューセッツ州レディング: Addison-Wesley. ISBN 978-0-201-13446-9。、xvi+588ページ。
- ——— (2000). Computers & Typesetting . Vol. AE Boxed Set. Reading, MA : Addison-Wesley. ISBN 978-0-201-73416-4。
論文集:
- ——— (1992).リテラシープログラミング. 講義ノート. スタンフォード、カリフォルニア州:言語情報研究センター—CSLI. ISBN 978-0-937073-80-3。[82]
- ——— (1996).コンピュータサイエンスに関する選集. 講義ノート. スタンフォード、カリフォルニア州: 言語情報研究センター—CSLI. ISBN 978-1-881526-91-9。[83]
- ——— (1999).デジタルタイポグラフィ. 講義ノート. スタンフォード、カリフォルニア州:言語情報研究センター—CSLI. ISBN 978-1-57586-010-7。[84]
- ——— (2000).アルゴリズムの分析に関する選集. 講義ノート. スタンフォード、カリフォルニア州:言語情報研究センター—CSLI. ISBN 978-1-57586-212-5。[85]
- ——— (2003).コンピュータ言語に関する選集. 講義ノート. スタンフォード、カリフォルニア州: 言語情報研究センター—CSLI. ISBN 978-1-57586-381-8。、ISBN 1-57586-382-0(単行本)[86]
- ——— (2003).離散数学に関する選集. 講義ノート. スタンフォード、カリフォルニア州:言語情報研究センター—CSLI. ISBN 978-1-57586-249-1。、ISBN 1-57586-248-4(単行本)[87]
- ドナルド・E・クヌース『アルゴリズムの設計に関する選集』(スタンフォード大学言語情報研究センター CSLI 講義ノート、第191号)、2010年。ISBN 1-57586-583-1(ハードカバー)、ISBN 1-57586-582-3(ペーパーバック)[88]
- ドナルド・E・クヌース『楽しさとゲームに関する選集』(スタンフォード大学言語情報研究センター CSLI 講義ノート、第192号)、2011年。ISBN 978-1-57586-585-0(ハードカバー)、ISBN 978-1-57586-584-3(ペーパーバック)[89]
- ドナルド・E・クヌース『ドナルド・クヌース論文集』(スタンフォード大学言語情報研究センター CSLI 講義ノート第202号)、2011年。ISBN 978-1-57586-635-2(ハードカバー)、ISBN 978-1-57586-634-5(ペーパーバック)[90]
その他の書籍:
- グラハム、ロナルド L. ; クヌース、ドナルド E.;パタシュニック、オーレン(1994)。『具体的な数学: コンピュータサイエンスの基礎(第 2 版)』。マサチューセッツ州レディング: アディソンウェスレー。ISBN 978-0-201-55802-9. MR 1397498。 xiv+657ページ。
- クヌース、ドナルド・アービン (1974)。『超実数: 2 人の元学生がいかにして純粋数学に目覚め、完全な幸福を見つけたか: 数学的短編小説』。アディソン・ウェズリー。ISBN 978-0-201-03812-5。[31]
- ドナルド E. クヌース、スタンフォード グラフベース: 組み合わせコンピューティングのプラットフォーム (ニューヨーク、ACM プレス) 1993 年。2009 年に第 2 刷のペーパーバック。ISBN 0-321-60632-9
- ドナルド・E・クヌース、3:16 Bible Texts Illuminated(ウィスコンシン州マディソン:ARエディション)、1990年。ISBN 0-89579-252-4
- ドナルド・E・クヌース『コンピュータ科学者がめったに語らないこと』(言語情報研究センター CSLI 講義ノート第 136 号)、2001 年。ISBN 1-57586-326 -X
- ドナルド E. クヌース、「MMIXware: 第三千年紀の RISC コンピュータ」(ハイデルベルク: シュプリンガー出版社— コンピュータサイエンスの講義ノート、第 1750 号)、1999 年。viii+550 ページ。ISBN 978-3-540-66938-8
- Donald E. Knuth および Silvio Levy、「CWEB System of Structured Documentation」(マサチューセッツ州レディング: Addison-Wesley)、1993 年。iv+227 ページ。ISBN 0-201-57569-8。2001年第 3 刷、ハイパーテキスト サポート付き、ii + 237 ページ。
- ドナルド・E・クヌース、トレイシー・L・ララビー、ポール・M・ロバーツ『数学的文章』(ワシントン DC:アメリカ数学協会)、1989 年。ii+115 ページISBN 978-0883850633
- ダニエル・H・グリーン、ドナルド・E・クヌース『アルゴリズム解析のための数学』(ボストン:ビルクハウザー)、1990年、viii+132頁。ISBN 978-0817647285
- Donald E. Knuth、Mariages Stables: et leurs relationship avec d'autres problèmes combinatoires (モントリオール: Les Presses de l'Université de Montréal)、1976 年、106pp。ISBN 978-0840503428
- ドナルド・E・クヌース『安定した結婚と他の組み合わせ問題との関係:アルゴリズムの数学的分析入門』ISBN 978-0821806036
- ドナルド・E・クヌース『公理と包』(ハイデルベルク:シュプリンガー・フェアラーク—コンピュータサイエンス講義ノート、第606号)、1992年。ix+109頁。ISBN 3-540-55611-7
参照
- 漸近記法
- 属性文法
- CCシステム
- ダンスリンク
- クヌース・イリオン
- クヌース・ベンディックス補完アルゴリズム
- クヌース賞
- クヌースシャッフル
- クヌースのアルゴリズムX
- クヌースのSimpathアルゴリズム
- クヌースの上矢印記法
- クヌース・モリス・プラットアルゴリズム
- デイビス・クヌースドラゴン
- ベンダー・クヌース反転
- トラブ・パルド・クヌースアルゴリズム
- フィッシャー・イェーツ・シャッフル
- ロビンソン・シェンステッド・クヌース通信
- 男か少年かのテスト
- プラクティックモノイド
- 四分の一虚数基数
- テックス
- ターミナル
- 歌の複雑さ
- 均一二分探索
- コンピュータサイエンスの先駆者リスト
- 科学と宗教の学者のリスト
参考文献
- ^ ab "Professor Donald Knuth ForMemRS". ロンドン: Royal Society . 2015年11月17日時点のオリジナルよりアーカイブ。
- ^ abc 数学系譜プロジェクトにおけるドナルド・クヌース
- ^ abcd Knuth, Donald Ervin. 「よくある質問」.ホームページ.スタンフォード大学. 2019年8月3日時点のオリジナルよりアーカイブ。2010年11月2日閲覧。
- ^ abcdefghi ウォールデン、デイヴィッド。 「ドナルド E. クヌース - AM チューリング賞受賞者」。 2019年10月17日のオリジナルからアーカイブ。2022 年12 月 14 日に取得。
- ^ Karp, Richard M. (1986年2月). 「組合せ論、複雑性、ランダム性」. Communications of the ACM . 29 (2): 98–109. doi : 10.1145/5657.5658 .
- ^ O'Connor, John J.; Robertson, Edmund F. (2015年10月)、「Donald Knuth」、MacTutor History of Mathematics Archive、セントアンドリュース大学、 2021年7月2日閲覧
- ^ abcdef Feigenbaum, Edward (2007). 「ドナルド・クヌースの口述歴史」(PDF)。コンピュータ歴史博物館。 2008年12月9日時点のオリジナルよりアーカイブ(PDF) 。2020年9月17日閲覧。
- ^ モリー・ナイト・ラスキン (2013)。『No Better Time: The Brief, Remarkable Life of Danny Lewin--the Genius who Transformed the Internet』Da Capo Press, Incorporated。61~62 ページ。ISBN 978-0-306-82166-0。
- ^ Shasha, Dennis Elliott; Lazere, Cathy A (1998). Out of their minds: the lives and discoveries of 15 great computer scientists. Springer. p. 90. ISBN 978-0-387-98269-4。
- ^ クヌース、ドナルド (2011)。『楽しさとゲームに関する選集』。言語情報研究センター CSLI 講義ノート、第 192 号。400 ページ。ISBN 978-1-57586-584-3。
- ^ ab “Donald E. Knuth”. Encyclopedia.com . 2020年9月17日閲覧。
- ^ abc Koshy, Thomas (2004). 離散数学とその応用。Academic Press。p. 244。ISBN 978-0-12-421180-3. 2012年11月12日時点のオリジナルよりアーカイブ。2011年7月30日閲覧。
- ^ Lyons, Keith (2018年9月25日). 「Donald Knuth、バスケットボール、スポーツにおけるコンピューター」. Clyde Street Archive . 2019年8月16日時点のオリジナルよりアーカイブ。 2019年8月16日閲覧。
- ^ 「Beta Nu of Theta Chi、Beta Nu Chapterの歴史」。CWRU。2016年9月4日時点のオリジナルよりアーカイブ。2019年4月15日閲覧。
- ^ “Beta Nu, Theta Chi”. Theta Chi . 2019年12月21日時点のオリジナルよりアーカイブ。 2019年12月21日閲覧。
- ^ ab Waychoff, Richard. 「B5000 とそこにいた人々に関する物語」(PDF)。コンピュータ歴史博物館。
- ^ クヌース、ドナルド・アービン (1963)。有限半体と射影平面(PDF) (PhD)。カリフォルニア工科大学。
- ^ ab クヌース、ドナルド・アービン。「履歴書」。スタンフォード大学。2019年8月3日時点のオリジナルよりアーカイブ。 2020年3月26日閲覧。
- ^ Dahl, Ole-Johan. 「オブジェクト指向の誕生: Simula 言語」(PDF)。
- ^ 「伝記」.
- ^ 「リチャード・ナンス氏へのインタビュー 2013」。
- ^ Dahl, Ole-Johan. 「オブジェクト指向の誕生: Simula 言語」.
- ^ ab Knuth, Donald Ervin (2019年8月3日). “The Art of Computer Programming (TAOCP)”。2019年8月3日時点のオリジナルよりアーカイブ。2018年2月6日閲覧。
- ^ 「Institute for Defense Analyses」. INFORMS . 2021年8月27日. 2024年1月8日閲覧。
- ^ abc D'Agostino, Susan (2020年4月16日). 「物語を語り続けるコンピューター科学者」. Quanta Magazine . 2020年4月19日閲覧。
- ^ 「タイムライン」。Computer Science @ Stanford - Spotlight at Stanford。2019年6月21日。 2024年1月8日閲覧。
- ^ Knuth, Donald Ervin. 「ホームページ」.スタンフォード大学. 2019年11月27日時点のオリジナルよりアーカイブ。2005年3月16日閲覧。
- ^ “Donald Knuth”.プロフィール. スタンフォード大学. 2016年6月12日時点のオリジナルよりアーカイブ。2020年8月24日閲覧。
- ^ 「BBVA Foundation Frontiers of Knowledge Awards」。2016年8月19日時点のオリジナルよりアーカイブ。2016年10月15日閲覧。
- ^ “Publikasjonen "Datahistorien ved Universitetet i Oslo - Institutt for informationatikk 1977 - 1997" utgitt" [出版物「オスロ大学のコンピュータの歴史 - 情報学部 1977 - 1997」発行]。オスロ大学(ノルウェー語)。 1997年。2021年4月29日時点のオリジナルよりアーカイブ。2021 年4 月 29 日に取得。
- ^ ab Knuth, Donald Ervin. 「Surreal numbers」.ホームページ. 2019年8月3日時点のオリジナルよりアーカイブ。 2020年3月26日閲覧。
- ^ Zeilberg. 「DEK」. ラトガース大学. 2017年8月28日時点のオリジナルよりアーカイブ。 2020年3月26日閲覧。
- ^ “The Linguist List -- Journal Page”. linguistlist.org . 2021年6月11日時点のオリジナルよりアーカイブ。2022年12月14日閲覧。
- ^ マダチー、ジョセフ・S.、休暇中の数学、トーマス・ネルソン&サンズ社、1966年
- ^ 「数字とその他のことに関するビデオ」。Numberphile。2018年11月4日時点のオリジナルよりアーカイブ。2019年8月16日閲覧。
- ^ Numberphile (2016年6月27日)、Surreal Numbers (最初の本を執筆中) - Numberphile、2021年12月11日時点のオリジナルよりアーカイブ、 2019年7月19日閲覧。
- ^ Computerphile (2015年8月21日)、Don Knuthが電子メールを使用しない理由 - Computerphile、2018年7月11日時点のオリジナルよりアーカイブ、2019年7月19日閲覧
- ^ バークホルダー、レスリー (1992)。哲学とコンピュータ。テイラー&フランシス。ISBN 9780429301629。
- ^ プラトーニ 2006年。
- ^ クヌース、ドナルド・アービン(1991年)。3 :16:聖書テキストの解説。マディソン、ウィスコンシン州:AR編集。ISBN 978-0-89579-252-5。
- ^ クヌース、ドナルド・アービン(2001年)。コンピュータ科学者がめったに語らないこと。カリフォルニア州スタンフォード:言語情報研究センター出版。ISBN 978-1-57586-326-9。
- ^ 「すべての質問に回答」(PDF)。通知(記事)。2002年3月。2019年4月30日時点のオリジナルよりアーカイブ(PDF)。2020年3月26日閲覧。
- ^ ドナルド・アービン・クヌース「ソフトウェア特許に反対」( PDF) 。 2015年9月24日時点のオリジナル(PDF)からアーカイブ。 2020年2月1日閲覧。
{{cite web}}: CS1 メンテナンス: 追記 (リンク)米国およびヨーロッパの特許庁へ。 - ^ ドナルド・アーウィン・クヌース(1997年)。「デジタルタイポグラフィ(京都賞講演、1996年)」(PDF)。2018年1月27日時点のオリジナル(PDF)よりアーカイブ。
- ^ Knuth, Donald Erwin (1984). 「Literate Programming」(PDF) 。 2019年8月19日時点のオリジナル(PDF)からアーカイブ。 2020年3月26日閲覧。
- ^ 「Knuth と Levy: CWEB」。
- ^ Knuth, Donald (2019年4月11日). 「Knuth: Computers and Typesetting」www-cs-faculty.stanford.edu . 2019年4月11日時点のオリジナルよりアーカイブ。2019年7月19日閲覧。
- ^ ランポート、レスリー(1986)。LATEX :文書作成システム。Addison-Wesley Pub. Co. ISBN 020115790X. OCLC 12550262.
- ^ O'Connor, JJ; Robertson, EF (2015). 「Donald Ervin Knuth」.セントアンドリュース大学. 2017年10月5日時点のオリジナルよりアーカイブ。 2017年10月20日閲覧。
- ^ 「Professor Donald Knuth」。Magdalen College。2011年1月4日時点のオリジナルよりアーカイブ。2010年12月6日閲覧。
- ^ 「Notices」。オックスフォード大学ガゼット。2014年10月30日。2015年5月15日時点のオリジナルよりアーカイブ。 2015年5月21日閲覧。
- ^ 「The Organ of Don and Jill Knuth」。2023年1月11日閲覧– Stanford.edu経由。
- ^ de Groot, Martin (2018年11月3日). 「芸術と文化: 博学者がパイプオルガンのマルチメディア作品でその才能を発揮」. Waterloo Region Record .
- ^ Reutenauer, Arthur. 「TeX の簡潔な歴史、第 2 巻」。TUGboat : 68–72。ISSN 0896-3207 。
- ^ ab 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 の名前が掲載されていることを嬉しく思っています。この名前のおかげで、私は貴国の言語は話せませんが、すべての中国人を身近に感じることができます。
- ^ 「聖書を0と1で書き換える」。テクノロジーレビュー。2022年7月9日時点のオリジナルよりアーカイブ。
- ^ ドナルド・アービン・クヌース(1957年6月)。「The Potrzebie System of Weights & Measures」。マッド・マガジン。第33号。2018年11月6日時点のオリジナルよりアーカイブ。 2020年3月26日閲覧。
- ^ キダー、トレイシー(2016年)。『A Truck Full of Money』ランダムハウス、68ページ。ISBN 9780812995244。
- ^ Knuth, Don (2010). 「TUG 2010」(カンファレンスパネルビデオ). Zeeba TV. 2016年3月25日時点のオリジナルよりアーカイブ。2020年3月26日閲覧。
- ^ クヌース、ドナルド・アービン、「地球を揺るがす発表(ビデオ録画)」、Zeeba TV
- ^ Knuth, Donald Ervin (2010). 「An Earthshaking Announcement」(PDF) . TUGboat . 31 (2): 121–24. ISSN 0896-3207. 2019年4月13日時点のオリジナルより アーカイブ(PDF) . 2020年3月26日閲覧。
- ^ Anon (2016). 「Roll of Distinguished Fellows」. 英国コンピュータ協会。2016年3月4日時点のオリジナルよりアーカイブ。2014年9月10日閲覧。
- ^ “Fellows”. Siam. 2009年. 2019年4月21日時点のオリジナルよりアーカイブ。2020年3月26日閲覧。
- ^ 「Gruppe 1: Matematiske fag」(ノルウェー語)。ノルウェー科学文学アカデミー。2013年11月10日時点のオリジナルよりアーカイブ。2010年10月7日閲覧。
- ^ 「アメリカ数学会フェロー」。2022年12月14日閲覧。
- ^ 「APS会員履歴」. search.amphilsoc.org . 2021年3月19日閲覧。
- ^ Knuth, DE (1974). 「コンピュータサイエンスと数学との関係」. Amer. Math. Monthly . 81 (4): 323–343. doi :10.2307/2318994. JSTOR 2318994. 2019年2月20日時点のオリジナルよりアーカイブ。 2020年3月26日閲覧。
- ^ 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日閲覧。
- ^ 「Josiah Willard Gibbs Lectures」アメリカ数学会。2016年10月7日時点のオリジナルよりアーカイブ。2016年10月15日閲覧。
- ^ 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日閲覧。
- ^ “大統領国家科学賞:受賞者の詳細 - NSF - 全米科学財団”. www.nsf.gov . 2018年11月23日時点のオリジナルよりアーカイブ。2020年3月26日閲覧。
- ^ 「アメリカ功績アカデミーのゴールデンプレート受賞者」www.achievement.org .アメリカ功績アカデミー.
- ^ "Harvey". IL : Technion. 1995年. 2011年7月21日時点のオリジナルよりアーカイブ。
- ^ 「Donald Knuth: 1998 Fellow」.コンピュータ歴史博物館. 2015年. 2018年3月13日時点のオリジナルよりアーカイブ。 2018年3月12日閲覧。
- ^ “21656 Knuth (1999 PX1)”.小惑星センター. 2016年5月8日時点のオリジナルよりアーカイブ。2019年2月23日閲覧。
- ^ “MPC/MPO/MPS アーカイブ”.小惑星センター. 2019年3月5日時点のオリジナルよりアーカイブ。2019年2月23日閲覧。
- ^ “Katayanagi”. CMU. 2019年6月15日時点のオリジナルよりアーカイブ。 2020年1月6日閲覧。
- ^ Galardonados (2010). 「Fronteras」(スペイン語). ES : FBBVA. 2016年8月19日時点のオリジナルよりアーカイブ。
- ^ マイヤーズ、アンドリュー (2001 年 6 月 1 日)。「スタンフォードのドン・クヌース、コンピュータ プログラミングの先駆的英雄」スタンフォード レポート。2011 年 6 月 23 日時点のオリジナルよりアーカイブ。2011年6 月 27 日閲覧。
- ^ ドナルド・クヌース。「フィリップが愛したであろう問題」(PDF)。スタンフォード大学。2018年3月16日時点のオリジナルよりアーカイブ(PDF)。2022年3月23日閲覧。
- ^ Knuth, Donald Ervin. 「書籍」.ホームページ(リスト). 2019年8月3日時点のオリジナルよりアーカイブ。 2020年3月26日閲覧。
- ^ Knuth, Donald Ervin. 「Literate Programming」.ホームページ. 2019年8月3日時点のオリジナルよりアーカイブ。2020年3月26日閲覧。
- ^ Knuth, Donald Ervin. 「Selected Papers on Computer Science」.ホームページ. 2019年8月3日時点のオリジナルよりアーカイブ。 2020年3月26日閲覧。
- ^ 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日閲覧。
- ^ Knuth, Donald Ervin. 「Selected Papers on Analysis of Algorithms」.ホームページ. 2019年8月3日時点のオリジナルよりアーカイブ。 2020年3月26日閲覧。
- ^ Knuth, Donald Ervin. 「Selected Papers on Computer Languages」.ホームページ. 2019年8月3日時点のオリジナルよりアーカイブ。 2020年3月26日閲覧。
- ^ Knuth, Donald Ervin. 「Selected Papers on Discrete Mathematics」.ホームページ. 2019年8月3日時点のオリジナルよりアーカイブ。 2020年3月26日閲覧。
- ^ Knuth, Donald Ervin. 「Selected Papers on Design of Algorithms」.ホームページ. 2019年8月3日時点のオリジナルよりアーカイブ。 2020年3月26日閲覧。
- ^ ドナルド・アービン・クヌース。「Selected Papers on Fun and Games」。ホームページ。2019年8月3日時点のオリジナルよりアーカイブ。2020年3月26日閲覧。
- ^ ドナルド・アービン・クヌース。「ドナルド・クヌースの論文集」ホームページ。2019年8月3日時点のオリジナルよりアーカイブ。 2020年3月26日閲覧。
文献
- Knuth, Donald Ervin. 「ホームページ」.スタンフォード大学.
- Knuth, Donald Ervin. 「The Art of Computer Programming (TAOCP)」。2012 年5 月 20 日閲覧。
- Platoni, Kara; Archibald, Timothy (2006 年 5 月~6 月)。「Love at First Byte」。Stanford Magazine。2006年 9 月 25 日時点のオリジナルよりアーカイブ。2006年5 月 18 日閲覧。
外部リンク
- スタンフォード大学のドナルド・クヌースのホームページ。
- ドナルド・アービン・クヌース (2001 年 11 月 8 日)。「ドナルド・E・クヌース インタビュー」(インタビュー)。ミネソタ大学チャールズ・バベッジ研究所のフィリップ・L・フラナによるインタビュー。Knuth 氏は、ソフトウェアの特許、構造化プログラミング、コラボレーション、そしてTeXの開発について語ります。
- 数学系譜プロジェクトのドナルド・クヌース
- オコナー、ジョン J.、ロバートソン、エドマンド F.、「ドナルド クヌース」、マクチューター数学史アーカイブ、セントアンドリュース大学
- DBLP書誌サーバーの Donald E. Knuth
- 国際音楽スコアライブラリプロジェクト(IMSLP)の Donald Knuth による無料スコア
- スタンフォード大学でのインタビュー「ドナルド・クヌース - すべての質問に回答」YouTube
- オペレーションズ・リサーチおよび経営科学研究所のドナルド・クヌースの経歴
- ドナルド・アーヴィン・クヌース – スタンフォード大学講義 (アーカイブ)
- レックス・フリードマンによるドナルド・クヌースへのインタビュー
- シボーン・ロバーツ、「シリコンバレーのヨーダ」。ニューヨーク・タイムズ、2018年12月17日。
