@inproceedings{weko_97563_1, author = "金子,知適 and 田中,哲朗 and 山口,和紀 and 川合,慧", title = "詰将棋におけるdf-pn+探索のための,展開後の証明数と反証数を予測する評価関数", booktitle = "ゲームプログラミングワークショップ2004論文集", year = "2004", volume = "2004", number = "", pages = "14--21", month = "nov" }