@techreport{weko_33336_1,
   author	 = "廣渡,栄寿 and 平田,耕一 and 宮原,哲浩 and 有川,節夫",
   title	 = "帰納的実数値関数の帰納推論における論駁性と信頼性",
   year 	 = "2003",
   institution	 = "北九州市立大学, 九州工業大学, 広島市立大学, 九州大学",
   number	 = "91(2003-MPS-046)",
   month	 = "sep"
}