2015/12/24(木)日本応用数理学会 三部会連携「応用数理セミナー」 精度保証 日本応用数理学会 三部会連携「応用数理セミナー」でしゃべってきましたので、そのスライドをアップロードしておきます。 「精度保証付き数値計算プログラムの実装について」(ap-seminar.pdf) 中身の大半はkvライブラリの紹介です。これで少しでもユーザが増えるといいなあ。