>>31
>>26は「形式化できること」を「アルゴリズムで何でも解決できること」だと勘違いしてるんだろうね