>>45
馬鹿なのか？
馬鹿なんだな

形式化できればアルゴリズムに置き換えられるのは自明
解決できるかどうかは形式化の完成度次第だろ
はぁーあ

四色問題のように明瞭な形式化が出来ていなくてもアルゴリズムｊに置き換えられるのは歴史が証明している
お前まさか、四色問題が雁首そろえて単に工数に負けたと考えてるわけじゃないよな
やれやれ