Details of the Researcher

PHOTO

Shinya Miyajima
Section
Graduate School of Information Sciences
Job title
Professor
Degree

  • Ph.D. in Information Science ( Waseda University)

Research History 5

  • 2026/04 - Present
    Tohoku University　Graduate School of Information Sciences Department of Computer and Mathematical Sciences　Professor

  • 2016/04 - 2026/03
    Iwate University　Faculty of Science and Engineering

  • 2007/09 - 2016/03
    Gifu University　Faculty of Engineering

  • 2006/04 - 2007/08
    Waseda University　Advanced Research Institute for Science and Engineering　Visiting Lecturer (full-time)

  • 2003/04 - 2006/03
    Waseda University　School of Science and Engineering

Education 4

  • Waseda University　Graduate School of Science and Engineering

    2002/09 - 2005/03

  • Waseda University　Graduate School of Science and Engineering

    2001/04 - 2002/09

  • Waseda University　School of Science and Engineering

    1997/04 - 2001/03

  • Nagano Prefectural Ueda Senior High School

    1994/04 - 1997/03

Committee Memberships 12

  • 日本応用数理学会「行列・固有値問題の解法とその応用」研究部会　幹事

    2026/04 - Present

  • 日本応用数理学会　代表会員

    2026/04 - Present

  • 日本応用数理学会「行列・固有値問題の解法とその応用」研究部会　運営委員

    2019/03 - Present

  • 日本応用数理学会論文誌編集委員会　委員

    2014/04 - Present

  • 日本応用数理学会論文誌2025年論文賞審査委員会　委員

    2025/03 - 2025/09

  • 第50回数値解析シンポジウム実行委員会　委員長

    2024/01 - 2024/07

  • JSIAM Letters 編集委員会　委員

    2020/04 - 2024/03

  • 第49回数値解析シンポジウム実行委員会　委員長

    2019/06 - 2023/12

  • 日本応用数理学会論文誌2020年論文賞審査委員会　委員

    2020/03 - 2020/09

  • 日本応用数理学会論文誌2019年論文賞審査委員会　委員

    2019/06 - 2019/09

  • Numerical methods for spectral problems: theory and applications　Program committee

    2019/03 - 2019/09

  • 日本応用数理学会論文誌2018年論文賞審査委員会　委員

    2018/06 - 2018/09

Show all ︎Show first 5

Professional Memberships 3

  • The Mathematical Society of Japan

  • SIAM

  • 日本応用数理学会

Research Interests 4

  • Verified computation

  • Matrix Analysis

  • Interval analysis

  • Numerical Analysis

Research Areas 2

  • Natural sciences / Applied mathematics and statistics /

  • Informatics / Mathematical informatics /

Awards 4

  1. 令和3年度後期岩手大学教養教育科目優秀授業表彰

    2022/05

  2. 令和3年度岩手大学理工学部授業評価優秀教員表彰

    2022/03

  3. 日本シミュレーション学会研究賞

    2006/06

  4. 早稲田大学第16回大川功記念賞

    2006/04

