文法が違っていればプログラムは動かせない
バグは自分でテストしないと見つけられない
（プログラムはプログラマが書いたとおりに動くもので、
プログラムの動きが正常な動作かバグであるかは人間が判断するものだから）
そして、バグがないことを証明する方法はない（悪魔の証明）