0703オーバーテクナナシー垢版 | 大砲2017/12/03(日) 22:11:46.41ID:ZpO67XA9 >>701 論証能力はチューリング完全を指している よってチューリング完全を部分に含むより一般の「完全」概念があると考えている 組み合わせ爆発の問題は関係あるかもしれないし、ないかもしれない