著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL 九州大学大学院数理学研究院 and International Workshop on Verified Computations and Related Topics,"International Workshop on Verified Computations and Related Topics, 7-10 March 2009, University of Karlsruhe (TH), Germany",,九州大学大学院数理学研究院グローバルCOEプログラム「マス・フォア・インダストリ教育研究拠点」大学院教育改革支援プログラム「産業技術が求める数学博士と新修士養成」九州大学産業技術数理研究センター,2009,COE lecture note : Kyushu University,,,,https://cir.nii.ac.jp/crid/1130000793747620992