詰みますか？

詰将棋マニアと認定された小野寺です。
このことに対して抗議したいところだが、不利な証拠が多すぎて却下されそうです。

＊

さて、本題（？）。
図面は省略するが……。

玉方：５一玉（裸玉）
持ち駒：金４銀４桂４香４歩18（小駒全部）

こんな条件で詰ますことはできますか？

５九に香を打って、玉がかわせば九段目に香を並べる。
合駒は角か飛車しかないから、▲５九香に△５二角なら▲同香成△同玉▲５九香△５三香▲３四角△４三角▲同角成△同玉▲４九香。
こんな感じで詰むだろう。
玉方の最長手順や攻め方の最短手順まで考えると難しいが、詰む局面である、ということは確かだ。

しかし、この局面はソフトに解答を求めようとすると大変だ。
編集部のパソコンには市販の対局ソフトがいくつかインストールされているが、どのソフトを使ってもすっきりと回答しない。
詰むかどうか不明です、みたいなウインドウが出たり（詰まないと断言しないところはとても正しい）、10分以上かかって出た手順が迂回に迂回を重ねたような追い回しだったり、納得できる手順は得られない。

・各局面で王手できる数が膨大である（初期局面で19通り）
・持ち駒が多すぎるから王手がかからなくなるまでの手順が常に長い
・１度駒を捨てると小駒の合駒ができるようになること（すべての中合を調べるのが大変）
他にもいろいろな理由が考えられるが、プログラムで解くには局面が複雑すぎるようだ。

難解な終盤も入り組んだ詰将棋もたいていの場合すぐに詰み手順を出すが、例外もあるということか。

結論：人間もまだ負けていないところがある
って何か違う。