@techreport{weko_31876_1, author = "山中,克久 and 中野,眞一", title = "リアライザの列挙", year = "2004", institution = "群馬大学工学部情報工学科, 群馬大学工学部情報工学科", number = "10(2003-AL-093)", month = "jan" }