@techreport{weko_186564_1, author = "森住,大樹", title = "ZDDと論理式に関する一考察", year = "2018", institution = "島根大学大学院総合理工学研究科", number = "8", month = "mar" }