＞詰将棋を解くアルゴリズムの研究は近年大きな進歩を遂げ、1997年4月、現存する最長手数（1525手詰）の詰将棋「ミクロコスモス」が筆者の開発したプログラム「脊尾詰」によって解かれた（脊尾昌宏、パソコンで詰将棋、情報処理1998年5月）http://t.co/ORcPS7AQCQ