Edsger W. Dijkstra

Lore & Background

Dijkstraはロッテルダムで、化学者の父と数学者の母のもとに生まれました。彼はライデン大学で数学、物理学、理論物理学を学びました。1952年、Adriaan van Wijngaardenは彼に、アムステルダムの数学センターでオランダ初のコンピュータプログラマーとしての職を提供し、彼は1962年までそこで働きました。彼は1956年に最短経路問題を定式化して解決し、1960年にはJaap A. Zonneveldと共に最初のALGOL 60コンパイラを開発しました。

1962年、Dijkstraはアイントホーフェンに移り、後にニューネンに移り、アイントホーフェン工科大学の数学科の教授になりました。そこで1960年代後半に、彼はTHEマルチプログラミングシステムを構築し、これはソフトウェアベースのページング仮想メモリの使用を通じて後のシステムに影響を与えました。彼は1973年8月にBurroughs Corporationに唯一の研究フェローとして加わり、この期間にEWDシリーズで約500の文書を執筆しました。1984年、彼はテキサス大学オースティン校のSchlumberger Centennial Chairに就任し、1999年11月に退職するまでそこで働きました。彼は2002年8月6日、長い癌との闘病の末に亡くなりました。

Reader's Guide

Dijkstraの重要性は、コンピュータプログラミングを厳密な学問として確立するのに役立った彼の基礎的な研究にあります。彼の最短経路アルゴリズムの定式化は、グラフ理論とネットワークルーティングの基礎であり続けています。ALGOL 60コンパイラは構造化プログラミングを進歩させ、THEオペレーティングシステムはソフトウェアベースのページング仮想メモリを導入し、後のシステム設計に影響を与えました。彼のEWDシリーズの約500の文書（ほとんどが技術報告書）は私的に回覧され、プログラミング方法論に関する思考を形成しました。彼は構造化プログラミング言語への貢献により、1972年のACMチューリング賞を受賞しました。彼の死の直前に、彼は自己安定化に関する研究でACM PODC Influential Paper Awardを受賞し、この賞は翌年Dijkstra Prizeと改名されました。明確な文書化とデバッグを避けるための注意深い設計への彼のこだわりは、彼の規律あるアプローチを反映しています。オランダ初のプログラマーからBurroughsの研究フェロー、そしてテキサス大学の教授に至るDijkstraのキャリアは、コンピューティングが新奇なものから知的に尊敬される分野へと進化したことを示しています。

Did You Know?

• Dijkstraは、1952年3月にオランダ初のコンピュータプログラマーになりました。
• 彼は1956年、ARMACコンピュータの就役のために最短経路問題を定式化し、解決しました。
• 彼は1960年8月にJaap A. Zonneveldと共に最初のALGOL 60コンパイラを開発しました。
• 彼はEWDシリーズで約500の文書（ほとんどが技術報告書）を私的回覧用に執筆しました。

注目すべき引用（Wikiquote）

"Edsger Wybe Dijkstra（1930年5月11日 – 2002年8月6日）は、オランダのコンピュータ科学者、数学者、プログラマー、ソフトウェアエンジニア、そして科学エッセイストでした。" — Edsger W. Dijkstra "Dijkstra（1968）「GO TO文に対する反論」、Bill Curtis（1981）Tutorial, human factors in software development. p. 109に引用。" — Edsger W. Dijkstra "メカニズムをブラックボックスと見なす限り、正しさの説得力のある実証は不可能であるため、私たちの唯一の希望はメカニズムをブラックボックスと見なさないことにある。" — Edsger W. Dijkstra "Dijkstra（1970）「構造化プログラミングに関する覚書」（EWD249）、第3節（「メカニズムの信頼性について」）、p. 5。" — Edsger W. Dijkstra