>>3
例えば、素因数分解のプログラムは２００行程度だと思うけれど
バグを出さずに作る事は困難だと思う。

問題を逆に見れば、
実際にプログラムを走らせる事なく、
そのプログラムを納品するにはどうしたらよいか？
という事になる。

プログラムを実際に走らせて動作チェックをするという事は、
プログラムに多少のバグが潜んでいる可能性があると
判断したからだろう。
違うかい？

３０００行のプログラムを書いて、
一度も実行せずに納品する自信があるなら
それは天才に違いない。