プログラムは書いたとおりに動くのか

プログラムは書いたとおりに動くのか

入力データの仕様と出力データの仕様が決まってからプログラムが書かれるのではなく、 プログラムを書きながら、バージョンアップを重ねながら、 当初見えなかったデータの「かたち」を彫り出して、 思いもかけなかった出力を得てゆく、 そういう「プログラミング」の重要性が増してゆくかもしれない。

プログラミングの手法についての、考察がすばらしかったので引用しました。