@techreport{weko_30205_1,
   author	 = "湯浅,能史",
   title	 = "一般部分計算における形式的推論体系の利用について",
   year 	 = "1998",
   institution	 = "早稲田大学理工学総合研究センター",
   number	 = "30(1997-PRO-018)",
   month	 = "mar"
}