@techreport{oai:ipsj.ixsq.nii.ac.jp:00058664,
 author = {山田, 剛 and 松原, 仁 and Tsuyoshi, Yamada and Hitoshi, Matsubara},
 issue = {53(1999-GI-001)},
 month = {Jun},
 note = {本稿では、詰め将棋の自動創作の研究をふまえ、優れた詰め将棋作品を創作するための手段として、ユーザーの逆算法による詰め将棋の創作を計算機が支援するシステムを提案、構築し、その有効性を検証する。本研究は、人間と計算機の共同作業をシステム化することによって、現状で用いられている方法よりもはるかに効率的に創作作業を行うことを目的としている。システムの検討プログラムは、詰むことの証明、詰まないことの証明をともに高速に行うことと、正解手順でない「変化別詰」の手順を排除することを両立している。これによって検討に費やされる時間を現実的なものにしている。また、このシステムでは、計算機の読みの力を最大限に生かすために、逆算法による創作を基本としている。実験では、計算機のみによる創作よりも芸術性が高く、被験者にとって満足のいく作品が創られた。また、その中での最長手数作品は、自動創作のそれよりも手数が長く、自動創作では創作できなかった作品が創れたといえる。, This paper describes our program that helps human creators to compose Tsume-Shogi problems by reverse method. There are two methods to compose Tsume-Shogi problems:a straight method and a reverse method. In our system we support the reverse method. Our system can judge whether a position is to be mated or not to be mated very quickly and it can remove Henka-betsudume. So it does not take much time to check completeness of Tsume-Shogi problems. By using our system human creators composed several excellent Tsume-Shogi problems.},
 title = {逆算型詰め将棋作成支援システム},
 year = {1999}
}