@techreport{weko_27569_1,
   author	 = "湊,真一",
   title	 = "論理合成技術",
   year 	 = "2001",
   institution	 = "NTT未来ねっと研究所",
   number	 = "113(2001-SLDM-102)",
   month	 = "nov"
}