「二人零和有限確定完全情報ゲーム」という概念があって,2人で対戦するゲーム(従って将棋も含む)に対して定義できる性質なんだけど,簡単にいうと「先手必勝か後手必勝かが完全にコンピュータで計算できちゃう」という性質がある. ja.wikipedia.org/wiki/%E4%BA%8C…
2015-04-12 06:31:45もしも将棋が二人零和有限確定完全情報ゲームだとしたら,羽生さんが極限まで将棋を理解したとして,振り駒の結果がわかった時点で(勝敗が分かって)手が震えるという恐ろしい概念です. ja.wikipedia.org/wiki/%E6%8C%AF…
2015-04-12 06:31:48「寝ます」宣言する30分前から寝つきを良くするためにチューハイを飲んでるのに眠れない。計算理論的に考える将棋おもしろいな。 や、ちゃんと解かれててて僕が調べるの下手なだけなんだろうけど。コンピュータ将棋やってる大学の研究室はいろいろあるだろうし。
2015-04-12 06:39:47ja.wikipedia.org/wiki/%E4%BA%8C… "ただし実戦上ではまず現れることのない極めて稀なケースではあるが、将棋には現行ルール上に不備があり、勝利、引き分け、敗北のいずれとも決定できない合法的な局面が存在することが詰将棋の最後の審判 (詰将棋)によって示されている"
2015-04-12 06:45:34決定不能性がコンニチワしてきてわろたwww なるほど,ルールの入れ方に不能性が入るのか.面白すぎるわ. や,何が面白いって,Wikiepdiaの該当部分の脚注に引用文系がひかれてないってことなんだけども.
2015-04-12 06:48:38脚注の続き))) 可能な手の組み合わせの総数が有限でない場合、単純に0の加算を続けるからといって合計を0と判断できない場合があるが、多くの場合は0であると考えてよい。 ja.wikipedia.org/wiki/%E4%BA%8C…
2015-04-12 06:51:04@houji13 「最後の審判」は知りませんでした.が,このWikipediaの記事にそのキーワードには触れてるんですが,それに対する脚注の文章の意味が良く分からなかったので困惑した次第です(最後の審判を解釈するとこうなる?) twitter.com/sinya8282/stat…
2015-04-12 06:58:02結局,将棋は二人零和有限確定完全情報ゲームなんです??? (最初から論文当たれば良かった) ちょっと分からないのでもう寝ます.
2015-04-12 07:36:290の無限和の(に関する適当な制約の入れ方の上での)結果が0かどうかの問題つまり 0* = 0 となる適当な公理(あるいはトポロジカルな制約)が付加されたkleene alebra の話をこの前パリで聞いたのでそれを思い出したけど全く別物だよそれは.別物.関係ない.落ち着け.
2015-04-12 07:01:33@houji13 もしかしたら分かる人にはあの脚注で良いのかもしれませんが,僕には理解できませんでした.ちょっと最後の審判について調べてみますね. (もうアルコールも切れて眠いのでまじで寝て起きてから)
2015-04-12 07:06:37