@techreport{weko_51160_1,
   author	 = "有馬,淳",
   title	 = "類推の正当化問題に関する論理的分析と一弱正当化法",
   year 	 = "1991",
   institution	 = "ICOT",
   number	 = "16(1990-ICS-075)",
   month	 = "mar"
}