研究発表 - 宮島 信也
-
数値ジョルダン分解に基づく行列余弦関数の精度保証付き数値計算
口頭（一般） 佐藤大, 宮島信也
日本応用数理学会研究部会連合発表会
2022年03月 -
精度保証付き数値計算とは何か - 行列の固有値を題材に -
口頭（招待・特別） 宮島信也
北九州数理科学セミナー
2021年12月 -
Fast computation of an interval containing the minimal nonnegative solution to the nonsymmetric T-Riccati equation
口頭（一般） 宮島信也
日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第32回研究会
2021年12月 -
Fast verified computation for the minimal nonnegative solution to the nonsymmetric T-Riccati equation
口頭（一般） Shinya Miyajima
The 19th International Conference of Numerical Analysis and Applied Mathematics
2021年09月 -
Fast verification for Perron vectors of a kind of weakly irreducible nonnegative tensors
口頭（一般） Shinya Miyajima
The 19th International Conference of Numerical Analysis and Applied Mathematics
2021年09月 -
Fast enclosure for positive solutions to M-tensor multi-linear systems
口頭（一般） Shinya Miyajima
The 19th International Conference of Numerical Analysis and Applied Mathematics
2021年09月 -
Verified bounds for matrix gamma function
口頭（一般） Shinya Miyajima
The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations
2021年09月 -
Computing enclosure for matrix real powers
口頭（一般） Shinya Miyajima
The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations
2021年09月 -
Fast verification for positive solutions to M-tensor multi-linear systems
口頭（一般） 宮島信也
日本応用数理学会2021年度年会
2021年09月 -
Fast validation for Perron vectors of a kind of weakly irreducible nonnegative tensors
口頭（一般） 宮島信也
日本応用数理学会2021年度年会
2021年09月 -
Self-validating numerical algorithms for the matrix Mittag-Leffler function
口頭（一般） Shinya Miyajima
SIAM Conference on Applied Linear Algebra
2021年05月 -
行列Mittag-Leffler関数に対する精度保証付き数値計算と非整数階微分方程式への応用
口頭（一般） 宮島信也
日本応用数理学会研究部会連合発表会
2021年03月 -
四元数行列のすべての標準固有値に対する精度保証付き数値計算
口頭（一般） 丹野遼太郎, 宮島信也
日本応用数理学会研究部会連合発表会
2021年03月 -
Brauerの定理を利用した正方行列のスペクトル半径の上限に対する数値計算法
口頭（一般） 伊五澤彩乃, 宮島信也
日本応用数理学会研究部会連合発表会
2021年03月 -
Verified numerical computation for matrix real powers
口頭（招待・特別） 宮島信也
2020年並列／分散／協調処理に関する『福井』サマー・ワークショップ
2020年07月 -
精度保証付き数値計算とは何か - 行列の固有値問題を題材に -
公開講演，セミナー，チュートリアル，講習，講義等 宮島信也
東京工業大学山田研究室セミナー
2020年03月 -
行列のすべての固有値に対するロバストな数値的検証法
口頭（一般） 今貴一, 宮島信也
日本応用数理学会研究部会連合発表会
2020年03月 -
行列指数関数に対する数値的検証法の改良
口頭（一般） 中村圭汰, 宮島信也
日本応用数理学会研究部会連合発表会
2020年03月 -
Computing intervals containing matrix fractional powers
口頭（招待・特別） 宮島信也
日本応用数理学会研究部会連合発表会
2020年03月 -
行列指数関数に対する数値的検証法
口頭（招待・特別） 宮島信也
日本数学会・東北支部会
2020年02月