バグのないプログラム - amori's bloghttp://anond.hatelabo.jp/20170214233309 『二桁の整数の和を返すプログラムなら簡単に完璧に作れる。』 「・・それほど簡単じゃないなあ。」 「どこが難しいのよ？」 「まず『完璧』について合意された定義がないし、仕様も曖昧だし」 「完璧、とは完成したプログラムが仕様を完全に満たす、でいいでしょ。で、仕様のどこが曖昧？」 「んー、プログラムってのもまだ曖昧で、本当は要求の前提から始めたいとこだけど、まあ、わかりやすいところから確認していきましょうか、 まず、記述されていることの確認ね。 『二桁の整数の和』の『二桁』は『整数』と『和』のどっちにかかるの？」 「整数に決まってるじゃん。てか、結局同じでしょ。」 「いや、もし、『二桁の(整数の和)』なら演算結果が二桁に限定され、定義域と値域に条件がつく」 「はいはい、じゃあ『二桁の整数を入力として、入力の和を返すプ
