2020年9月10日 Hilbert空間における線形作用素に対する可逆性検証の効率化 日本応用数理学会2020年度年会 渡部 善隆, 木下 武彦, 中尾 充宏 開催年月日 2020年9月8日 - 2020年9月10日 記述言語 日本語 会議種別 口頭発表(一般) リンク情報 共同研究・競争的資金等の研究課題関数方程式に対する精度保証付き数値計算法の展開