2015-03-02から1日間の記事一覧

確率的にバグの有無は評価できる?

アラン・チューリングの停止性問題にあるように、バグの有無を論理的に調べることはできない。 しかし、チャティンのΩ数のようなイメージで、バグの有無を確率的に評価することはできるのではないか? もちろん、Ω数が絶対に知り得ない値であるように、バグ…