Papers 59

  1. Complementary error matrix function and its numerical computation International-journal International-coauthorship Peer-reviewed

    Amir Sadeghi, Shinya Miyajima

    Linear Algebra and its Applications　2026/08

  2. Perturbation theory for the matrix Mittag-Leffler function International-journal Peer-reviewed

    Shinya Miyajima

    JSIAM Letters　2025/12

  3. Enhanced estimation method for partial scattering functions in CV-SANS via Gaussian process with prior knowledge of smoothness International-journal Peer-reviewed

    Ippei Obayashi, Shinya Miyajima, Kazuaki Tanaka, Koichi Mayumi

    Journal of Applied Crystallography　2025/06

  4. Error evaluation of partial scattering functions obtained from contrast variation small-angle neutron scattering International-journal Peer-reviewed

    Koichi Mayumi, Tatsuro Oda, Shinya Miyajima, Ippei Obayashi, Kazuaki Tanaka

    Journal of Applied Crystallography　2025/02

  5. Some properties concerning Perron vectors of weakly irreducible nonnegative tensors, and their application to rigorous enclosure International-journal Peer-reviewed

    Shinya Miyajima

    Linear Algebra and its Applications　2024/04/15

  6. Fast verified computation for real powers of large matrices with Kronecker structure International-journal Peer-reviewed

    Shinya Miyajima

    Applied Mathematics and Computation　2023/09

  7. Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation International-journal Peer-reviewed

    Shinya Miyajima

    Calcolo　2022/09

  8. Fast verified computation for positive solutions to M-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors International-journal Peer-reviewed

    Shinya Miyajima

    Journal of Computational and Applied Mathematics　2022/05

  9. Verified computation of matrix gamma function International-journal Peer-reviewed

    Shinya Miyajima

    Linear and Multilinear Algebra　2022/05

  10. Verified computation of real powers of matrices International-journal Peer-reviewed

    Shinya Miyajima

    Journal of Computational and Applied Mathematics　2021/08

  11. Fast verification for the Perron pair of an irreducible nonnegative matrix International-journal Peer-reviewed

    Shinya Miyajima

    The Electronic Journal of Linear Algebra　2021/05

  12. Computing enclosures for the matrix Mittag-Leffler function International-journal Peer-reviewed

    Shinya Miyajima

    Journal of Scientific Computing　2021/05

  13. Verified computation for the geometric mean of two matrices International-journal Peer-reviewed

    Shinya Miyajima

    Japan Journal of Industrial and Applied Mathematics　2021/01

  14. Enclosing Moore-Penrose inverses International-journal Peer-reviewed

    MIYAJIMA Shinya

    Calcolo　2020/03

  15. Verified computation of eigenpairs in the generalized eigenvalue problem for nonsquare matrix pencils International-journal Peer-reviewed

    MIYAJIMA Shinya

    Journal of Mathematical Research with Applications　2020/01

  16. Verified computation for the matrix Lambert W function International-journal Peer-reviewed

    Shinya Miyajima

    Applied Mathematics and Computation　2019/12

  17. Robust verification algorithm for stabilizing solutions of discrete-time algebraic Riccati equations International-journal Peer-reviewed

    2019/09

  18. 行列方程式の解に対する数値的検証法の進展 Invited Peer-reviewed

    2019/06

  19. Verified computation for the matrix principal logarithm International-journal Peer-reviewed

    Shinya Miyajima

    Linear Algebra and its Applications　2019/05/15

  20. Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation International-journal Peer-reviewed

    Shinya Miyajima

    Journal of Computational and Applied Mathematics　2019/04/01

  21. Verified computation of the matrix exponential International-journal Peer-reviewed

    2019/02/28

  22. Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation International-journal Peer-reviewed

    2018/09/01

  23. Fast verified computation for the solution of the T-congruence Sylvester equation International-journal Peer-reviewed

    Shinya Miyajima

    Japan Journal of Industrial and Applied Mathematics　35　(2)　541-551　2018/07/01

    Publisher: Springer Tokyo

    DOI： 10.1007/s13160-018-0307-y 　

    ISSN： 1868-937X 0916-7005

  24. Fast verified computation for the matrix principal pth root International-journal Peer-reviewed

    Shinya Miyajima

    Journal of Computational and Applied Mathematics　2018/03/31

  25. Fast verified computation for the solvent of the quadratic matrix equation International-journal Peer-reviewed

    Shinya Miyajima

    The Electronic Journal of Linear Algebra　2018/03/31

  26. Fast verified computation for solutions of algebraic Riccati equations arising in transport theory International-journal Peer-reviewed

    Shinya Miyajima

    Numerical Linear Algebra with Applications　2017/10/31

  27. Verified solutions of inverse symmetric eigenvalue problems International-journal Peer-reviewed

    Shinya Miyajima

    Reliable Computing　2017/09/30

  28. Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations International-journal Peer-reviewed

    Shinya Miyajima

    Journal of Computational and Applied Mathematics　2017/08/31

  29. Verified solutions of delay eigenvalue problems International-journal Peer-reviewed

    Shinya Miyajima

    Applied Mathematics and Computation　303　211-225　2017/06/15

    Publisher: Elsevier Inc.

    DOI： 10.1016/j.amc.2017.01.033 　

    ISSN： 0096-3003

  30. Fast verified computation for solutions of continuous-time algebraic Riccati equations International-journal Peer-reviewed

    Shinya Miyajima

    Japan Journal of Industrial and Applied Mathematics　32　(2)　529-544　2015/07/28

    Publisher: Springer-Verlag Tokyo

    DOI： 10.1007/s13160-015-0178-4 　

    ISSN： 1868-937X 0916-7005

  31. Fast enclosure for the minimum norm least squares solution of the matrix equation AXB = C International-journal Peer-reviewed

    Shinya Miyajima

    Numerical Linear Algebra with Applications　22　(3)　548-563　2015/05/01

    Publisher: John Wiley and Sons Ltd

    DOI： 10.1002/nla.1971 　

    ISSN： 1099-1506 1070-5325

  32. A sharp error bound of the approximate solutions for saddle point linear systems International-journal Peer-reviewed

    Shinya Miyajima

    Journal of Computational and Applied Mathematics　277　36-46　2015/03/15

    Publisher: Elsevier

    DOI： 10.1016/j.cam.2014.09.003 　

    ISSN： 0377-0427

  33. An algorithm for checking incorrectness of a rule in equivalent transformation programs International-journal Peer-reviewed

    Hiroshi Mabuchi, Shinya Miyajima

    International Journal of Innovative Computing, Information and Control　2015/02/01

  34. Fast enclosure for a matrix inverse square root International-journal Peer-reviewed

    Shinya Miyajima

    Linear Algebra and its Applications　2015/02/01

  35. Fast enclosure for solutions of generalized least squares problems International-journal Peer-reviewed

    Shinya Miyajima

    Reliable Computing　2015/02/01

  36. Verified bounds for all the singular values of matrix International-journal Peer-reviewed

    Shinya Miyajima

    Japan Journal of Industrial and Applied Mathematics　31　(3)　513-539　2014/11/01

    Publisher: Springer-Verlag Tokyo

    DOI： 10.1007/s13160-014-0145-5 　

    ISSN： 1868-937X 0916-7005

  37. Componentwise enclosure for solutions of least squares problems and underdetermined systems International-journal Peer-reviewed

    Shinya Miyajima

    Linear Algebra and Its Applications　444　28-41　2014/03/01

    DOI： 10.1016/j.laa.2013.11.044 　

    ISSN： 0024-3795

  38. Fast enclosure for solutions of generalized Sylvester equations International-journal Peer-reviewed

    Shinya Miyajima

    Japan Journal of Industrial and Applied Mathematics　31　(2)　293-304　2014

    Publisher: Springer-Verlag Tokyo

    DOI： 10.1007/s13160-014-0139-3 　

    ISSN： 1868-937X 0916-7005

  39. Fast enclosure for all eigenvalues and invariant subspaces in generalized eigenvalue problems International-journal Peer-reviewed

    Shinya Miyajima

    SIAM Journal on Matrix Analysis and Applications　35　(3)　1205-1225　2014

    Publisher: Society for Industrial and Applied Mathematics Publications

    DOI： 10.1137/140953150 　

    ISSN： 1095-7162 0895-4798

  40. Fast enclosure for solutions of Sylvester equations International-journal Peer-reviewed

    Shinya Miyajima

    Linear Algebra and Its Applications　439　(4)　856-878　2013/08

    DOI： 10.1016/j.laa.2012.07.001 　

    ISSN： 0024-3795

  41. Fast enclosure of matrix polynomials International-journal Peer-reviewed

    Shinya Miyajima

    Reliable Computing　2013/01/01

  42. Componentwise error estimates for solutions obtained by stationary iterative methods International-journal Peer-reviewed

    Shinya Miyajima

    Reliable Computing　2012/04/01

  43. The relation between two types of error bounds for computed matrix eigenvalues International-journal Peer-reviewed

    Shinya Miyajima

    Reliable Computing　2012/04/01

  44. Numerical enclosure for each eigenvalue in generalized eigenvalue problem International-journal Peer-reviewed

    Shinya Miyajima

    Journal of Computational and Applied Mathematics　236　(9)　2545-2552　2012/03

    DOI： 10.1016/j.cam.2011.12.013 　

    ISSN： 0377-0427

  45. Algorithmic debugging of equivalent transformation programs using oracle rules International-journal Invited Peer-reviewed

    Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi

    International Journal of Innovative Computing, Information and Control　2011/08

  46. Fast enclosure for solutions in underdetermined systems International-journal Peer-reviewed

    Shinya Miyajima

    Journal of Computational and Applied Mathematics　2010/10/01

  47. Fast verification for all eigenpairs in symmetric positive definite generalized eigenvalue problems International-journal International-coauthorship Peer-reviewed

    Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi

    Reliable Computing　2010/06/01

  48. Fast enclosure for all eigenvalues in generalized eigenvalue problems International-journal Peer-reviewed

    Shinya Miyajima

    Journal of Computational and Applied Mathematics　233　(11)　2994-3004　2010/04/01

    DOI： 10.1016/j.cam.2009.11.048 　

    ISSN： 0377-0427

  49. Automatic detection of incorrect rules in equivalent transformation programs International-journal Peer-reviewed

    Shinya Miyajima, Hiroshi Mabuchi, Kiyoshi Akama, Yuya Wakamatsu

    International Journal of Innovative Computing, Information and Control　2009/08

    DOI： 10.1109/ICICIC.2007.258 　

  50. GPUを利用した非線形方程式の並列全解探索法 Peer-reviewed

    2008/10/01

  51. Existence test for solution of nonlinear systems applying affine arithmetic International-journal Peer-reviewed

    Shinya Miyajima, Masahide Kashiwagi

    Journal of Computational and Applied Mathematics　199　(2)　304-309　2007/02/15

    DOI： 10.1016/j.cam.2005.08.051 　

    ISSN： 0377-0427

  52. A method of obtaining verified solutions for linear systems suited for Java International-journal International-coauthorship Peer-reviewed

    K. Ozaki, T. Ogita, S. Miyajima, S. Oishi, S. M. Rump

    Journal of Computational and Applied Mathematics　2007/02/01

  53. 実対称行列の各固有対に対する精度保証付き数値計算法 Peer-reviewed

    宮島信也, 荻田武史, 大石進一

    2006/12/01

  54. 実対称行列の各固有値に対する精度保証付き数値計算法 Peer-reviewed

    宮島信也, 荻田武史, 大石進一

    日本応用数理学会論文誌　2005/09/01

  55. On range inclusion of polynomials applying interval arithmetic International-journal Peer-reviewed

    Shinya Miyajima, Masahide Kashiwagi

    IEICE Transactions　2004/03/01

  56. A dividing method utilizing the best multiplication in affine arithmetic International-journal Peer-reviewed

    Shinya Miyajima, Masahide Kashiwagi

    IEICE Electronics Express　1　(7)　176-181　2004

    DOI： 10.1587/elex.1.176 　

    ISSN： 1349-2543

  57. A new dividing method in affine arithmetic International-journal Peer-reviewed

    Shinya Miyajima, Takatomi Miyata, Masahide Kashiwagi

    IEICE Transactions　2003/09/01

  58. アフィン演算における乗除算について Peer-reviewed

    宮島信也, 宮田孝富, 白井健一, 柏木雅英

    2003/03/01

  59. アフィン演算における最良乗算について Peer-reviewed

    宮島信也, 宮田孝富, 柏木雅英

    電子情報通信学会論文誌　2003/02/01

