@article{weko_11695_1, author = "野下浩平 and 飯田,崇仁", title = "ゲームの解手順の一般化とある詰将棋の数え上げ", journal = "情報処理学会論文誌", year = "2002", volume = "43", number = "3", pages = "708--713", month = "mar" }