オープン戦まであと20日！！

今回はなんとしても参加する方向で。

本当はそこに向けて序・中盤の強化にいそしまなくてはいけないんだけど、効果が目に見えてわかる詰将棋のほうにリソースが流れてしまう（ｗ

なのは本流開発と詰ルーチン開発とを分離して、詰ルーチン側をいろいろいじっています。
岸本さんの「不詰を正しく証明するアルゴリズム」の考え方を組み込んでみました。
ちょっとエンバグしてて将棋無双第21番が解けていたのに不詰と誤答するようになってしまいました…。

減員はたぶん、手順で不詰みとなったとき、親にもそう伝えないといけないのに不詰しか上げていないから。

ところで、東大将棋6で「不詰を正しく証明するアルゴリズム」の不詰の例として続詰むや詰まざるや第42番を解かせると40分以上やらせても答が出なく、東大6には入っていないのかなぁ～??

※追記(2009/1/26)
16時間半でも答が出ず、中止しました。
激指は途中であきらめた場合も「詰みません」と出るようなので本当に詰まないのかわからん…。