0623デフォルトの名無しさん垢版 | 大砲2020/08/02(日) 20:29:18.39ID:Vanmrtqf バグの無いことの証明が不可能なのは、 ゲーデルの不完全性定理とかあのへんまで突っ込んでいくからであって、 99.9%okなら良しとする現実世界なら普通に可能