ミクロコスモス (将棋)
脊尾詰(せおつめ)は脊尾昌宏が開発した、最初シェアウェアとして公開され、2017年3月現在はフリーウェアとして公開されているコンピュータ詰将棋解答ソフトである。1997年、脊尾詰でミクロコスモスを解き、同作が余詰が存在しない完全作であるという結論が導かれた。
後に新バージョンの「脊尾弐」「脊尾参」「脊尾四」が公開されたが、脊尾詰はその後いずれのバージョンも入手不可となっていた。だが2017年3月に、usi通信プロトコルを用いる将棋用グラフィカルユーザインタフェースに対応した「脊尾詰」が、脊尾が所属するパナソニック将棋部のウェブサイトで無料ダウンロード版として再公開された。