2011-04-01から1日間の記事一覧

無い事の証明

これって場合によっては非常に難しいんですよね…。 問題が発生し、調査の結果「根本原因は判らないけど、こうすれば問題が出なくなった」という場合、それを「完璧に直った」と証明するのは非常に困難…というか無理です。 仮に1万回実行して「大丈夫」といっ…