休養をとりたいと思い、発作的に温泉に行くことにしました。 年末年始はほとんどプログラムしてましたので… 仕事を1日休んで、九州まで行ってきます。 帰りは、あのマイムーブ西村さんも乗った特急富士です。 （あのってなんだ） 廃止が決まったため、寝台券…

前のエントリの話、つづく。証明数/反証数の考え方を借用しますが、とはいっても詰将棋とは違い、詰む詰まないを判定するのは主目的ではないので、 「詰みそうなノードには、多めにplayoutを割り当てる」 という基本方針でいこうと思います。あるノードの子…