@techreport{weko_67305_1, author = "大月,英明 and 平田,富夫", title = "集合基底問題の正規基底を求めるヒューリスティックアルゴリズム", year = "2010", institution = "南山大学, 名古屋大学", number = "6", month = "jan" }