>>364
悪魔の証明ってのは、存在しない事の証明だぞ
コスト計算に悪魔の証明が出て来るなら、有り得ない事を有り得ないと証明する場合くらいのもんだ
有り得るという主張は、実例を一つでも上げれば済むので悪魔の証明にはならない