>>701
論証能力はチューリング完全を指している
よってチューリング完全を部分に含むより一般の「完全」概念があると考えている
組み合わせ爆発の問題は関係あるかもしれないし、ないかもしれない