@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00091365, author = {石飛, 太一 and 飯田, 弘之 and Taichi, Ishitobi and Hiroyuki, Iida}, book = {ゲームプログラミングワークショップ2012論文集}, issue = {6}, month = {Nov}, note = {本論文では証明数を利用した詰将棋問題の感性評価について調査を行った.そこで,証明数と反証数についての統計情報を得るため,Allis(1994) によって提案されたProof-Number Search を利用し,コンテストにおける上位問題の分析を行った.また,上位入賞問題とその他一般問題について違いを調べ比較した.結論として,証明数と詰将棋問題の感性評価の間には一定の関わりがあることが分かった。, This paper concerns the evaluation of the aesthetics aspect of Tsume-shogi (mating problem of Japanese chess) based on the proof-numbers. For this purpose we analyze top ranking problems to obtain some statistics such as proof-numbers and disproof-numbers while using original Proof-Number Search proposed by Allis(1994). These top ranking problems and other standard problems are compared to observe the difference. It is found that aesthetics of Tsume-shogi relates to the proof-numbers.}, pages = {163--166}, publisher = {情報処理学会}, title = {詰将棋問題の感性評価と証明数に関する考察}, volume = {2012}, year = {2012} }