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