これも無駄合誤判定なのかな？

13歩は有効合い、12歩は無駄合いで良いと思います。ちなみに、柿木と脊尾詰は13歩を作意と判定しました。12歩を無駄合いと判断した根拠は、「合い駒した場合としなかった場合で、駒を一枚多く取られているだけで、手順が何も変わらない」ためです。△12歩▲同飛不成の後、結局は△13歩合とするしかなく、それなら△12歩とした手に何の意味もありません。

２手目12歩合は無駄合、作意の13歩合は有効合です。

・12歩合については、同飛生、13歩合と進めると、作意と全く変わらず２手目の歩合が余るので、これは無駄合。

・13歩合について。15歩、23玉、34馬迄３手以外に詰ませようがありません。これは13歩合をしなかった場合に比べて２手延びますが、合駒の歩を取って余るわけではないので有効合。

 

柿木将棋Ⅸ_V9.73・脊尾詰1.2の両方で確認しましたが、どちらもちゃんと作意の５手で解答してくれます。

パソコンをお持ちでしたら、どちらかを導入されることを強くお勧めします。

無駄合い判定は、詰将棋をプログラミングするときに最も困難な部分です。何故なら、人間同士でも見解が分かれるように、ハッキリと定義が決まってないからです。柿木のような有料ソフトですら間違えることがありますから、ある程度のバグは仕方ないかと思います。

ですよね。

詰みチェッカーが１１飛車不成、２３玉、３４馬と解答するのはやはり無駄合誤判定ですかねえ。

運営に報告するか迷ってたのですが報告しなくても大丈夫そうですかね