おまいら最強の将棋プログラムしてみろよ part6
■ このスレッドは過去ログ倉庫に格納されています
0206デフォルトの名無しさん
2007/07/28(土) 02:57:34> その局面に至る手順により区別して(別の物として)
> 扱わない限り、その局面が勝ち負けか引き分けかを
> 決定できないと言ってるんだよ。
「区別が必要」という仮定で、手順により区別して
勝ち負けか引き分けかを決定したとするよね?
そうすると完全解析済みになるよね?
後は完全解析済みの結果を参照するだけでよいよね?
再解析の必要は無いよね?
その局面は参照するだけで、勝ち負けか引き分けか決定してるよね?
これは、あなたの主張する「区別が必要」と矛盾するよね?
この矛盾は、仮定が間違っていいたためであり、「区別の不要」
ということになる。
証明終わり。
これ背理法っていうんだけど、問題ある?
■ このスレッドは過去ログ倉庫に格納されています