2006-09-08から1日間の記事一覧

バグのないプログラムを作るなんて無理ですという件について

そう、そうなのだ。バグのないプログラムを作るのは無理なのだ。そもそも、どうやってバグがないことを証明しますか？「このプログラム、ずっと使ってるけど、バグったことない」という以外に、バグがないことの証明はできないのだ。というか、どうしてそ…