将棋無双29番を解いた。ジャマ駒消去がテーマの軽い作品。

将棋無双の28番を解いた。 二度の玉方飛車不成が印象的。 最後のほうはやさしい手順でフィニッシュ！

無双の27番を解いた。以前に解いたことが絶対あるはずだけど、ブログに記録が見つからない。

wikipedia:Paris–Harrington theorem 'strengthened finite Ramsey theorem'という定理がPA（一階のペアノ算術）からは証明できないらしい。PAで証明できない定理の例として、かなり面白いと思った。 wikipediaの記事にも書いてあるが、"strength finite Ram…