趣味のことをやるページです。パズル2011年04月09日00:54カテゴリパズル数学9×9のミクロコスモス将棋の局面は先手後手のそれぞれの盤面上の駒がどこにあるのかと、盤面上に無い駒が先手後手どちらの手駒かで完全に決まる。将棋の局面は有限個しかない。その中のいくつかが、正しい手を打てば必ずどちらかが勝つ局面、つまり「詰め将棋」と呼ばれる局面だ。よって詰め将棋は有限個しかない。有限個しかないのなら、その詰めまでの長さの最大値がある。「最大の長さの詰め将棋が存在する」が証明されたことになる。ここにはある種の数学の証明が具える美しさがあるような気がする。それが存在することは教えてくれるけど、それが何なのかについてはまったく教えてくれない。Hilbertでその証明をみた高名な数学者が「これは数学ではなく神学だ」と言ったとか。これが現代数学の幕開け(のたくさんあるうちの一つ)となったのだ。「できることなら構成的証明にしてもらった方がありがたい」という常識的なものだ。計算機数学との兼ね合いでは、「存在はしているが何なのかは分からない」じゃ応用のしようがないもんな。何だかロマンチックではないか。「確かに存在はするけれど、具体的に何かは分からない」物というのは。この無数にあるように見えて実は有限個しかない、局面の中のどれか一つは確実に、それ以上の長さの物が存在しない詰め将棋という、特別なものなのだ。適当に駒を並べた物が偶然それになることも、確率0ではないのだ。このことを知っただけで、少しだけ世界が変わったような気がする、そんな知識の一つに、私は数えたい。ちなみに今知られている最長の詰め将棋はこれである。ミクロコスモス驚異の1525手詰め。した詰め将棋になっていることも確認済みらしい。動かしてみると一定のリズムで鼓動を打つように似た局面が繰り返し、良く出来たライフゲームを思い出す。ほとんど同じ局面を繰り返しながら、それでも少しずつ変化していき、最後には止まってしまう。これは生物のホメオスタシスと死に似ている。「ミクロコスモス」とは人体が宇宙の縮図になっているという、古い考え方の名前である。それならば、この生命的な挙動をするシステムにその名前をつけるのは、それなりの必然性があるのかもしれない。Midnight流水プールデート月別アーカイブ2020年01月2019年12月2019年11月2019年10月2019年09月2019年08月2019年07月2019年06月2019年05月2019年04月2019年03月2019年02月2019年01月2018年12月2018年11月2018年10月2018年09月2018年08月2018年07月2018年06月2018年05月2018年04月2018年03月2018年02月2018年01月2017年12月2017年11月2017年10月2017年09月2017年08月2017年07月2017年06月2017年05月2017年04月2017年03月2017年02月2017年01月2016年12月2016年11月2016年10月2016年09月2016年08月2016年07月2016年06月2016年05月2016年04月2016年03月2016年02月2016年01月2015年12月2015年11月2015年10月2015年09月2015年08月2015年07月2015年06月2015年05月2015年04月2015年03月2015年02月2015年01月2014年12月2014年11月2014年10月2014年09月2014年08月2014年07月2014年06月2014年05月2014年04月2014年03月2014年02月2014年01月2013年12月2013年11月2013年10月2013年09月2013年08月2013年07月2013年06月2013年05月2013年04月2013年03月2013年02月2013年01月2012年12月2012年11月2012年10月2012年09月2012年08月2012年07月2012年06月2012年05月2012年04月2012年03月2012年02月2012年01月2011年12月2011年11月2011年10月2011年09月2011年08月2011年07月2011年06月2011年05月2011年04月2011年03月2011年02月2011年01月2010年12月2010年11月2010年10月2010年09月2010年08月2010年07月プロフィールけんさく。cal[i][j]%>">カテゴリ別アーカイブけんさく。