Show all ︎Show first 5

Misc. 12

  1. 行列ランベルトW関数の値を含む区間行列の数値計算

    宮島信也

    京都大学数理解析研究所講究録　2025/12

  2. 数理科学を活用したコントラスト変調小角散乱法による多成分有機ハイブリッド材料のナノ構造解析

    眞弓皓一, 小田達郎, 宮島信也, 大林一平, 田中一成

    日本中性子科学会誌「波紋」　2025/11

  3. Fast enclosure for real powers of Kronecker structured large matrices International-journal Peer-reviewed

    Shinya Miyajima

    AIP Conference Proceedings　2024/06

  4. Computing the enclosure for Perron vectors of weakly irreducible nonnegative tensors International-journal Peer-reviewed

    Shinya Miyajima

    AIP Conference Proceedings　2024/06

  5. Fast enclosure for positive solutions to M-tensor multi-linear systems International-journal Peer-reviewed

    Shinya Miyajima

    AIP Conference Proceedings　2023/09

  6. Fast verification for Perron vectors of a kind of weakly irreducible nonnegative tensors International-journal Peer-reviewed

    Shinya Miyajima

    AIP Conference Proceedings　2023/09

  7. Fast verified computation for the minimal nonnegative solution to the nonsymmetric T-Riccati equation International-journal Peer-reviewed

    Shinya Miyajima

    AIP Conference Proceedings　2023/09

  8. Enclosing all eigenpairs in symmetric positive definite generalized eigenvalue problems International-journal Peer-reviewed

    Shinya Miyajima

    AIP Conference Proceedings　1281　945-948　2010/09

    DOI： 10.1063/1.3498650 　

    ISSN： 0094-243X 1551-7616

  9. Enclosing solutions in least squares problems International-journal Peer-reviewed

    Shinya Miyajima

    2009/09

  10. Fast verification for respective eigenvalues of symmetric matrix International-journal Peer-reviewed

    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

  11. A method which finds maxima and minima of a multivariable function applying affine arithmetic International-journal Peer-reviewed

    Shinya Miyajima, Masahide Kashiwagi

    Lecture Notes in Computer Science　2005

  12. On range evaluation of polynomials by applying interval arithmetic International-journal Peer-reviewed

    Shinya Miyajima, Masahide Kashiwagi

    Lecture Notes in Computer Science　2004

