@techreport{weko_28385_1, author = "北嶋,雅哉 and 高木,直史 and 矢島,脩三", title = "論理関数のグラフ表現を用いた記号シミュレーション", year = "1987", institution = "京都大学工学部, 京都大学工学部, 京都大学工学部", number = "90(1987-SLDM-040)", month = "dec" }