アラン・チューリングの停止性問題にあるように、バグの有無を論理的に調べることはできない。 しかし、チャティンのΩ数のようなイメージで、バグの有無を確率的に評価することはできるのではないか? もちろん、Ω数が絶対に知り得ない値であるように、バグ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。