Show all ︎Show first 5

Books and Other Publications 2

  1. 実例詳説 微分積分

    宇佐美広介, 澤田宙広, 橋本隆司, 宮島信也, 室政和

    培風館　2019/01

  2. 実例詳説 線形代数

    宇佐美広介, 亀山敦, 佐藤健治, 澤田宙広, 原下秀士, 宮島信也

    培風館　2015/02

Presentations 109

  1. 二重指数関数型数値積分公式を用いた行列関数の数値計算におけるパラメータ自動決定の改良

    宮島信也

    日本応用数理学会2026年度年会

  2. 行列相補誤差関数とその数値解析

    宮島信也

    福井大学における微分方程式セミナー

  3. 数理科学とコントラスト変調中性子散乱の融合が切り拓く多成分系ナノ構造解析

    眞弓皓一, 小田達郎, 宮島信也, 大林一平, 田中一成

  4. Numerical computation of the complementary error matrix function International-coauthorship

    Shinya Miyajima, Amir Sadeghi

    MSJ Autumn Meeting

  5. Numerical algorithms for complementary error matrix function International-presentation International-coauthorship

    Shinya Miyajima, Amir Sadeghi

    The 19th East Asia SIAM Conference

  6. Numerical calculation for complementary error matrix function International-coauthorship

    Shinya Miyajima, Amir Sadeghi

    Summer United Workshops on Parallel, Distributed and Cooperative Processing 2026

  7. Numerical analysis of the complementary error matrix function International-presentation Invited

    Shinya Miyajima

    3rd International Conference on Non-linear Analysis and Computational Techniques

  8. 数値計算は信仰なのか？ - 行列の固有値を題材に - Invited

    Shinya Miyajima

    2026/07/08

  9. 二重指数関数型数値積分公式を用いた行列関数の数値計算におけるパラメータ自動決定

    宮島信也

    日本応用数理学会研究部会連合発表会

  10. 行列の固有値に対する精度保証付き数値計算法

    宮島信也

    富山数理ワークショップ2026

  11. 数値計算は信仰なのか？

    宮島信也

    岩手大学中堅の会

  12. 非負行列のスペクトル半径の上界・下界となる数列の単調性について

    大友海斗, 宮島信也

    第23回計算数学研究会

  13. コントラスト変調SANSにおける部分散乱関数推定の高精度化: ベイズ推定の活用

    眞弓皓一, 宮島信也, 大林一平, 田中一成

    日本中性子科学会第25回年会

  14. RePH: RIS-inspired electronic phantom International-presentation

    Kentaro Murata, Naoki Honma, Shinya Miyajima

    The 30th International Symposium on Antennas and Propagation

  15. コントラスト変調中性子小角散乱を用いた多成分ナノ構造解析の誤差評価手法開発と高精度化

    眞弓皓一, 小田達郎, 宮島信也, 大林一平, 田中一成

    第74回高分子討論会

  16. 行列指数関数に対する精度保証付き数値計算法 Invited

    宮島信也

    広島数理解析セミナー

  17. ガウス過程回帰によるコントラスト変調中性子小角散乱データの部分散乱関数への高精度な分解手法について

    大林一平, 宮島信也, 田中一成, 眞弓皓一

    2025年度統計関連学会連合大会

  18. Norm bounds on the complimentary error matrix function International-coauthorship

    Shinya Miyajima, Amir Sadeghi

  19. Fast interval computation for Perron vectors of a class of weakly irreducible nonnegative tensors International-presentation Invited

    Shinya Miyajima

    Numerical methods for spectral problems: theory and applications

  20. 行列 Mittag-Leffler 関数に関する摂動理論

    宮島信也

    北見・岐阜数理科学研究交流会　2025/08/27

  21. Numerical computation of intervals containing the solvents to the quadratic matrix equations International-presentation Invited

    Shinya Miyajima

    2nd International Conference on Non-linear Analysis and Computational Techniques

  22. 行列 Mittag-Leffler 関数に対する摂動理論

    宮島信也

    2025年並列／分散／協調処理に関するサマー・ワークショップ

  23. Boundary on channel reconstruction accuracy of RePH International-presentation

    Yuto Ozawa, Kentaro Murata, Naoki Honma, Shinya Miyajima

    The 2025 IEEE International Symposium on Antennas & Propagation and North American Radio Science Meeting

  24. Perturbation bounds for the matrix Mittag-Leffler function International-presentation

    Shinya Miyajima

    The 18th East Asia SIAM Conference

  25. Some norm bounds on the complimentary error matrix functions International-presentation International-coauthorship Invited

    Shinya Miyajima, Amir Sadeghi

    The 26th Conference of the International Linear Algebra Society

  26. 行列相補誤差関数とその数値計算 Invited

    宮島信也

    日本数学会・東北支部会　2025/02/15

  27. コントラスト変調小角中性子散乱測定における部分散乱関数の数理的誤差評価

    眞弓皓一, 小田達郎, 宮島信也, 大林一平, 田中一成

    日本中性子科学会第24回年会

  28. 行列ランベルトW関数の値の厳密な存在範囲の数値計算 Invited

    宮島信也

    京都大学数理解析研究所 共同研究 (公開型)「時間遅れ系と数理科学：理論と応用の新たな展開に向けて」

  29. On the reconstruction accuracy of MIMO radar channel by reconfigurable electronic phantom International-presentation

    Ayumi Sato, Chihiro Segawa, Kentaro Murata, Naoki Honma, Shinya Miyajima

    The 29th International Symposium on Antennas and Propagation

  30. 再構成可能な電子ファントムにおいてアレー内不整合及び結合がチャネル再構成精度に与える影響について

    佐藤あゆみ, 瀬川智尋, 村田健太郎, 本間尚樹, 宮島信也

    電子情報通信学会2024年ソサイエティ大会

  31. 再構成可能な電子ファントムの実現に向けた研究開発

    村田健太郎, 小澤勇人, 瀬川智尋, 佐藤あゆみ, 本間尚樹, 宮島信也

    電子情報通信学会2024年ソサイエティ大会

  32. 非負行列のスペクトル半径に対する下限の単調増加性について

    大友海斗, 宮島信也

    第22回計算数学研究会

  33. 非負行列のスペクトル半径に対する下限の単調増加性

    大友海斗, 宮島信也

    第50回数値解析シンポジウム　2024/06/13

  34. Reconfigurable Intelligent Surfaceを用いた電子ファントム

    村田健太郎, 瀬川智尋, 新井駿斗, 小澤勇人, 佐藤あゆみ, 本間尚樹, 宮島信也

    電子情報通信学会総合大会

  35. Reconfigurable Intelligent Surfaceを用いた電子ファントムのハードウェア構成に対するMIMOレーダチャネル再構成精度の評価

    佐藤あゆみ, 新井駿斗, 滝島正博, 瀬川智尋, 村田健太郎, 本間尚樹, 宮島信也

    電子情報通信学会総合大会

  36. gap定理に対する別証明

    山中佑太, 宮島信也

    日本応用数理学会研究部会連合発表会

  37. 非負行列のPerron根に対する下限の単調増加性

    大友海斗, 宮島信也

    日本応用数理学会研究部会連合発表会

  38. クロネッカー構造をもつ大規模行列の行列関数のトレースに対する数値的検証法

    黒田早紀, 宮島信也

    日本応用数理学会研究部会連合発表会

  39. 行列ランベルトW関数の値を包含する区間の数値計算 Invited

    宮島信也

    岐阜数理科学セミナー　2024/01/26

  40. クロネッカー構造をもつ大規模行列の行列関数のトレースに対する精度保証付き数値計算

    黒田早紀, 宮島信也

    第21回計算数学研究会

  41. 遅延微分方程式の特性根に対する区間解析

    宮島信也

    北見工業大学における微分方程式セミナー　2023/09

  42. Fast verified computation for all eigenvalues and basis of invariant subspaces of a real symmetric matrix International-presentation Invited

    Shinya Miyajima

    Numerical methods for spectral problems: theory and applications　2023/08

  43. Verified error bounds for all eigenvalues and basis of invariant subspaces of a real symmetric matrix International-presentation

    Shinya Miyajima

    25th Conference of the International Linear Algebra Society

  44. 行列のすべての固有値に対する精度保証付き数値計算におけるパラメータ決定法

    佐藤壮, 宮島信也

    日本応用数理学会研究部会連合発表会

  45. 実対称行列のすべての固有値と不変部分空間の基底に対する精度保証付き数値計算

    宮島信也

    日本応用数理学会研究部会連合発表会

  46. 既約非負行列のペロンベクトルの大小関係について

    宮島信也

    日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第34回研究会　2022/12/06

  47. 弱既約非負テンソルのペロンベクトルに関するいくつかの性質とその精度保証付き数値計算

    宮島信也

    第20回計算数学研究会

  48. 行列関数のトレースの精度保証付き数値計算

    黒田早紀, 宮島信也

    第20回計算数学研究会

  49. 弱既約非負テンソルのペロンベクトルに対する精度保証付き数値計算法

    宮島信也

    2022年並列／分散／協調処理に関するサマー・ワークショップ

  50. クロネッカー構造をもつ大規模行列の実数乗とベクトルの積に対する精度保証付き数値計算 Invited

    宮島信也

    岐阜数理科学セミナー　2022/03/29

  51. クロネッカー構造をもつ大規模行列の実数乗とベクトルの積に対する高速な精度保証付き数値計算法

    宮島信也

    日本応用数理学会研究部会連合発表会　2022/03/08

  52. 行列関数のトレースに対する高速な精度保証付き数値計算法

    黒田早紀, 宮島信也

    日本応用数理学会研究部会連合発表会　2022/03/08

  53. 数値ジョルダン分解に基づく行列余弦関数の精度保証付き数値計算

    佐藤大, 宮島信也

    日本応用数理学会研究部会連合発表会　2022/03/08

  54. 精度保証付き数値計算とは何か - 行列の固有値を題材に - Invited

    宮島信也

    北九州数理科学セミナー　2021/12/17

  55. Fast computation of an interval containing the minimal nonnegative solution to the nonsymmetric T-Riccati equation

    Shinya Miyajima

    2021/12/10

  56. Computing enclosure for matrix real powers International-presentation

    Shinya Miyajima

    The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations　2021/09

  57. Verified bounds for matrix gamma function International-presentation

    Shinya Miyajima

    The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations　2021/09

  58. Fast validation for Perron vectors of a kind of weakly irreducible nonnegative tensors

    Shinya Miyajima

    JSIAM Annual Meeting 2021　2021/09

  59. Fast verification for positive solutions to M-tensor multi-linear systems

    Shinya Miyajima

    JSIAM Annual Meeting 2021　2021/09

  60. Self-validating numerical algorithms for the matrix Mittag-Leffler function International-presentation

    Shinya Miyajima

    SIAM Conference on Applied Linear Algebra　2021/05/21

  61. Brauerの定理を利用した正方行列のスペクトル半径の上限に対する数値計算法

    伊五澤彩乃, 宮島信也

    日本応用数理学会研究部会連合発表会　2021/03

  62. 四元数行列のすべての標準固有値に対する精度保証付き数値計算

    丹野遼太郎, 宮島信也

    日本応用数理学会研究部会連合発表会　2021/03

  63. 行列Mittag-Leffler関数に対する精度保証付き数値計算と非整数階微分方程式への応用

    宮島信也

    日本応用数理学会研究部会連合発表会　2021/03

  64. Verified numerical computation for matrix real powers Invited

    Shinya Miyajima

    Summer United Workshops on Parallel, Distributed and Cooperative Processing　2020/07

  65. 精度保証付き数値計算とは何か - 行列の固有値問題を題材に - Invited

    宮島信也

    東京工業大学山田研究室セミナー　2020/03

  66. Computing intervals containing matrix fractional powers Invited

    宮島 信也

    日本応用数理学会研究部会連合発表会　2020/03

  67. 行列指数関数に対する数値的検証法の改良

    中村圭汰, 宮島信也

    日本応用数理学会研究部会連合発表会　2020/03

  68. 行列のすべての固有値に対するロバストな数値的検証法

    今貴一, 宮島信也

    日本応用数理学会研究部会連合発表会　2020/03

  69. 行列指数関数に対する数値的検証法 Invited

    宮島 信也

    日本数学会・東北支部会　2020/02/22

  70. Validated numerical computation for the Perron pair of an irreducible nonnegative matrix International-presentation

    Shinya Miyajima

    International Conference on Recent Advances in Applied Mathematics

  71. Validated numerical computation of eigenpairs in the generalized eigenvalue problem for nonsquare matrix pencil International-presentation

    Shinya Miyajima

  72. Enclosing matrix gamma function

    宮島 信也

    日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第28回研究会

  73. Computing an interval containing matrix gamma function

    宮島 信也

    第17回計算数学研究会

  74. Fast validation for the Perron pair of an irreducible nonnegative matrix

    宮島信也

    日本応用数理学会2019年度年会

  75. Fast verified computation for the Perron pair of an irreducible nonnegative matrix International-presentation Invited

    Shinya Miyajima

    RIMS Symposium (open), Numerical methods for spectral problems: theory and applications

  76. Computation of intervals containing Moore-Penrose inverses International-presentation

    Shinya Miyajima

  77. Validated computation for the matrix Lambert W function

  78. Computing intervals containing Moore-Penrose inverses

    宮島信也

  79. 行列余弦関数に対する数値的検証法

  80. Enclosing the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation Invited

    Shinya Miyajima

  81. Computing an interval containing the matrix exponential Invited

    Shinya Miyajima

  82. A robust algorithm for computing intervals containing the stabilizing solutions of the discrete-time algebraic Riccati equations International-presentation

    Shinya Miyajima

  83. Verification algorithms for the matrix Lambert W functions International-presentation

    Shinya Miyajima

  84. 行列余弦関数に対する数値的検証法の構築

  85. A robust algorithm for enclosing stabilizing solutions of discrete-time algebraic Riccati equations

  86. Verified computation of eigenpairs in the generalized eigenvalue problem for rectangular matrix pencils Invited

    宮島信也

  87. Fast verified numerical computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation

  88. Validated computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation International-presentation

    Shinya Miyajima

  89. Validated computation for the matrix principal logarithm International-presentation

    Shinya Miyajima

  90. Fast validated computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation International-presentation

    Shinya Miyajima

  91. Verified computation for the matrix principal pth root

  92. Numerical enclosure for the matrix exponential

    宮島信也

  93. Verified solution of the T-congruence Sylvester equation

  94. Verified numerical computation for the matrix principal logarithm

    宮島信也

  95. 多項式固有値問題のすべての固有値に対する数値的検証法

  96. Validated solutions to inverse symmetric eigenvalue problems International-presentation

    Shinya Miyajima

  97. Fast validated computation for the matrix principal pth root International-presentation

    Shinya Miyajima

  98. Validated computation for the geometric mean of two matrices International-presentation

    Shinya Miyajima

  99. Fast validated computation for the solvent of the quadratic matrix equation International-presentation

    Shinya Miyajima

  100. Validated computation for the matrix exponential International-presentation

    Shinya Miyajima

  101. Fast validated computation for the solution of the T-congruence Sylvester equation International-presentation

    Shinya Miyajima

  102. Fast enclosure for solutions of discrete-time algebraic Riccati equations

  103. Verified error bounds for approximate solutions of saddle point linear systems

  104. Verified computation for solutions of inverse symmetric eigenvalue problems

  105. Verified numerical computation for the geometric mean of two matrices

  106. Verified numerical computation for the matrix inverse square root Invited

  107. Fast verified numerical computation for all eigenvalues and eigenvectors of a matrix Invited

  108. Fast validated computation for solutions of algebraic Riccati equations arising in transport theory International-presentation

  109. Fast validated computation for solutions of discrete-time algebraic Riccati equations International-presentation

