- 206 名前：デフォルトの名無しさん mailto:sage [2007/07/28(土) 02:57:34 ]
- >>203
> その局面に至る手順により区別して（別の物として）
> 扱わない限り、その局面が勝ち負けか引き分けかを
> 決定できないと言ってるんだよ。
「区別が必要」という仮定で、手順により区別して
勝ち負けか引き分けかを決定したとするよね?
そうすると完全解析済みになるよね?
後は完全解析済みの結果を参照するだけでよいよね？
再解析の必要は無いよね?
その局面は参照するだけで、勝ち負けか引き分けか決定してるよね？
これは、あなたの主張する「区別が必要」と矛盾するよね?
この矛盾は、仮定が間違っていいたためであり、「区別の不要」
ということになる。
証明終わり。
これ背理法っていうんだけど、問題ある?
