セキネ コウタ
関根 晃太
所属
千葉工業大学 情報変革科学部 情報工学科
千葉工業大学 情報科学研究科 情報科学専攻
職種
准教授
言語種別
日本語
発行・発表の年月
2018
形態種別
論文その他
標題
偏微分方程式の解の計算機援用存在証明法のためのC++を用いた精度保証付き数値計算ライブラリの構築
執筆形態
単著
掲載誌名
情報処理学会プログラミング・シンポジウム予稿集
掲載区分
国内
巻・号・頁
59th
著者・共著者
関根晃太