10/02/26 19:32:57 BJihpM000
「こういう条件でバグが出る！」ていうのを提示するのは可能だけど
プログラムにバグが「無い」事を証明するのは無理だからねぇ。
悪魔の証明。
10/02/26 19:32:57 BJihpM000
「こういう条件でバグが出る！」ていうのを提示するのは可能だけど
プログラムにバグが「無い」事を証明するのは無理だからねぇ。
悪魔の証明。
10/02/26 19:32:57 BJihpM000
「こういう条件でバグが出る！」ていうのを提示するのは可能だけど
プログラムにバグが「無い」事を証明するのは無理だからねぇ。
悪魔の証明。