@techreport{weko_30668_1,
   author	 = "鈴木,大介 and 萩谷,昌己",
   title	 = "代数的仕様の下での帰納推論",
   year 	 = "1992",
   institution	 = "東京大学理学部情報科学科, 東京大学理学部情報科学科",
   number	 = "44(1992-PRO-007)",
   month	 = "may"
}