- 261 名前：デフォルトの名無しさん mailto:sage [2007/07/28(土) 05:46:07 ]
- >>259
えー俺は釣られてるのかな
それとも俺がバカなのか
> その局面は参照するだけで、勝ち負けか引き分けか決定してるよね？
具体的にはここだろう
今は「区別の必要がある」という仮定で話をしているのだろ？
そして、手順を区別した上で勝ち負け表を作ったのだろ？
つまり、同じ局面でも手順が違うものは別物として勝ち負けを
判定したのだろ？
それを整理して、局面だけから勝ち負けがわかるようにするのだろ？
でも、その整理ができるという保証がないよ
「区別の必要がある」という仮定のもとでは
つまり、区別ありの表から区別なしの表を作るときに、
もし区別ありの表において、ひとつの局面が
手順によって勝ちだったり負けだったり結論が異なっていたら、
区別なしの表にまとめることはできないじゃないか
そして、「区別の必要がある」という仮定はまさに
手順によって結論が異なるかもしれないという意味だ
だからこれは「他の問題」なんかじゃなくて本質的な問題だよ
