@techreport{weko_30887_1,
   author	 = "直井,徹 and 稲垣,康善",
   title	 = "完備な自然数集合における帰納関数論",
   year 	 = "1990",
   institution	 = "名古屋大学工学部, 名古屋大学工学部",
   number	 = "44(1990-PRO-035)",
   month	 = "may"
}