(The Humble Programmer) エドガー・W・ダイクストラ (Edsger W. Dijkstra) 1972年 ACM チューリング賞 受賞講演 http://www.unixuser.org/~euske/doc/dijkstra-ja/thehumbleprogrammer.html プログラムのテストはバグの存在を示すことにかけては とても効率的な方法ですが、バグの不在を示すことにかけては 絶望的なほどに不適切です。 ダイクストラ 抽象化