@techreport{oai:ipsj.ixsq.nii.ac.jp:00058552, author = {金子, 知適 and 田中, 哲朗 and 山口, 和紀 and 川合, 慧 and T, Kaneko and T, Tanaka and K, Yamaguchi and S, Kawai}, issue = {28(2003-GI-011)}, month = {Mar}, note = {本稿では,将棋の実践であらわれる局面を対象に詰みやすさを予測する評価関数について提案し,df-pn+探索と組み合わせることで探索を効率的にすることを試みた.df-pn+探索とは詰将棋で有力な手法とされているdf-pn探索に,局面の証明数と反証数を予測する評価関数を組み合わせたものである.探索を制御する証明(反証)数の初期値の予測方法として詰(不詰)の局面の証明木の大きさに着目し,(1)証明木の大きさの予測値を証明(反証)数とする方法と,(2)証明木の大きさの逆数をノードを展開する価値として用いる方法の二つの手法を提案した.評価関数のパラメータは,それぞれの手法について,実践の棋譜に表れた詰(不詰)の局面の証明木の大きさを用いて自動的に調整した.実戦で表れた局面を対象に実験を行ったところ,作成した評価関数を用いたdn-pf+探索が,評価関数を用いないdf-pn探索に比べて効果的に詰や不詰を発見できることを確認した., Evaluation functions for checkmate in Shogi-game are proposed, that are suitable for df-pn+ search. They estimate initial values as proof number and disproof number in a newly expanded state in the search. We proposed two kind of evaluation functions: (1) the one based on the estimated size of (dis) proof trees, and (2) the other based on the "expansion value" which is the inverse of the estimated size of (dis)proof trees. We trained proposed evaluation functions by using the sizes of proof trees and disproof trees, found by using normal df-pn search, in states appeared in real game records. Our experiments showed that df-pn+ search combined with the proposed evaluation function for proving or disproving states appeared in real game records.}, title = {効率的な詰将棋探索のための評価関数}, year = {2004} }