エドガー・ダイクストラ

伝記

エドガー・ダイクストラは、1930年5月11日にロッテルダムで生まれ、2002年8月6日にオランダのニューネンで亡くなったオランダ人の計算機科学者である。本名はエツハー・ウィベ・デイクストラ。構造化プログラミングの提唱者として知られ、1972年にプログラミング言語の基礎研究への貢献でチューリング賞を受賞した。1984年から2002年に亡くなるまでテキサス大学オースティン校の計算機科学の講座を務めた。

ライデン大学で理論物理学を学んだが、コンピュータ科学のほうに興味があることに気づくのに時間はかからなかったという。最初にアムステルダムの国立数学研究所に職を得て、のちにオランダのアイントホーフェン工科大学で教授となった。その後アメリカのテキサス大学オースティン校に移り、2000年に退いた。貢献としては、グラフ理論の最短経路問題を解くダイクストラ法、逆ポーランド記法とそれに関連する操車場アルゴリズム、初期の階層型システムの例であるTHEマルチプログラミングシステム、銀行家のアルゴリズム、排他制御のためのセマフォの考案などがある。操車場アルゴリズムやセマフォは、鉄道の用語から名づけられている。

1950年代には、同時代の多くのプログラマと同じく、機械語やフォートランのような非構造的な言語でプログラミングをしていたが、大規模なプログラムをバグなく書くことの難しさについて、早くから警鐘を鳴らした一人であった。1960年代後半に「構造化プログラミング」を掲げ、プログラミングの改善について多くの文献や発言を残した。当時のプログラムは、あらゆる制御構造をゴートゥー文で書くしかなかったので、その問題点を指摘した文章を書いた。この文章は、国際学会の学会誌にレターとして掲載された際、「ゴートゥー文は有害とみなされる」という刺激的な題名がつけられた。題名をつけたのは本人ではなく、当時編集を担当していたニクラウス・ヴィルトであり、のちに「有害とみなされる」という言い回しが業界の定番となる原点でもある。しかしその主張は、「ゴートゥー文除去運動」のように単純化されて受け取られることも多かった。

アルゴル60の愛好者でもあり、最初のコンパイラを実装したチームにも参加した。開発に関わったヤープ・ゾンネフェルトと、プロジェクトが完了するまでひげを剃らないという誓いを立てたという。それは、再帰をサポートした世界初のコンパイラの一つである。1970年代になると、主要な関心は形式的検証に移り、まず仕様を数学的に記述し、そこに数学的な変換を加えてプログラムを導き出す「プログラム導出」を重んじた。ベーシックを教育に使うことには強く反対し、「回復の望みがないほど精神をダメにされる」という強い調子で否定する言葉を残している。分散コンピューティングの先駆者の一人でもあった。

万年筆で慎重に原稿を書く習慣があり、原稿に自分のイニシャルのEWDと番号を付けたので、手書きの原稿は一般にEWDと呼ばれる。アイントホーフェンに移ってから1年以上書けない状態が続き、自分自身のためだけに書くことに決めたことが、その始まりだという。新たに書き上げると同僚にコピーを配り、それがさらにコピーされて世界中に広がった。1300以上が電子化され、テキサス大学のアーカイブで入手できる。2002年の死の直前には、分散コンピューティングの論文に対して、ACMの影響力のある論文賞を授与された。この賞は翌年から、ダイクストラの名を冠して呼ばれるようになった。長年の癌との戦いの末に亡くなった。