研究者詳細
博士（情報科学） （早稲田大学）
早稲田大学大学院 理工学研究科 博士後期課程
2002年9月 ～ 2005年3月
早稲田大学大学院 理工学研究科 修士課程
2001年4月 ～ 2002年9月
早稲田大学 理工学部
1997年4月 ～ 2001年3月
長野県上田高等学校
1994年4月 ～ 1997年3月
日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 幹事
2026年4月 ～ 継続中
日本応用数理学会 代表会員
2026年4月 ～ 継続中
日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 運営委員
2019年3月 ～ 継続中
日本応用数理学会論文誌編集委員会 委員
2014年4月 ～ 継続中
日本応用数理学会論文誌2025年論文賞審査委員会 委員
2025年3月 ～ 2025年9月
第50回数値解析シンポジウム実行委員会 委員長
2024年1月 ～ 2024年7月
JSIAM Letters 編集委員会 委員
2020年4月 ～ 2024年3月
第49回数値解析シンポジウム実行委員会 委員長
2019年6月 ～ 2023年12月
日本応用数理学会論文誌2020年論文賞審査委員会 委員
2020年3月 ～ 2020年9月
日本応用数理学会論文誌2019年論文賞審査委員会 委員
2019年6月 ～ 2019年9月
Numerical methods for spectral problems: theory and applications Program committee
2019年3月 ～ 2019年9月
日本応用数理学会論文誌2018年論文賞審査委員会 委員
2018年6月 ～ 2018年9月
日本数学会
SIAM
日本応用数理学会
精度保証付き数値計算
行列解析
区間解析
数値解析
自然科学一般 / 応用数学、統計数学 /
情報通信 / 数理情報学 /
令和3年度後期岩手大学教養教育科目優秀授業表彰
2022年5月
令和3年度岩手大学理工学部授業評価優秀教員表彰
2022年3月
日本シミュレーション学会研究賞
2006年6月
早稲田大学第16回大川功記念賞
2006年4月
Complementary error matrix function and its numerical computation 国際誌 国際共著 査読有り
Amir Sadeghi, Shinya Miyajima
Linear Algebra and its Applications 2026年8月
Perturbation theory for the matrix Mittag-Leffler function 国際誌 査読有り
Shinya Miyajima
JSIAM Letters 2025年12月
Enhanced estimation method for partial scattering functions in CV-SANS via Gaussian process with prior knowledge of smoothness 国際誌 査読有り
Ippei Obayashi, Shinya Miyajima, Kazuaki Tanaka, Koichi Mayumi
Journal of Applied Crystallography 2025年6月
Error evaluation of partial scattering functions obtained from contrast variation small-angle neutron scattering 国際誌 査読有り
Koichi Mayumi, Tatsuro Oda, Shinya Miyajima, Ippei Obayashi, Kazuaki Tanaka
Journal of Applied Crystallography 2025年2月
Some properties concerning Perron vectors of weakly irreducible nonnegative tensors, and their application to rigorous enclosure 国際誌 査読有り
Shinya Miyajima
Linear Algebra and its Applications 2024年4月15日
Fast verified computation for real powers of large matrices with Kronecker structure 国際誌 査読有り
Shinya Miyajima
Applied Mathematics and Computation 2023年9月
Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation 国際誌 査読有り
Shinya Miyajima
Calcolo 2022年9月
Fast verified computation for positive solutions to M-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors 国際誌 査読有り
Shinya Miyajima
Journal of Computational and Applied Mathematics 2022年5月
Verified computation of matrix gamma function 国際誌 査読有り
Shinya Miyajima
Linear and Multilinear Algebra 2022年5月
Verified computation of real powers of matrices 国際誌 査読有り
Shinya Miyajima
Journal of Computational and Applied Mathematics 2021年8月
Fast verification for the Perron pair of an irreducible nonnegative matrix 国際誌 査読有り
Shinya Miyajima
The Electronic Journal of Linear Algebra 2021年5月
Computing enclosures for the matrix Mittag-Leffler function 国際誌 査読有り
Shinya Miyajima
Journal of Scientific Computing 2021年5月
Verified computation for the geometric mean of two matrices 国際誌 査読有り
Shinya Miyajima
Japan Journal of Industrial and Applied Mathematics 2021年1月
Enclosing Moore-Penrose inverses 国際誌 査読有り
Shinya Miyajima
Calcolo 2020年3月
Verified computation of eigenpairs in the generalized eigenvalue problem for nonsquare matrix pencils 国際誌 査読有り
Shinya Miyajima
Journal of Mathematical Research with Applications 2020年1月
Verified computation for the matrix Lambert W function 国際誌 査読有り
Shinya Miyajima
Applied Mathematics and Computation 2019年12月
Robust verification algorithm for stabilizing solutions of discrete-time algebraic Riccati equations 国際誌 査読有り
Shinya Miyajima
Japan Journal of Industrial and Applied Mathematics 2019年9月
行列方程式の解に対する数値的検証法の進展 招待有り 査読有り
宮島信也
応用数理 2019年6月
Verified computation for the matrix principal logarithm 国際誌 査読有り
Shinya Miyajima
Linear Algebra and its Applications 2019年5月15日
Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation 国際誌 査読有り
Shinya Miyajima
Journal of Computational and Applied Mathematics 2019年4月1日
Verified computation of the matrix exponential 国際誌 査読有り
Shinya Miyajima
Advances in Computational Mathematics 2019年2月28日
Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation 国際誌 査読有り
Shinya Miyajima
Computational and Applied Mathematics 2018年9月1日
Fast verified computation for the solution of the T-congruence Sylvester equation 国際誌 査読有り
Shinya Miyajima
Japan Journal of Industrial and Applied Mathematics 35 (2) 541-551 2018年7月1日
出版者・発行元：DOI： 10.1007/s13160-018-0307-y
ISSN：1868-937X 0916-7005
Fast verified computation for the matrix principal pth root 国際誌 査読有り
Shinya Miyajima
Journal of Computational and Applied Mathematics 2018年3月31日
Fast verified computation for the solvent of the quadratic matrix equation 国際誌 査読有り
Shinya Miyajima
The Electronic Journal of Linear Algebra 2018年3月31日
Fast verified computation for solutions of algebraic Riccati equations arising in transport theory 国際誌 査読有り
Shinya Miyajima
Numerical Linear Algebra with Applications 2017年10月31日
Verified solutions of inverse symmetric eigenvalue problems 国際誌 査読有り
Shinya Miyajima
Reliable Computing 2017年9月30日
Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations 国際誌 査読有り
Shinya Miyajima
Journal of Computational and Applied Mathematics 2017年8月31日
Verified solutions of delay eigenvalue problems 国際誌 査読有り
Shinya Miyajima
Applied Mathematics and Computation 303 211-225 2017年6月15日
出版者・発行元：DOI： 10.1016/j.amc.2017.01.033
ISSN：0096-3003
Fast verified computation for solutions of continuous-time algebraic Riccati equations 国際誌 査読有り
Shinya Miyajima
Japan Journal of Industrial and Applied Mathematics 32 (2) 529-544 2015年7月28日
出版者・発行元：DOI： 10.1007/s13160-015-0178-4
ISSN：1868-937X 0916-7005
Fast enclosure for the minimum norm least squares solution of the matrix equation AXB = C 国際誌 査読有り
Shinya Miyajima
Numerical Linear Algebra with Applications 22 (3) 548-563 2015年5月1日
出版者・発行元：DOI： 10.1002/nla.1971
ISSN：1099-1506 1070-5325
A sharp error bound of the approximate solutions for saddle point linear systems 国際誌 査読有り
Shinya Miyajima
Journal of Computational and Applied Mathematics 277 36-46 2015年3月15日
出版者・発行元：DOI： 10.1016/j.cam.2014.09.003
ISSN：0377-0427
An algorithm for checking incorrectness of a rule in equivalent transformation programs 国際誌 査読有り
Hiroshi Mabuchi, Shinya Miyajima
International Journal of Innovative Computing, Information and Control 2015年2月1日
Fast enclosure for a matrix inverse square root 国際誌 査読有り
Shinya Miyajima
Linear Algebra and its Applications 2015年2月1日
Fast enclosure for solutions of generalized least squares problems 国際誌 査読有り
Shinya Miyajima
Reliable Computing 2015年2月1日
Verified bounds for all the singular values of matrix 国際誌 査読有り
Shinya Miyajima
Japan Journal of Industrial and Applied Mathematics 31 (3) 513-539 2014年11月1日
出版者・発行元：DOI： 10.1007/s13160-014-0145-5
ISSN：1868-937X 0916-7005
Componentwise enclosure for solutions of least squares problems and underdetermined systems 国際誌 査読有り
Shinya Miyajima
Linear Algebra and Its Applications 444 28-41 2014年3月1日
DOI： 10.1016/j.laa.2013.11.044
ISSN：0024-3795
Fast enclosure for solutions of generalized Sylvester equations 国際誌 査読有り
Shinya Miyajima
Japan Journal of Industrial and Applied Mathematics 31 (2) 293-304 2014年
出版者・発行元：DOI： 10.1007/s13160-014-0139-3
ISSN：1868-937X 0916-7005
Fast enclosure for all eigenvalues and invariant subspaces in generalized eigenvalue problems 国際誌 査読有り
Shinya Miyajima
SIAM Journal on Matrix Analysis and Applications 35 (3) 1205-1225 2014年
出版者・発行元：DOI： 10.1137/140953150
ISSN：1095-7162 0895-4798
Fast enclosure for solutions of Sylvester equations 国際誌 査読有り
Shinya Miyajima
Linear Algebra and Its Applications 439 (4) 856-878 2013年8月
DOI： 10.1016/j.laa.2012.07.001
ISSN：0024-3795
Fast enclosure of matrix polynomials 国際誌 査読有り
Shinya Miyajima
Reliable Computing 2013年1月1日
Componentwise error estimates for solutions obtained by stationary iterative methods 国際誌 査読有り
Shinya Miyajima
Reliable Computing 2012年4月1日
The relation between two types of error bounds for computed matrix eigenvalues 国際誌 査読有り
Shinya Miyajima
Reliable Computing 2012年4月1日
Numerical enclosure for each eigenvalue in generalized eigenvalue problem 国際誌 査読有り
Shinya Miyajima
Journal of Computational and Applied Mathematics 236 (9) 2545-2552 2012年3月
DOI： 10.1016/j.cam.2011.12.013
ISSN：0377-0427
Algorithmic debugging of equivalent transformation programs using oracle rules 国際誌 招待有り 査読有り
Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi
International Journal of Innovative Computing, Information and Control 2011年8月
Fast enclosure for solutions in underdetermined systems 国際誌 査読有り
Shinya Miyajima
Journal of Computational and Applied Mathematics 2010年10月1日
Fast verification for all eigenpairs in symmetric positive definite generalized eigenvalue problems 国際誌 国際共著 査読有り
Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
Reliable Computing 2010年6月1日
Fast enclosure for all eigenvalues in generalized eigenvalue problems 国際誌 査読有り
Shinya Miyajima
Journal of Computational and Applied Mathematics 233 (11) 2994-3004 2010年4月1日
DOI： 10.1016/j.cam.2009.11.048
ISSN：0377-0427
Automatic detection of incorrect rules in equivalent transformation programs 国際誌 査読有り
Shinya Miyajima, Hiroshi Mabuchi, Kiyoshi Akama, Yuya Wakamatsu
International Journal of Innovative Computing, Information and Control 2009年8月
GPUを利用した非線形方程式の並列全解探索法 査読有り
柏木啓一郎, 宮島信也, 柏木雅英
日本応用数理学会論文誌 2008年10月1日
Existence test for solution of nonlinear systems applying affine arithmetic 国際誌 査読有り
Shinya Miyajima, Masahide Kashiwagi
Journal of Computational and Applied Mathematics 199 (2) 304-309 2007年2月15日
DOI： 10.1016/j.cam.2005.08.051
ISSN：0377-0427
A method of obtaining verified solutions for linear systems suited for Java 国際誌 国際共著 査読有り
K. Ozaki, T. Ogita, S. Miyajima, S. Oishi, S. M. Rump
Journal of Computational and Applied Mathematics 2007年2月1日
実対称行列の各固有対に対する精度保証付き数値計算法 査読有り
宮島信也, 荻田武史, 大石進一
日本応用数理学会論文誌 2006年12月1日
実対称行列の各固有値に対する精度保証付き数値計算法 査読有り
宮島信也, 荻田武史, 大石進一
日本応用数理学会論文誌 2005年9月1日
On range inclusion of polynomials applying interval arithmetic 国際誌 査読有り
Shinya Miyajima, Masahide Kashiwagi
IEICE Transactions 2004年3月1日
A dividing method utilizing the best multiplication in affine arithmetic 国際誌 査読有り
Shinya Miyajima, Masahide Kashiwagi
IEICE Electronics Express 1 (7) 176-181 2004年
DOI： 10.1587/elex.1.176
ISSN：1349-2543
A new dividing method in affine arithmetic 国際誌 査読有り
Shinya Miyajima, Takatomi Miyata, Masahide Kashiwagi
IEICE Transactions 2003年9月1日
アフィン演算における乗除算について 査読有り
宮島信也, 宮田孝富, 白井健一, 柏木雅英
電子情報通信学会論文誌 2003年3月1日
アフィン演算における最良乗算について 査読有り
宮島信也, 宮田孝富, 柏木雅英
電子情報通信学会論文誌 2003年2月1日
行列ランベルトW関数の値を含む区間行列の数値計算
宮島信也
京都大学数理解析研究所講究録 2025年12月
数理科学を活用したコントラスト変調小角散乱法による多成分有機ハイブリッド材料のナノ構造解析
眞弓皓一, 小田達郎, 宮島信也, 大林一平, 田中一成
日本中性子科学会誌「波紋」 2025年11月
Fast enclosure for real powers of Kronecker structured large matrices 国際誌 査読有り
Shinya Miyajima
AIP Conference Proceedings 2024年6月
Computing the enclosure for Perron vectors of weakly irreducible nonnegative tensors 国際誌 査読有り
Shinya Miyajima
AIP Conference Proceedings 2024年6月
Fast enclosure for positive solutions to M-tensor multi-linear systems 国際誌 査読有り
Shinya Miyajima
AIP Conference Proceedings 2023年9月
Fast verification for Perron vectors of a kind of weakly irreducible nonnegative tensors 国際誌 査読有り
Shinya Miyajima
AIP Conference Proceedings 2023年9月
Fast verified computation for the minimal nonnegative solution to the nonsymmetric T-Riccati equation 国際誌 査読有り
Shinya Miyajima
AIP Conference Proceedings 2023年9月
Enclosing all eigenpairs in symmetric positive definite generalized eigenvalue problems 国際誌 査読有り
Shinya Miyajima
AIP Conference Proceedings 1281 945-948 2010年9月
DOI： 10.1063/1.3498650
ISSN： 0094-243X 1551-7616
Enclosing solutions in least squares problems 国際誌 査読有り
Shinya Miyajima
HERMIS - An International Journal of Computer Mathematics and its Applications 2009年9月
Fast verification for respective eigenvalues of symmetric matrix 国際誌 査読有り
Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi
Lecture Notes in Computer Science 3718 306-317 2005年
DOI： 10.1007/11555964_26
ISSN： 0302-9743 1611-3349
A method which finds maxima and minima of a multivariable function applying affine arithmetic 国際誌 査読有り
Shinya Miyajima, Masahide Kashiwagi
Lecture Notes in Computer Science 2005年
On range evaluation of polynomials by applying interval arithmetic 国際誌 査読有り
Shinya Miyajima, Masahide Kashiwagi
Lecture Notes in Computer Science 2004年
実例詳説 微分積分
宇佐美広介, 澤田宙広, 橋本隆司, 宮島信也, 室政和
培風館 2019年1月
実例詳説 線形代数
宇佐美広介, 亀山敦, 佐藤健治, 澤田宙広, 原下秀士, 宮島信也
培風館 2015年2月
二重指数関数型数値積分公式を用いた行列関数の数値計算におけるパラメータ自動決定の改良
宮島信也
日本応用数理学会2026年度年会
行列相補誤差関数とその数値解析
宮島信也
福井大学における微分方程式セミナー
数理科学とコントラスト変調中性子散乱の融合が切り拓く多成分系ナノ構造解析
眞弓皓一, 小田達郎, 宮島信也, 大林一平, 田中一成
Numerical computation of the complementary error matrix function 国際共著
Shinya Miyajima, Amir Sadeghi
日本数学会秋季総合分科会
Numerical algorithms for complementary error matrix function 国際会議 国際共著
Shinya Miyajima, Amir Sadeghi
The 19th East Asia SIAM Conference
Numerical calculation for complementary error matrix function 国際共著
Shinya Miyajima, Amir Sadeghi
2026年並列／分散／協調処理に関するサマー・ワークショップ
Numerical analysis of the complementary error matrix function 国際会議 招待有り
Shinya Miyajima
3rd International Conference on Non-linear Analysis and Computational Techniques
数値計算は信仰なのか？ - 行列の固有値を題材に - 招待有り
宮島信也
青葉山統計科学セミナー 2026年7月8日
二重指数関数型数値積分公式を用いた行列関数の数値計算におけるパラメータ自動決定
宮島信也
日本応用数理学会研究部会連合発表会
行列の固有値に対する精度保証付き数値計算法
宮島信也
富山数理ワークショップ2026
数値計算は信仰なのか？
宮島信也
岩手大学中堅の会
非負行列のスペクトル半径の上界・下界となる数列の単調性について
大友海斗, 宮島信也
第23回計算数学研究会
コントラスト変調SANSにおける部分散乱関数推定の高精度化: ベイズ推定の活用
眞弓皓一, 宮島信也, 大林一平, 田中一成
日本中性子科学会第25回年会
RePH: RIS-inspired electronic phantom 国際会議
Kentaro Murata, Naoki Honma, Shinya Miyajima
The 30th International Symposium on Antennas and Propagation
コントラスト変調中性子小角散乱を用いた多成分ナノ構造解析の誤差評価手法開発と高精度化
眞弓皓一, 小田達郎, 宮島信也, 大林一平, 田中一成
第74回高分子討論会
行列指数関数に対する精度保証付き数値計算法 招待有り
宮島信也
広島数理解析セミナー
ガウス過程回帰によるコントラスト変調中性子小角散乱データの部分散乱関数への高精度な分解手法について
大林一平, 宮島信也, 田中一成, 眞弓皓一
2025年度統計関連学会連合大会
Norm bounds on the complimentary error matrix function 国際共著
Shinya Miyajima, Amir Sadeghi
日本応用数理学会2025年度年会
Fast interval computation for Perron vectors of a class of weakly irreducible nonnegative tensors 国際会議 招待有り
Shinya Miyajima
Numerical methods for spectral problems: theory and applications
行列 Mittag-Leffler 関数に関する摂動理論
宮島信也
北見・岐阜数理科学研究交流会 2025年8月27日
Numerical computation of intervals containing the solvents to the quadratic matrix equations 国際会議 招待有り
Shinya Miyajima
2nd International Conference on Non-linear Analysis and Computational Techniques
行列 Mittag-Leffler 関数に対する摂動理論
宮島信也
2025年並列／分散／協調処理に関するサマー・ワークショップ
Boundary on channel reconstruction accuracy of RePH 国際会議
Yuto Ozawa, Kentaro Murata, Naoki Honma, Shinya Miyajima
The 2025 IEEE International Symposium on Antennas & Propagation and North American Radio Science Meeting
Perturbation bounds for the matrix Mittag-Leffler function 国際会議
Shinya Miyajima
The 18th East Asia SIAM Conference
Some norm bounds on the complimentary error matrix functions 国際会議 国際共著 招待有り
Shinya Miyajima, Amir Sadeghi
The 26th Conference of the International Linear Algebra Society
行列相補誤差関数とその数値計算 招待有り
宮島信也
日本数学会・東北支部会 2025年2月15日
コントラスト変調小角中性子散乱測定における部分散乱関数の数理的誤差評価
眞弓皓一, 小田達郎, 宮島信也, 大林一平, 田中一成
日本中性子科学会第24回年会
行列ランベルトW関数の値の厳密な存在範囲の数値計算 招待有り
宮島信也
京都大学数理解析研究所 共同研究 (公開型)「時間遅れ系と数理科学：理論と応用の新たな展開に向けて」
On the reconstruction accuracy of MIMO radar channel by reconfigurable electronic phantom 国際会議
Ayumi Sato, Chihiro Segawa, Kentaro Murata, Naoki Honma, Shinya Miyajima
The 29th International Symposium on Antennas and Propagation
再構成可能な電子ファントムにおいてアレー内不整合及び結合がチャネル再構成精度に与える影響について
佐藤あゆみ, 瀬川智尋, 村田健太郎, 本間尚樹, 宮島信也
電子情報通信学会2024年ソサイエティ大会
再構成可能な電子ファントムの実現に向けた研究開発
村田健太郎, 小澤勇人, 瀬川智尋, 佐藤あゆみ, 本間尚樹, 宮島信也
電子情報通信学会2024年ソサイエティ大会
非負行列のスペクトル半径に対する下限の単調増加性について
大友海斗, 宮島信也
第22回計算数学研究会
非負行列のスペクトル半径に対する下限の単調増加性
大友海斗, 宮島信也
第50回数値解析シンポジウム 2024年6月13日
Reconfigurable Intelligent Surfaceを用いた電子ファントム
村田健太郎, 瀬川智尋, 新井駿斗, 小澤勇人, 佐藤あゆみ, 本間尚樹, 宮島信也
電子情報通信学会総合大会
Reconfigurable Intelligent Surfaceを用いた電子ファントムのハードウェア構成に対するMIMOレーダチャネル再構成精度の評価
佐藤あゆみ, 新井駿斗, 滝島正博, 瀬川智尋, 村田健太郎, 本間尚樹, 宮島信也
電子情報通信学会総合大会
gap定理に対する別証明
山中佑太, 宮島信也
日本応用数理学会研究部会連合発表会
非負行列のPerron根に対する下限の単調増加性
大友海斗, 宮島信也
日本応用数理学会研究部会連合発表会
クロネッカー構造をもつ大規模行列の行列関数のトレースに対する数値的検証法
黒田早紀, 宮島信也
日本応用数理学会研究部会連合発表会
行列ランベルトW関数の値を包含する区間の数値計算 招待有り
宮島信也
岐阜数理科学セミナー 2024年1月26日
クロネッカー構造をもつ大規模行列の行列関数のトレースに対する精度保証付き数値計算
黒田早紀, 宮島信也
第21回計算数学研究会
遅延微分方程式の特性根に対する区間解析
宮島信也
北見工業大学における微分方程式セミナー 2023年9月
Fast verified computation for all eigenvalues and basis of invariant subspaces of a real symmetric matrix 国際会議 招待有り
Shinya Miyajima
Numerical methods for spectral problems: theory and applications 2023年8月
Verified error bounds for all eigenvalues and basis of invariant subspaces of a real symmetric matrix 国際会議
Shinya Miyajima
25th Conference of the International Linear Algebra Society
行列のすべての固有値に対する精度保証付き数値計算におけるパラメータ決定法
佐藤壮, 宮島信也
日本応用数理学会研究部会連合発表会
実対称行列のすべての固有値と不変部分空間の基底に対する精度保証付き数値計算
宮島信也
日本応用数理学会研究部会連合発表会
既約非負行列のペロンベクトルの大小関係について
宮島信也
日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第34回研究会 2022年12月6日
弱既約非負テンソルのペロンベクトルに関するいくつかの性質とその精度保証付き数値計算
宮島信也
第20回計算数学研究会
行列関数のトレースの精度保証付き数値計算
黒田早紀, 宮島信也
第20回計算数学研究会
弱既約非負テンソルのペロンベクトルに対する精度保証付き数値計算法
宮島信也
2022年並列／分散／協調処理に関するサマー・ワークショップ
クロネッカー構造をもつ大規模行列の実数乗とベクトルの積に対する精度保証付き数値計算 招待有り
宮島信也
岐阜数理科学セミナー 2022年3月29日
クロネッカー構造をもつ大規模行列の実数乗とベクトルの積に対する高速な精度保証付き数値計算法
宮島信也
日本応用数理学会研究部会連合発表会 2022年3月8日
行列関数のトレースに対する高速な精度保証付き数値計算法
黒田早紀, 宮島信也
日本応用数理学会研究部会連合発表会 2022年3月8日
数値ジョルダン分解に基づく行列余弦関数の精度保証付き数値計算
佐藤大, 宮島信也
日本応用数理学会研究部会連合発表会 2022年3月8日
精度保証付き数値計算とは何か - 行列の固有値を題材に - 招待有り
宮島信也
北九州数理科学セミナー 2021年12月17日
Fast computation of an interval containing the minimal nonnegative solution to the nonsymmetric T-Riccati equation
宮島信也
日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第32回研究会 2021年12月10日
Computing enclosure for matrix real powers 国際会議
Shinya Miyajima
The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations 2021年9月
Verified bounds for matrix gamma function 国際会議
Shinya Miyajima
The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations 2021年9月
Fast validation for Perron vectors of a kind of weakly irreducible nonnegative tensors
宮島信也
日本応用数理学会2021年度年会 2021年9月
Fast verification for positive solutions to M-tensor multi-linear systems
宮島信也
日本応用数理学会2021年度年会 2021年9月
Self-validating numerical algorithms for the matrix Mittag-Leffler function 国際会議
Shinya Miyajima
SIAM Conference on Applied Linear Algebra 2021年5月21日
Brauerの定理を利用した正方行列のスペクトル半径の上限に対する数値計算法
伊五澤彩乃, 宮島信也
日本応用数理学会研究部会連合発表会 2021年3月
四元数行列のすべての標準固有値に対する精度保証付き数値計算
丹野遼太郎, 宮島信也
日本応用数理学会研究部会連合発表会 2021年3月
行列Mittag-Leffler関数に対する精度保証付き数値計算と非整数階微分方程式への応用
宮島信也
日本応用数理学会研究部会連合発表会 2021年3月
Verified numerical computation for matrix real powers 招待有り
宮島信也
2020年並列／分散／協調処理に関する『福井』サマー・ワークショップ 2020年7月
精度保証付き数値計算とは何か - 行列の固有値問題を題材に - 招待有り
宮島信也
東京工業大学山田研究室セミナー 2020年3月
Computing intervals containing matrix fractional powers 招待有り
宮島 信也
日本応用数理学会研究部会連合発表会 2020年3月
行列指数関数に対する数値的検証法の改良
中村圭汰, 宮島信也
日本応用数理学会研究部会連合発表会 2020年3月
行列のすべての固有値に対するロバストな数値的検証法
今貴一, 宮島信也
日本応用数理学会研究部会連合発表会 2020年3月
行列指数関数に対する数値的検証法 招待有り
宮島 信也
日本数学会・東北支部会 2020年2月22日
Validated numerical computation for the Perron pair of an irreducible nonnegative matrix 国際会議
Shinya Miyajima
International Conference on Recent Advances in Applied Mathematics
Validated numerical computation of eigenpairs in the generalized eigenvalue problem for nonsquare matrix pencil 国際会議
Shinya Miyajima
International Conference on Recent Advances in Applied Mathematics
Enclosing matrix gamma function
宮島 信也
日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第28回研究会
Computing an interval containing matrix gamma function
宮島 信也
第17回計算数学研究会
Fast validation for the Perron pair of an irreducible nonnegative matrix
宮島信也
日本応用数理学会2019年度年会
Fast verified computation for the Perron pair of an irreducible nonnegative matrix 国際会議 招待有り
Shinya Miyajima
RIMS Symposium (open), Numerical methods for spectral problems: theory and applications
Computation of intervals containing Moore-Penrose inverses 国際会議
Shinya Miyajima
The 14th East Asia SIAM Conference
Validated computation for the matrix Lambert W function
宮島信也
第48回数値解析シンポジウム
Computing intervals containing Moore-Penrose inverses
宮島信也
日本応用数理学会研究部会連合発表会
行列余弦関数に対する数値的検証法
佐藤大, 宮島信也
日本応用数理学会研究部会連合発表会
Enclosing the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation 招待有り
Shinya Miyajima
Colloquium (scientific computing)
Computing an interval containing the matrix exponential 招待有り
Shinya Miyajima
Colloquium (scientific computing)
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
Verification algorithms for the matrix Lambert W functions 国際会議
Shinya Miyajima
International Conference on Mathematical Sciences and Technology
行列余弦関数に対する数値的検証法の構築
佐藤大, 宮島信也
第5回ODE若手セミナー
A robust algorithm for enclosing stabilizing solutions of discrete-time algebraic Riccati equations
宮島信也
第16回計算数学研究会
Verified computation of eigenpairs in the generalized eigenvalue problem for rectangular matrix pencils 招待有り
宮島信也
京都大学数理解析研究所 共同研究 (公開型)「次世代の科学技術を支える数値解析学の基盤整備と応用展開」
Fast verified numerical computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation
宮島信也
第47回数値解析シンポジウム
Validated computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation 国際会議
Shinya Miyajima
The 13th East Asia SIAM Conference
Validated computation for the matrix principal logarithm 国際会議
Shinya Miyajima
The 13th East Asia SIAM Conference
Fast validated computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation 国際会議
Shinya Miyajima
The 13th East Asia SIAM Conference
Verified computation for the matrix principal pth root
宮島信也
第46回数値解析シンポジウム
Numerical enclosure for the matrix exponential
宮島信也
日本応用数理学会2017年度年会
Verified solution of the T-congruence Sylvester equation
宮島信也
第15回計算数学研究会
Verified numerical computation for the matrix principal logarithm
宮島信也
日本応用数理学会平成30年研究部会連合発表会
多項式固有値問題のすべての固有値に対する数値的検証法
相馬彩乃, 宮島信也
日本応用数理学会平成30年研究部会連合発表会
Validated solutions to inverse symmetric eigenvalue problems 国際会議
Shinya Miyajima
The 12th East Asia SIAM Conference
Fast validated computation for the matrix principal pth root 国際会議
Shinya Miyajima
The 12th East Asia SIAM Conference
Validated computation for the geometric mean of two matrices 国際会議
Shinya Miyajima
The 12th East Asia SIAM Conference
Fast validated computation for the solvent of the quadratic matrix equation 国際会議
Shinya Miyajima
The 3rd International Conference on Mathematical Sciences and Statistics
Validated computation for the matrix exponential 国際会議
Shinya Miyajima
The 3rd International Conference on Mathematical Sciences and Statistics
Fast validated computation for the solution of the T-congruence Sylvester equation 国際会議
Shinya Miyajima
The 3rd International Conference on Mathematical Sciences and Statistics
Fast enclosure for solutions of discrete-time algebraic Riccati equations
宮島信也
第45回数値解析シンポジウム
Verified error bounds for approximate solutions of saddle point linear systems
宮島信也
第14回計算数学研究会
Verified computation for solutions of inverse symmetric eigenvalue problems
宮島信也
日本応用数理学会平成29年研究部会連合発表会
Verified numerical computation for the geometric mean of two matrices
宮島信也
日本応用数理学会平成29年研究部会連合発表会
Verified numerical computation for the matrix inverse square root 招待有り
宮島信也
岐阜数理科学セミナー
Fast verified numerical computation for all eigenvalues and eigenvectors of a matrix 招待有り
宮島信也
第9回福島応用数学研究集会
Fast validated computation for solutions of algebraic Riccati equations arising in transport theory 国際会議
Shinya Miyajima
17th International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
Fast validated computation for solutions of discrete-time algebraic Riccati equations 国際会議
Shinya Miyajima
17th International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
行列関数の数値計算におけるパラメータ自動決定の研究 競争的資金
宮島信也
2026年4月 ～ 2030年3月
非整数階微分方程式系の解に対する精度保証付き数値計算法の研究 競争的資金
宮島信也
2021年4月 ～ 2026年3月
遅延微分方程式より生ずる非線形固有値問題の解に対する精度保証付き数値計算法の研究 競争的資金
宮島 信也
提供機関：Japan Society for the Promotion of Science
制度名：Grants-in-Aid for Scientific Research
研究種目：Grant-in-Aid for Scientific Research (C)
研究機関：Iwate University
2016年4月 ～ 2022年3月
固有値問題の高速かつ高品質な精度保証付き数値計算法の研究 競争的資金
宮島 信也
2011年4月 ～ 2016年3月
固有値問題における,解の存在証明及び数値解の高速な精度保証法に関する研究 競争的資金
宮島 信也
提供機関：Ministry of Education, Culture, Sports, Science and Technology
制度名：Grants-in-Aid for Scientific Research
研究種目：若手研究(B)
研究機関：Gifu University
2007年4月 ～ 2011年3月
多峰性多変数関数の、極めて正確で常に適用可能な大域的最適化を実用可能にする研究 競争的資金
宮島 信也
2004年4月 ～ 2007年3月
