ドナルド・アービン・クヌース( [knu?θ] 、中国語: ??? [ 1 ] ) (1938 年 1 月 10 日、ウィスコンシン州ミルウォーキー –) は、著名なアメリカのコンピューター科学者であり、スタンフォード大学のコンピューターサイエンスの名誉教授[ 2 ] (として) 「プログラミング芸術名誉教授」）。彼はアルゴリズムの先駆者の 1 人であり、理論的コンピューター サイエンスのいくつかの分野で数多くの貢献を行ってきました。
アルゴリズムと離散数学に関する本の著者であり、その中で最も有名なのは『 The Art of Programming』 （ほぼ 40 年前に書き始められたが現在も未完成）であり、プロのタイポグラフィーと数学、 TeXと Metafont で広く使用されているソフトウェアの作成者でもあります。 。彼のタイポグラフィーへの関心は、TeX のデフォルト フォントであるComputer Modernフォントの作成にもつながりました。
バイオグラフィー
ウィスコンシン州ミルウォーキーに生まれたクヌースは、1960 年にケース工科大学（現在のケース ウェスタン保護区）で数学の学士号を優秀な成績で取得し、数学の修士号を取得しました（両方同時に、陪審は彼の学士号の業績が修士号に相当するとみなしました）。大学）。彼の最初のアルゴリズム分析は 1962 年の夏でした。クヌースは、ハッシュ アルゴリズムの効率と、ラマヌジャンに遡る数学との関係を発見しました。その後、1963 年にカリフォルニア工科大学で数学の Ph.D (博士号) を取得しました。1968 年にスタンフォード大学の教員となり、以前にスタンフォード大学名誉教授という学位を授与されました。コンピュータープログラミングの芸術。 1971 年、クヌースは ACMグレース マレー ホッパー賞を初めて受賞しました。彼は、チューリング賞、国家科学メダル、IEEE ジョン・フォン・ノイマン・メダル[ 3 ]に加え、京都賞、フランクリン・メダルなど、他にも数多くの栄誉を受賞しています。彼は 1992 年にフランス科学アカデミーの準会員に選出され、2003 年に王立協会の会員に選出されました。彼はナンシー ジル カーターと結婚しており、ジョンとジェニファーという 2 人の子供がいます。
作品
Donald Knuthの仕事は特にアルゴリズムと離散数学に関するものですが、彼はまた、今日でも広く使用されている TeX と Metafont というソフトウェアも作成しました。
数学への貢献
- 反復されたクヌース累乗の表記法
- ヤングの絵画に関する作品
アルゴリズムへの貢献
Don Knuth は、彼の名前を冠した次のようないくつかのアルゴリズムの作成者です。
- Knuth-Morris-Pratt アルゴリズム、部分文字列検索アルゴリズム
- Knuth-Bendix 補完アルゴリズム
TEXおよびメタフォント ソフトウェア
Knuth は、 TEX文書植字システムと Metafont フォント作成システムの作成者です。
クヌースは、自分の本の印刷方法に不満を持ち、1977 年から数年間を、プロのタイポグラフィー用に数式を正確にレンダリングできるソフトウェアの作成に費やしました。これは SGML などのマークアップ言語であり、ドキュメントの構造に集中してレイアウト作業をコンパイラに任せることができます。 Knuthが T E を作成したときの目標ソースが提供されるT E X は、最初の、またはそれに近いフリー ソフトウェアの 1 つです。実際、Knuth が修正に課した唯一の制限は、T E X という名前を使用しないということでした。そのため、ソフトウェアはLeslie Lamportによって引き継がれ、改良され、 LA T E X になりました。
Metafont は、Knuth がComputer Modern でフォントを作成するために使用したラスター フォントの作成に使用される言語です。これは T E Xと同時に開発されました。Metafont 言語は、幾何学的記述からPostScript図を作成できるようにする MetaPost も生み出しました。
その他の注目すべきアイデア
Knuth は、多くのプログラミング概念の創始者です。その中には次のものが挙げられます。
- 形式文法アナライザー LR(k);
- コンパイル時の意味属性の方法。
- 読み書き可能なプログラミングの概念。
作品
コンピュータープログラミングの芸術
Knuth は、コンピューター科学者のバイブル(Knuth にとって大切な言葉です…) ではないにしても、コンピューター サイエンスの分野における参考文献の 1 つである『The Art of Computer Programming 』 (一般にTAOCPと呼ばれます) の著者として知られています。この本は、可能なすべての実行にわたるアルゴリズムのパフォーマンス (時間、メモリなど) を数学を使用して研究するアルゴリズム分析という分野を確立しました。
クヌースは現在、 TAOCP 7 巻の完成にほぼすべてのエネルギーを費やしています (第 1巻の初版は 1968 年に遡り、最初の 3 巻と第 4 巻の 3 号のみが発行されています)。
コンピュータと写植
これは以下で構成されるセットです。
- The TeXbook (Reading、マサチューセッツ州: Addison-Wesley、1984)、ISBN 0-201-13447-0
- TeX: プログラム(Reading、マサチューセッツ州: Addison-Wesley、1986)、ISBN 0-201-13437-3
- The METAFONTbook (Reading、マサチューセッツ州: Addison-Wesley、1986)、ISBN 0-201-13445-4
- METAFONT: The Program (レディング、マサチューセッツ州: Addison-Wesley、1986)、ISBN 0-201-13438-1
- Computer Modern Typefaces (Reading、マサチューセッツ州: Addison-Wesley、1986)、ISBN 0-201-13446-2
その他の書籍
クヌースは、 「3:16 Bible Texts Illuminated」 (1991 年)、ISBN 0895792524 の著者でもあり、この中で彼は各本の第 3 章 16 節の分析を通じて聖書を検証しようとしています。各詩には、ヘルマン・ツァップ率いる書道家のグループが制作した書道が添えられています。この作品はフランス語に翻訳されていません。
スタッフ
オタク
クヌースは、オタク的なユーモアで知られるコンピューター界の人物です。たとえば、彼は、「256 セントで 16 進数の 1 ドルが得られる」という口実で、自分の本の中で発見された誤植や間違いごとに 2.56 ドルのボーナスを提供しています (彼の作品の間違いに対しては3)。 :16 Bible Texts Illuminatedただし、プレミアムは 3.16 ドルです)。 T Eのバージョン番号彼はまた、彼のソフトウェアの 1 つを使用するユーザーに次のように警告しました。「このコードのバグに注意してください。私はそれが正しいことを実証しただけであり、試したことはありません」 [ 4 ] )。
クヌースは電子メールの使用をやめ、 1975 年から 1990 年 1 月1 日まで電子メールを使用しており、生涯にわたって十分だと主張した。彼は、「バッチ モード」で通信を保持し、3 か月ごとに 1 日をそれに充てて、「従来の」メールで応答する方が効率的であると感じています。
逸話
クヌースは音楽が好きで、特にオルガンの演奏が好きです。彼は自分の家に自分で作ったオルガンを持っています。しかし、クヌースはこの楽器を演奏する特別な才能はないと否定している。
彼は典礼に関する本を出版し、超現実的な数字に関する本の挿絵を描いたジル・クヌースと結婚している[ 5 ] 。彼らには2人の子供がいます。彼女とともに、彼はアメリカの道路標識（ダイヤモンド型の危険標識）の写真を収集したが、明らかに最も驚くべきものに興味を持っていた[ 6 ] 。
クヌースは 1957 年に学校雑誌に最初の記事を発表しました。強いユーモアの内容で、この記事はアメリカの雑誌MADの 1957 年 6 月号に掲載されました。
引用
- 「上記のコードにはバグがあるので注意してください。私はテストしていません。正しいことを証明しただけです。」
- 「科学とは、私たちがコンピューターに説明できるほどよく理解しているものです。芸術とは、私たちが行うその他のすべてのことです。」 (1996) [ 7 ]
- 「時期尚早な最適化はプログラミングにおけるすべて (またはほぼすべて) の諸悪の根源です。 」
- 「私はUnix を、同じ屋根の下に存在する 30 の異なる正規表現の定義として定義します。 」
- 「数式は決して誰かの『所有物』であってはなりません！数学は神のものです。 」
受賞歴
- ACM グレース・マレー・ホッパー賞、1971 年
- チューリング賞、1974年
- 国家科学メダル、1979 年
- フランクリンメダル、1988年
- ジョン・フォン・ノイマンメダル、1995年
- イスラエル工科大学ハーベイ賞、1995年
- 京都賞、1996年