研究発表 - 宮島 信也
-
Validated numerical computation of eigenpairs in the generalized eigenvalue problem for nonsquare matrix pencil
口頭（一般） Shinya Miyajima
International Conference on Recent Advances in Applied Mathematics
2020年02月 -
Validated numerical computation for the Perron pair of an irreducible nonnegative matrix
口頭（一般） Shinya Miyajima
International Conference on Recent Advances in Applied Mathematics
2020年02月 -
Enclosing matrix gamma function
口頭（一般） 宮島信也
日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第28回研究会
2019年12月 -
Computing an interval containing matrix gamma function
口頭（一般） 宮島信也
第17回計算数学研究会
2019年11月-2019年12月 -
Fast validation for the Perron pair of an irreducible nonnegative matrix
口頭（一般） 宮島信也
日本応用数理学会2019年度年会
2019年09月 -
Fast verified computation for the Perron pair of an irreducible nonnegative matrix
口頭（招待・特別） 宮島信也
RIMS Symposium (open), Numerical methods for spectral problems: theory and applications
2019年09月 -
数値的検証法とは何か -行列の固有値問題を題材に-
口頭（一般） 宮島信也
理工・農学部若手研究会
2019年07月 -
Computation of intervals containing Moore-Penrose inverses
口頭（一般） Shinya Miyajima
The 14th East Asia SIAM Conference
2019年06月-2018年06月 -
Validated computation for the matrix Lambert W function
口頭（一般） 宮島信也
第48回数値解析シンポジウム
2019年06月 -
Computing intervals containing Moore-Penrose inverses
口頭（一般） 宮島信也
日本応用数理学会研究部会連合発表会
2019年03月 -
行列余弦関数に対する数値的検証法
口頭（一般） 佐藤大, 宮島信也
日本応用数理学会研究部会連合発表会
2019年03月 -
Enclosing the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation
口頭（招待・特別） Shinya Miyajima
Colloquium (scientific computing)
2018年12月 -
Computing an interval containing the matrix exponential
口頭（招待・特別） Shinya Miyajima
Colloquium (scientific computing)
2018年12月 -
Verification algorithms for the matrix Lambert W functions
口頭（一般） Shinya Miyajima
International Conference on Mathematical Sciences and Technology
2018年12月 -
A robust algorithm for computing intervals containing the stabilizing solutions of the discrete-time algebraic Riccati equations
口頭（一般） Shinya Miyajima
International Conference on Mathematical Sciences and Technology
2018年12月 -
行列余弦関数に対する数値的検証法の構築
口頭（一般） 佐藤大, 宮島信也
第5回ODE若手セミナー
2018年12月 -
A robust algorithm for enclosing stabilizing solutions of discrete-time algebraic Riccati equations
口頭（一般） 宮島信也
第16回計算数学研究会
2018年11月-2018年12月 -
Verified computation of eigenpairs in the generalized eigenvalue problem for rectangular matrix pencils
口頭（招待・特別） 宮島信也
京都大学数理解析研究所 共同研究 (公開型)「次世代の科学技術を支える数値解析学の基盤整備と応用展開」
2018年11月 -
Enclosing the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation
口頭（一般） 宮島信也
日本応用数理学会2018年度年会
2018年09月 -
Fast validated computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation
口頭（一般） Shinya Miyajima
The 13th East Asia SIAM Conference
2018年06月