Edsger Wybe Dijkstra (1930 年 5 月 11 日にロッテルダムで生まれ、2002 年 8 月 6 日にヌエネンで死去) は、 20世紀のオランダの数学者およびコンピューター科学者です。
バイオグラフィー
理論物理学を学んだ後、1955 年に当時新興していたコンピュータ サイエンスの分野に携わるようになり、その分野で最も啓発された先駆者の 1 人となりました。彼の貢献の中には、ダイクストラのアルゴリズムとして知られる、グラフ内の最短経路を計算するアルゴリズムがあります。
アイントホーフェン工科大学で教鞭をとっていた彼は、抽象化の連続層で構築され、教育に最適なシステムであるTHE オペレーティング システム(「THE」は大学の頭字語の語呂合わせです)を使ったシステムの観点から名を上げ始めました。 Technische Hogeschool アイントホーフェン、工科大学）。このシステムを作成した経験に基づいて、彼は以前は広まっていなかったセマフォの概念を形式化し、次に古典となった 2 つの例、つまり読者と編集者の問題と哲学者の晩餐会を使ってクリティカル セクションの概念を導入しました。
プログラミングにおけるgotoステートメントの制御されない使用によって引き起こされる損害に注目し、彼は 1968 年にACM の CommunicationsにGOTO ステートメントに対する訴訟と呼ばれる記事を書きました。編集者への手紙として記事をすぐに公開したいと考えた編集者のニクラス・ヴィルトは、この記事の名前を「有害と考えられる Go To ステートメント」に変更しました。この新しいタイトルと記事の主題は、その後 IT 業界で有名になりました。 X という形式の称号は、有害であるとみなされるダイクストラまで増加します。 [ 1 ]さらに、 goto命令は事実上、構造化プログラミング(これに由来する概念であり、特にEWD 268で提示されています) に取って代わられています。構造化プログラミングでは、 goto はif… then… else… 、 while… do 、 repeat… untilのようなステートメントに置き換えられ、それぞれに1 つの入力と1 つの出力が含まれます。その後、単一の入力に条件を課し、単一の出力に仮定された特性を課すことができます。これにより、 assert (Hoare のロジックを参照) などの構文に追加されるツールや、その後のエッフェル言語の契約プログラミングへの扉が開かれます。
ダイクストラは、 1950 年代後半の Algol 言語の開発において重要な役割を果たし、「プログラミング言語の科学と芸術」の発展に貢献し、その構造、表現、実装の理解に大きく貢献しました。美しいアルゴリズムのファン。
1972 年にチューリング賞を受賞した際に行ったスピーチ「謙虚なプログラマー」 [ 3 ]も有名です。
逸話
- ディクストラは非常に美しい手書きの文字を持っており、常にワープロの使用を拒否し、コピーした手書きの手紙を好んでいました。ルカ・カルデッリは、彼に敬意を表して、彼の通常の手書き文字を模倣した「Dijkstra」フォントを作成しました。ダイクストラはすべての手紙をEWDとそれに続く数字と呼び、最後の文字はEWD 1318でした。
格言
ディクストラは、気難しい性格と不屈の精神で知られ、コンピューター サイエンスに対する彼のビジョンを要約した格言でも有名でした。
- 「プログラムをテストすると、バグが存在しないことが証明されるのではなく、バグが存在することが証明されます。」
- 「コンピューターが思考できるかどうか疑問に思うのは、潜水艦が泳げるかどうか疑問に思うのと同じくらい興味深いです。」
- 「オブジェクトベースのプログラミングは、カリフォルニアでしか思いつかなかった非常に悪いアイデアです。」
- 「プログラムを実行可能なコードの断片として想像せずに考えることができた場合にのみ進歩が可能になります。」
- 「以前は、物理学者たちはお互いを安心させるために同僚の実験を繰り返していました。現在では彼らはFORTRANに参加し、バグも含めてプログラムを交換しています。」
- 「言語について: 1 本の鈍い斧で鉛筆を削ることは不可能です。代わりに 10 本の鈍い斧でそれを試みても無駄です。」
- 「天文学が望遠鏡の科学であるのと同様に、コンピューター科学はコンピューターの科学ではありません。」
