@article{oai:ipsj.ixsq.nii.ac.jp:00009787,
 author = {副田, 俊介 and 美添一樹 and 岸本, 章宏 and 金子, 知適 and 田中, 哲朗 and マーティンミュラー and Shunsuke, Soeda and Kazuki, Yoshizoe and Akihiro, Kishimoto and Tomoyuki, Kaneko and Tetsuro, Tanaka and Martin, M¨uller},
 issue = {11},
 journal = {情報処理学会論文誌},
 month = {Nov},
 note = {本論文では脅威度と証明数・反証数の双方を利用するdf-pn λ 探索を提案する．脅威度と証明数・反証数は，両者ともAND/OR 木探索を効率的に行うための指標であり，脅威度を利用するλ 探索と，証明数・反証数を利用するdf-pn 探索は，どちらも優れた探索アルゴリズムである．脅威度と証明数・反証数の双方を用いることで，探索をさらに効率的に行うことは自然なアイデアである．脅威度と証明数・反証数の関係を結び付けるために，本論文では各節点ごとに，各脅威度に対応する疑似節点をモデル化する．そのうえで，疑似節点上の証明数・反証数を用いて，元の節点の証明数・反証数を定義することを提案し，それにより探索が制御されることを示す．さらに，性質の異なる複数のゲームを対象に，df-pn λ 探索とdf-pn 探索の性能を比較する実験を行った．その結果，将棋や囲碁においてdf-pn λ 探索はdf-pn 探索よりも性能が良いことを確認した．, We present the df-pn λ search algorithm that combines threats with proof and disproof numbers. λ search is a promising method based on threats. Df-pn is an efficient algorithm that employs the notion of proof and disproof numbers. However, λ search uses neither proof nor disproof numbers, whereas df-pn incorporates no information on threat levels. Integrating threats with proof and disproof numbers is a natural extension to further enhance the search performance. We introduce pseudo-nodes for various threat levels at each node, to represent a node searched with a specific threat level. Then the proof and disproof numbers of the original node are defined using pseudo-nodes, which provides a model that can be searched with df-pn. We compared df-pn λ with df-pn on games with different properties. The results showed that df-pn λ is better than df-pn in Shogi and Go.},
 pages = {3455--3462},
 title = {証明数と反証数を用いたλ 探索},
 volume = {48},
 year = {2007}
}