@techreport{weko_29844_1, author = "丹羽,純平 and 今井,浩", title = "閾値関数のBDDの並列実装", year = "1995", institution = "東京大学大学院理学系研究科情報科学専攻, 東京大学大学院理学系研究科情報科学専攻", number = "81(1995-HPC-057)", month = "aug" }