@techreport{weko_32069_1, author = "長井,歩 and 今井,浩", title = "df - pnアルゴリズムの詰将棋解答プログラムへの応用", year = "2000", institution = "東京大学大学院理学系研究科情報科学専攻, 東京大学大学院理学系研究科情報科学専攻", number = "103(2000-AL-075)", month = "nov" }