>>91
当然プログラムの内部は全て有限かつ離散量で表されていることが前提
（そうでなければ計算機科学の範疇を越える）
動的に変化しうるなら、その変化の全ての組み合わせに対して判定すれば
いいだけじゃん
内部表現が離散的かつ有限であるなら、組み合わせは有限通りしかない