@techreport{weko_51301_1,
   author	 = "月本,洋",
   title	 = "連続値論理数学について",
   year 	 = "1988",
   institution	 = "（株）東芝",
   number	 = "66(1988-ICS-060)",
   month	 = "sep"
}