@article{oai:ipsj.ixsq.nii.ac.jp:00003211, author = {脊尾, 昌宏 and Seo, Masahiro}, issue = {5}, journal = {情報処理}, month = {May}, title = {パソコンで詰将棋}, volume = {39}, year = {1998} }