著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) 廣渡 栄寿 and 平田 耕一 and 宮原 哲浩,Refutability and Reliability for Inductive Inference of Recursive Real-Valued Functions,情報処理学会研究報告 = IPSJ SIG technical reports,09196072,東京 : 情報処理学会,2003-09,2003,91,1-4,https://cir.nii.ac.jp/crid/1520290884495916672,