Show all Show first 5

Research Projects 6

  1. 行列関数の数値計算におけるパラメータ自動決定の研究 Competitive

    宮島信也

    Offer Organization: 文部科学省

    System: 科学研究費補助金

    Category: 基盤研究(C)

    Institution: 岩手大学

    2026/04 - 2030/03

  2. 非整数階微分方程式系の解に対する精度保証付き数値計算法の研究 Competitive

    宮島信也

    Offer Organization: 文部科学省

    System: 科学研究費補助金

    Category: 基盤研究(C)

    Institution: 岩手大学

    2021/04 - 2026/03

    More details Close

    理工学においては，現象を理解するために数理モデルが作られ，これらのモデルを解くことによって，未知の現象の予測や新たな工学的製品の設計等が可能となる．これらのモデルは解析的な手法で解くことが困難であるため，計算機を用いた数値計算により解かれることが多い． <BR> 計算機を用いた数値計算では，その計算は正確には行われない．四則演算の結果はその都度有限桁に近似され，極限を含む無限演算は全て有限演算に近似される．計算結果から正しい結論を得るためには，計算結果の誤差評価を行って，厳密解の存在範囲を確定する必要がある．これを行う方法が精度保証付き数値計算法であり，従来の数値計算の枠組みでは近似解を求める道具であった計算機を用いて厳密解をも捉えることを可能にする． <BR> 令和３年度において，線形非整数階微分方程式系の解に対する精度保証付き数値計算法を確立した．また，この方法の応用として，複数の非整数階微分を含む線形微分方程式の解に対する精度保証付き数値計算を行った．

  3. Verified numerical computation for solution to nonlinear eigenvalue problems arising from delay differential equation Competitive

    Miyajima Shinya

    Offer Organization: Japan Society for the Promotion of Science

    System: Grants-in-Aid for Scientific Research

    Category: Grant-in-Aid for Scientific Research (C)

    Institution: Iwate University

    2016/04 - 2022/03

    More details Close

    In general, results of numerical computations do not coincide with exact solutions, since some kinds of errors are included. In order to obtain exact conclusions from the numerical results, we need to estimate the errors and compute intervals enclosing the exact solutions. Numerical verification algorithms have been developed for this purpose. <BR> In this study, we established a numerical verification algorithm for solution to nonlinear eigenvalue problems arising from delay differential equation. Moreover, we established numerical verification algorithms for matrix equations and functions by exploiting the idea obtained during the development of the algorithms for solution to nonlinear eigenvalue problems.

  4. 固有値問題の高速かつ高品質な精度保証付き数値計算法の研究 Competitive

    宮島 信也

    Offer Organization: 文部科学省

    System: 科学研究費補助金

    Category: 基盤研究(C)

    2011/04 - 2016/03

  5. Fast enclosure for solutions in eigenvalue problems Competitive

    Shinya MIYAJIMA

    Offer Organization: Ministry of Education, Culture, Sports, Science and Technology

    System: Grants-in-Aid for Scientific Research

    Category: 若手研究(B)

    Institution: Gifu University

    2007/04 - 2011/03

    More details Close

    We developed theory and algorithms for numerically enclosing solutions in eigenvalue problems.

  6. 多峰性多変数関数の、極めて正確で常に適用可能な大域的最適化を実用可能にする研究 Competitive

    宮島 信也

    Offer Organization: 文部科学省

    System: 科学研究費補助金

    Category: 若手研究(B)

    Institution: 早稲田大学

    2004/04 - 2007/03

    More details Close

    凸多角形制約条件下の大域的最適化問題では、与えられた問題を有限次元非線形方程式の求解問題に帰着させることがある。そこで非線形方程式の解の存在判定法を提案した。詳細は以下のとおりである。 非線形方程式の全ての解を求める方法としては、区間解析に基づく方法がよく知られている。区間解析に基づく方法においては、多くがMoore-Jonesの方法に基づいている。この方法を利用すれば、非線形方程式の全ての解を原理的には有限時間で求めることができる。 しかしこの方法は対象とする方程式が大規模になると膨大な計算時間を必要とするという欠点をもつ。 この方法の効率化を図るためには、解が一意的に存在する領域を早い段階で検出する優れた存在判定法の確立が必要となる。しかしMoore-Jonesの方法で用いられている解の存在判定法は必ずしも優れた方法ではなかった。 この原因の一つには区間演算の問題点である関数値の上下限の過大評価が挙げられる。 本研究ではアフィン演算を利用した新しい解の存在判定法を提案した。 アフィン演算は区間演算の一種である。区間演算では変数問の相関関係が無視されるために関数値の上下限の過大評価が起こってしまうのだが、アフィン演算ではアフィン形式とよばれる線形結合による多項式のもとで変数問の相関関係を考慮ながら計算を行うという特徴を持つため、関数値の上下限の過大評価を抑制し、区間演算よりシャープな関数値の包含を可能とする。 アフィン演算を利用した新しい解の存在判定法を導入することにより、解が一意的に存在する領域を早い段階で検出することが可能となった。 その結果Moore-Jonesの方法では実用時間内に解けなかった大規模非線形方程式の全ての解を効率良く求めることが可能となった。さらに本研究では数値例によって新しい解の存在判定法の有効性を確認した。

Show all Show first 5