@techreport{weko_27899_1,
   author	 = "松永,裕介",
   title	 = "関数処理に基づく含意操作と組合せ回路の等価性検証について",
   year 	 = "1995",
   institution	 = "（株）富士通研究所",
   number	 = "99(1995-SLDM-077)",
   month	 = "oct"
}