@techreport{weko_28618_1, author = "元岡達", title = "論理装置設計自動化の現状と問題点", year = "1973", institution = "東京大学 工学部", number = "3(1973-SLDM-001)", month = "jul" }