元ネタ→ http://www.shayashi.jp/myfailures.pdf 数学的に証明可能なソフトウェアにはバグが無い。ただし仕様レベルではバグが起きる事には対策が無い。 コードジェネレータが正しい限り生成したコードにはバグが無い。ただし入力ではバグが起きることには対…