@techreport{weko_50901_1, author = "脊尾,昌宏", title = "C*アルゴリズムによるAND/OR木の探索および詰将棋プログラムへの応用", year = "1995", institution = "東京大学理学部情報科学科", number = "23(1994-ICS-099)", month = "mar" }