エドガー・W・ダイクストラ: 謙虚なるプログラマ (The Humble Programmer)

謙虚なるプログラマ (The Humble Programmer) エドガー・W・ダイクストラ (Edsger W. Dijkstra) 1972年 ACM チューリング賞 受賞講演 原文: The Humble Programmer (EWD 340) [PDF] [HTML], E.W.Dijkstra Archive 度重なる偶然の連鎖により、1952年はじめの春の日に、 わたしは公式にプログラマという職業につくことになりました。 思い出せるかぎり、私はこの仕事を始めた最初のオランダ人です。 今から考えてみますと、もっとも驚くべきことは、少なくともわたしのいた世界では、 この職業が登場するのがいかに遅かったかということです。 この遅さは今からみると信じられないほどのものですが、わたしは この疑いもない遅さを確立した、あのころの2つの思い出に深く感謝しています。 プログラミングというも

[Nnwww]

現代では構造や操作の文脈について型を与えて取り扱う方法があり，これもプログラムと共に正当性の証明が成長する手法だと思うんだけど氏が存命ならば，こういった手法についてどうコメントしただろうか…

[snowlong]

"1957年に結婚したのですが、オランダでは婚姻届を 出す際に、自分の職業を申告する必要があります。わたしは自分は プログラマであると言いました。しかしそんな職業はないということで、 これはアムステルダムの市役

[kiyo_hiko]

「私たちの仕事はプログラムを作ることではないということです。 私たちの仕事は、望みどおりのふるまいを示す計算処理の一群を 設計することなのです」

[masterq]

2013年のぼくが読んだら全く違った意味に取れた。このブックマークはいつはったんだっけか。。。

[dowhile]

謙虚なプログラマは格が違った