MIYAJIMA Shinya 宮島信也

Researcher Number	20367072
Other IDs
External Links
Affiliation (Current)	2025: 岩手大学, 理工学部, 教授
Affiliation (based on the past Project Information) *help	2016 – 2023: 岩手大学, 理工学部, 教授 2007 – 2015: Gifu University, 工学部, 准教授 2006: 早稲田大学, 理工学術院, 講師 2004 – 2005: 早稲田大学, 理工学術院, 助手
Review Section/Research Field	Principal Investigator Engineering fundamentals / Basic Section 12040:Applied mathematics and statistics-related / Foundations of mathematics/Applied mathematics
Keywords	Principal Investigator 精度保証付き数値計算 / 固有値問題 / Mittag-Leffler関数 / 行列関数 / 非整数階微分方程式 / 精度保証付き数値計算法 / 非線形固有値問題 / 遅延微分方程式 / シルベスター方程式 / 劣決定問題 … More / 最小二乗問題 / 代数リカッチ方程式 / 精度保証 / 解の存在証明 / 数理工学(数理的解析・計画・設計) / 高速化 / アフィン演算 / 区間演算 / 多峰性多変数関数 / 大域的最適化 / 実対称行列 / 固有値 / 解の存在判定法 / 全解探索 / 有限次元非線形方程式 Less

Research Projects
(5 results)
Research Products
(200 results)

非整数階微分方程式系の解に対する精度保証付き数値計算法の研究Principal Investigator
- Principal Investigator
  
  宮島信也
- Project Period (FY)
  2021 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  Iwate University
Verified numerical computation for solution to nonlinear eigenvalue problems arising from delay differential equationPrincipal Investigator
- Principal Investigator
  
  Miyajima Shinya
- Project Period (FY)
  2016 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Iwate University
Study on fast and effective numerical verification algorithms in eigenvalue problemsPrincipal Investigator
- Principal Investigator
  
  Miyajima Shinya
- Project Period (FY)
  2011 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Engineering fundamentals
- Research Institution
  Gifu University
Fast enclosure for solutions in eigenvalue problemsPrincipal Investigator
- Principal Investigator
  
  MIYAJIMA Shinya
- Project Period (FY)
  2007 – 2010
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Engineering fundamentals
- Research Institution
  Gifu University
多峰性多変数関数の、極めて正確で常に適用可能な大域的最適化を実用可能にする研究Principal Investigator
- Principal Investigator
  
  宮島信也
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Engineering fundamentals
- Research Institution
  Waseda University

[Book] 実例詳説微分積分2019
- Author(s)
  宇佐美広介, 澤田宙広, 橋本隆司, 宮島信也, 室政和
- Total Pages
  239
- Publisher
  培風館
- ISBN
  4563012122
- Data Source
  KAKENHI-PROJECT-16K05270
[Journal Article] Fast verified computation for real powers of large matrices with Kronecker structure2023
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Applied Mathematics and Computation
  
  Volume: 453 Pages: 1-22
- DOI
  10.1016/j.amc.2023.128055
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K03363
[Journal Article] Verified computation of matrix gamma function2022
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Linear and Multilinear Algebra
  
  Volume: 70 Issue: 7 Pages: 1207-1229
- DOI
  10.1080/03081087.2020.1757602
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K03363
[Journal Article] Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation2022
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Calcolo
  
  Volume: 59 Issue: 3
- DOI
  10.1007/s10092-022-00475-4
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K03363
[Journal Article] Fast verified computation for positive solutions to M-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors2022
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 406 Pages: 113930-113930
- DOI
  10.1016/j.cam.2021.113930
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K03363
[Journal Article] Verified computation for the geometric mean of two matrices2021
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 38 Pages: 211-232
- NAID
  210000178694
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05270
[Journal Article] Fast verification for the Perron pair of an irreducible nonnegative matrix2021
- Author(s)
  Shinya Miyajima
- Journal Title
  
  The Electronic Journal of Linear Algebra
  
  Volume: 37 Pages: 402-415
- DOI
  10.13001/ela.2021.5181
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K05270, KAKENHI-PROJECT-21K03363
[Journal Article] Verified computation of real powers of matrices2021
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 391 Pages: 113431-113431
- DOI
  10.1016/j.cam.2021.113431
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05270
[Journal Article] Computing enclosures for the matrix Mittag-Leffler function2021
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Journal of Scientific Computing
  
  Volume: 87 Issue: 2
- DOI
  10.1007/s10915-021-01447-6
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05270, KAKENHI-PROJECT-21K03363
[Journal Article] Enclosing Moore-Penrose inverses2020
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Calcolo
  
  Volume: 57 Pages: 1-16
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05270
[Journal Article] Verified computation of eigenpairs in the generalized eigenvalue problem for nonsquare matrix pencils2020
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Journal of Mathematical Research with Applications
  
  Volume: 40 Pages: 73-84
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K05270
[Journal Article] Robust verification algorithm for stabilizing solutions of discrete-time algebraic Riccati equations2019
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 36 Pages: 763-776
- NAID
  210000159750
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05270
[Journal Article] Verified computation for the matrix principal logarithm2019
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Linear Algebra and its Applications
  
  Volume: 569 Pages: 38-61
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05270
[Journal Article] 行列方程式の解に対する数値的検証法の進展2019
- Author(s)
  宮島信也
- Journal Title
  
  応用数理
  
  Volume: 29 Pages: 18-25
- NAID
  130007720875
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K05270
[Journal Article] Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation2019
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 350 Pages: 80-86
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05270
[Journal Article] Verified computation for the matrix Lambert W function2019
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Applied Mathematics and Computation
  
  Volume: 362 Pages: 1-15
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05270
[Journal Article] Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation2018
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Computational and Applied Mathematics
  
  Volume: 37 Pages: 4599-4610
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05270
[Journal Article] Fast verified computation for the solution of the T-congruence Sylvester equation2018
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 35 Pages: 541-551
- NAID
  210000168847
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05270
[Journal Article] Fast verified computation for the solvent of the quadratic matrix equation2018
- Author(s)
  Shinya Miyajima
- Journal Title
  
  The Electronic Journal of Linear Algebra
  
  Volume: 34 Pages: 137-151
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05270
[Journal Article] Verified computation of the matrix exponential2018
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Advances in Computational Mathematics
  
  Volume: 45 Pages: 137-152
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05270
[Journal Article] Fast verified computation for the matrix principal pth root2018
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 330 Pages: 276-288
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05270
[Journal Article] Verified solutions of inverse symmetric eigenvalue problems2017
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Reliable Computing
  
  Volume: 24 Pages: 31-44
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05270
[Journal Article] Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations2017
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 319 Pages: 352-364
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05270
[Journal Article] Verified solutions of delay eigenvalue problems2017
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Applied Mathematics and Computation
  
  Volume: 303 Pages: 211-225
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05270
[Journal Article] Fast verified computation for solutions of algebraic Riccati equations arising in transport theory2017
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Numerical Linear Algebra with Applications
  
  Volume: 24 Pages: 1-12
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05270
[Journal Article] Fast enclosure for the minimum norm least squares solution of the matrix equation AXB = C2015
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Numerical Linear Algebra with Applications
  
  Volume: 22 Issue: 3 Pages: 548-563
- DOI
  10.1002/nla.1971
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23560066
[Journal Article] A sharp error bound of the approximate solutions for saddle point linear systems2015
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 277 Pages: 36-46
- DOI
  10.1016/j.cam.2014.09.003
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23560066
[Journal Article] Fast enclosure for solutions of generalized least squares problems2015
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Reliable Computing
  
  Volume: 20 Pages: 89-112
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23560066
[Journal Article] Fast enclosure for a matrix inverse square root2015
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Linear Algebra and its Applications
  
  Volume: 467 Pages: 116-135
- DOI
  10.1016/j.laa.2014.11.007
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23560066
[Journal Article] Fast verified computation for solutions of continuous-time algebraic Riccati equations2015
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 32 Issue: 2 Pages: 529-544
- DOI
  10.1007/s13160-015-0178-4
- NAID
  210000161307
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23560066
[Journal Article] Fast enclosure for all eigenvalues and invariant subspaces in generalized eigenvalue problems2014
- Author(s)
  Shinya Miyajima
- Journal Title
  
  SIAM Journal on Matrix Analysis and Applications
  
  Volume: 35 Issue: 3 Pages: 1205-1225
- DOI
  10.1137/140953150
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23560066
[Journal Article] Fast enclosure for solutions of generalized Sylvester equations2014
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: in press Issue: 2 Pages: 293-304
- DOI
  10.1007/s13160-014-0139-3
- NAID
  210000173509
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23560066
[Journal Article] Verified bounds for all the singular values of matrix2014
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 31 Issue: 3 Pages: 513-539
- DOI
  10.1007/s13160-014-0145-5
- NAID
  210000169840
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23560066
[Journal Article] Componentwise enclosure for solutions of least squares problems and underdetermined systems2014
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Linear Algebra and its Applications
  
  Volume: 444 Pages: 28-41
- DOI
  10.1016/j.laa.2013.11.044
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23560066
[Journal Article] Fast enclosure of matrix polynomials2013
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Reliable Computing
  
  Volume: 18 Pages: 9-14
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23560066
[Journal Article] Fast enclosure for solutions of Sylvester equations2013
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Linear Algebra and its Applications
  
  Volume: in press Issue: 4 Pages: 856-878
- DOI
  10.1016/j.laa.2012.07.001
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23560066
[Journal Article] Numerical enclosure for each EV in generalized EVP2012
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 236 Issue: 9 Pages: 2545-2552
- DOI
  10.1016/j.cam.2011.12.013
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23560066
[Journal Article] Componentwise error estimates for solutions obtained by stationary iterative methods2012
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Reliable Computing
  
  Volume: 16 Pages: 102-106
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23560066
[Journal Article] The relation between two types of error bounds for computed matrix eigenvalues2012
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Reliable Computing
  
  Volume: 16 Pages: 107-113
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23560066
[Journal Article] Fast verification for all eigenpairs in symmetric positive definite generalized eigenvalue problems2010
- Author(s)
  S.Miyajima, T.Ogita, S.M.Rump, S.Oishi
- Journal Title
  
  Reliable Computing
  
  Volume: 14 Pages: 24-45
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19760055
[Journal Article] Fast enclosure for solutions in underdetermined systems2010
- Author(s)
  Shinya Miyajima
- Journal Title
  
  J.Computational and Applied Mathematics
  
  Volume: 234 Pages: 3436-3444
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19760055
[Journal Article] Fast enclosure for all eigenvalues in generalized eigenvalue problems2010
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Journal of Computational and Applied Mathematics Vol.233, Issue 11
  
  Pages: 2994-3004
- Data Source
  KAKENHI-PROJECT-19760055
[Journal Article] Fast verification for all eigenpairs in symmetric positive definite generalized eigenvalue problems2010
- Author(s)
  S.Miyajima, T.Ogita, S.M.Rump, S.Oishi
- Journal Title
  
  Reliable Computing Vol.14
  
  Pages: 24-45
- Data Source
  KAKENHI-PROJECT-19760055
[Journal Article] Fast Enclosure for All Eigenvalues in Generalized Eigenvalue Problems2010
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Journal of Computational and Applied Mathematics 233(11)
  
  Pages: 2994-3004
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19760055
[Journal Article] Fast enclosure for all eigenvalues in generalized eigenvalue problems2010
- Author(s)
  Shinya Miyajima
- Journal Title
  
  J.Computational and Applied Mathematics
  
  Volume: 233 Pages: 2994-3004
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19760055
[Journal Article] Fast enclosure for solutions in underdetermined systems2010
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Journal of Computational and Applied Mathematics Vol.234, Issue 12
  
  Pages: 3436-3444
- Data Source
  KAKENHI-PROJECT-19760055
[Journal Article] Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problems2009
- Author(s)
  Shinya Miyajima
- Journal Title
  
  Reliable Computing (印刷中)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19760055
[Journal Article] Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problems2008
- Author(s)
  Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
- Journal Title
  
  Reliable Computing
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19760055
[Journal Article] Existence Test for Solution of Nonlinear Systems Applying Affine Arithmetic2007
- Author(s)
  Shinya Miyajima, Masahide Kashiwagi
- Journal Title
  
  Journal of Computational and Applied Mathematics Vol.199,Issue 2
  
  Pages: 304-309
- Data Source
  KAKENHI-PROJECT-16760057
[Journal Article] 実対称行列の各固有値に対する精度保証付き数値計算法2005
- Author(s)
  宮島信也, 荻田武史, 大石進一
- Journal Title
  
  日本応用数理学会論文誌 Vol.15, No.3
  
  Pages: 253-268
- Data Source
  KAKENHI-PROJECT-16760057
[Journal Article] Fast verification for Respective Eigenvalues of Symmetric Matrix2005
- Author(s)
  Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi
- Journal Title
  
  Lecture Notes in Computer Science 3718
  
  Pages: 306-317
- Data Source
  KAKENHI-PROJECT-16760057
[Journal Article] A Method Which Finds the Maxima and Minima of a Multivariable Function Applying Affine Arithmetic2005
- Author(s)
  Shinya Miyajima, Masahide Kashiwagi
- Journal Title
  
  Lecture Notes in Computer Science 3401
  
  Pages: 424-431
- Data Source
  KAKENHI-PROJECT-16760057
[Journal Article] A Method Which Finds Maxima and Minima of a Multivariable Function Applying Mean Value Form2004
- Author(s)
  Shinya Miyajima, Masahide Kashiwagi
- Journal Title
  
  Proc.11th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics
  
  Pages: 83-83
- Data Source
  KAKENHI-PROJECT-16760057
[Journal Article] A Method Which Finds Maxima and Minima of a Multivariable Function Applying Affine Arithmetic2004
- Author(s)
  Shinya Miyajima, Masahide Kashiwagi
- Journal Title
  
  Proc.Third International Conference on "Numerical Analysis an Applications"
  
  Pages: 31-31
- Data Source
  KAKENHI-PROJECT-16760057
[Journal Article] アフィン演算による多変数関数の最大値探索法2004
- Author(s)
  宮島信也, 柏木雅英
- Journal Title
  
  2004年電子情報通信学会ソサエティ大会講演論文集
  
  Pages: 46-46
- Data Source
  KAKENHI-PROJECT-16760057
[Presentation] クロネッカー構造をもつ大規模行列の行列関数のトレースに対する数値的検証法2024
- Author(s)
  黒田早紀, 宮島信也
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] 非負行列のPerron根に対する下限の単調増加性2024
- Author(s)
  大友海斗, 宮島信也
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] 行列ランベルトW関数の値を包含する区間の数値計算2024
- Author(s)
  宮島信也
- Organizer
  岐阜数理科学セミナー
- Invited
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] gap定理に対する別証明2024
- Author(s)
  山中佑太, 宮島信也
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] 遅延微分方程式の特性根に対する区間解析2023
- Author(s)
  宮島信也
- Organizer
  北見工業大学における微分方程式セミナー
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] 行列のすべての固有値に対する精度保証付き数値計算におけるパラメータ決定法2023
- Author(s)
  佐藤壮, 宮島信也
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] 実対称行列のすべての固有値と不変部分空間の基底に対する精度保証付き数値計算2023
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] クロネッカー構造をもつ大規模行列の行列関数のトレースに対する精度保証付き数値計算2023
- Author(s)
  黒田早紀, 宮島信也
- Organizer
  第21回計算数学研究会
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] Fast verified computation for all eigenvalues and basis of invariant subspaces of a real symmetric matrix2023
- Author(s)
  Shinya Miyajima
- Organizer
  Numerical methods for spectral problems: theory and applications
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] Verified error bounds for all eigenvalues and basis of invariant subspaces of a real symmetric matrix2023
- Author(s)
  Shinya Miyajima
- Organizer
  25th Conference of the International Linear Algebra Society
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] Computing the enclosure for Perron vectors of weakly irreducible nonnegative tensors2022
- Author(s)
  Shinya Miyajima
- Organizer
  The 20th International Conference of Numerical Analysis and Applied Mathematics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] 行列関数のトレースに対する高速な精度保証付き数値計算法2022
- Author(s)
  黒田早紀, 宮島信也
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] クロネッカー構造をもつ大規模行列の実数乗とベクトルの積に対する精度保証付き数値計算2022
- Author(s)
  宮島信也
- Organizer
  岐阜数理科学セミナー
- Invited
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] 既約非負行列のペロンベクトルの大小関係について2022
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会「行列・固有値問題の解法とその応用」研究部会第34回研究会
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] クロネッカー構造をもつ大規模行列の実数乗とベクトルの積に対する精度保証付き数値計算2022
- Author(s)
  宮島信也
- Organizer
  岐阜数理科学セミナー
- Invited
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] 行列関数のトレースの精度保証付き数値計算2022
- Author(s)
  黒田早紀, 宮島信也
- Organizer
  第20回計算数学研究会
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] クロネッカー構造をもつ大規模行列の実数乗とベクトルの積に対する高速な精度保証付き数値計算法2022
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Fast enclosure for real powers of large matrices with Kronecker structure2022
- Author(s)
  Shinya Miyajima
- Organizer
  The 20th International Conference of Numerical Analysis and Applied Mathematics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] 数値ジョルダン分解に基づく行列余弦関数の精度保証付き数値計算2022
- Author(s)
  佐藤大, 宮島信也
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] クロネッカー構造をもつ大規模行列の実数乗とベクトルの積に対する高速な精度保証付き数値計算法2022
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] 弱既約非負テンソルのペロンベクトルに対する精度保証付き数値計算法2022
- Author(s)
  宮島信也
- Organizer
  2022年並列／分散／協調処理に関するサマー・ワークショップ
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] 行列関数のトレースに対する高速な精度保証付き数値計算法2022
- Author(s)
  黒田早紀, 宮島信也
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] 弱既約非負テンソルのペロンベクトルに関するいくつかの性質とその精度保証付き数値計算2022
- Author(s)
  宮島信也
- Organizer
  第20回計算数学研究会
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] 数値ジョルダン分解に基づく行列余弦関数の精度保証付き数値計算2022
- Author(s)
  佐藤大, 宮島信也
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Fast validation for Perron vectors of a kind of weakly irreducible nonnegative tensors2021
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会2021年度年会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Computing enclosure for matrix real powers2021
- Author(s)
  Shinya Miyajima
- Organizer
  The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Fast verification for Perron vectors of a kind of weakly irreducible nonnegative tensors2021
- Author(s)
  Shinya Miyajima
- Organizer
  The 19th International Conference of Numerical Analysis and Applied Mathematics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] Computing enclosure for matrix real powers2021
- Author(s)
  Shinya Miyajima
- Organizer
  The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] Fast verification for positive solutions to M-tensor multi-linear systems2021
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会2021年度年会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] 四元数行列のすべての標準固有値に対する精度保証付き数値計算2021
- Author(s)
  丹野遼太郎, 宮島信也
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Fast computation of an interval containing the minimal nonnegative solution to the nonsymmetric T-Riccati equation2021
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会「行列・固有値問題の解法とその応用」研究部会第32回研究会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Brauerの定理を利用した正方行列のスペクトル半径の上限に対する数値計算法2021
- Author(s)
  伊五澤彩乃, 宮島信也
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] 精度保証付き数値計算とは何か - 行列の固有値を題材に -2021
- Author(s)
  宮島信也
- Organizer
  北九州数理科学セミナー
- Invited
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Fast verification for positive solutions to M-tensor multi-linear systems2021
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会2021年度年会
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] Fast verification for Perron vectors of a kind of weakly irreducible nonnegative tensors2021
- Author(s)
  Shinya Miyajima
- Organizer
  The 19th International Conference of Numerical Analysis and Applied Mathematics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Fast enclosure for positive solutions to M-tensor multi-linear systems2021
- Author(s)
  Shinya Miyajima
- Organizer
  The 19th International Conference of Numerical Analysis and Applied Mathematics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Fast validation for Perron vectors of a kind of weakly irreducible nonnegative tensors2021
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会2021年度年会
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] Self-validating numerical algorithms for the matrix Mittag-Leffler function2021
- Author(s)
  Shinya Miyajima
- Organizer
  SIAM Conference on Applied Linear Algebra
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] Self-validating numerical algorithms for the matrix Mittag-Leffler function2021
- Author(s)
  Shinya Miyajima
- Organizer
  SIAM Conference on Applied Linear Algebra
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] 行列Mittag-Leffler関数に対する精度保証付き数値計算と非整数階微分方程式への応用2021
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Verified bounds for matrix gamma function2021
- Author(s)
  Shinya Miyajima
- Organizer
  The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] Fast enclosure for positive solutions to M-tensor multi-linear systems2021
- Author(s)
  Shinya Miyajima
- Organizer
  The 19th International Conference of Numerical Analysis and Applied Mathematics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] 精度保証付き数値計算とは何か - 行列の固有値を題材に -2021
- Author(s)
  宮島信也
- Organizer
  北九州数理科学セミナー
- Invited
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] Fast computation of an interval containing the minimal nonnegative solution to the nonsymmetric T-Riccati equation2021
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会「行列・固有値問題の解法とその応用」研究部会第32回研究会
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] Verified bounds for matrix gamma function2021
- Author(s)
  Shinya Miyajima
- Organizer
  The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Fast verified computation for the minimal nonnegative solution to the nonsymmetric T-Riccati equation2021
- Author(s)
  Shinya Miyajima
- Organizer
  The 19th International Conference of Numerical Analysis and Applied Mathematics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03363
[Presentation] Fast verified computation for the minimal nonnegative solution to the nonsymmetric T-Riccati equation2021
- Author(s)
  Shinya Miyajima
- Organizer
  The 19th International Conference of Numerical Analysis and Applied Mathematics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Computing intervals containing matrix fractional powers2020
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会研究部会連合発表会
- Invited
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] 行列指数関数に対する数値的検証法2020
- Author(s)
  宮島信也
- Organizer
  日本数学会・東北支部会
- Invited
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] 行列のすべての固有値に対するロバストな数値的検証法2020
- Author(s)
  今貴一, 宮島信也
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] 行列指数関数に対する数値的検証法の改良2020
- Author(s)
  中村圭汰, 宮島信也
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Verified numerical computation for matrix real powers2020
- Author(s)
  宮島信也
- Organizer
  2020年並列／分散／協調処理に関する『福井』サマー・ワークショップ
- Invited
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] 数値的検証法とは何か -行列の固有値問題を題材に-2019
- Author(s)
  宮島信也
- Organizer
  理工・農学部若手研究会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] 行列余弦関数に対する数値的検証法2019
- Author(s)
  佐藤大, 宮島信也
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Enclosing matrix gamma function2019
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会「行列・固有値問題の解法とその応用」研究部会第28回研究会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Computing an interval containing matrix gamma function2019
- Author(s)
  宮島信也
- Organizer
  第17回計算数学研究会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Computing intervals containing Moore-Penrose inverses2019
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Validated computation for the matrix Lambert W function2019
- Author(s)
  宮島信也
- Organizer
  第48回数値解析シンポジウム
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Computation of intervals containing Moore-Penrose inverses2019
- Author(s)
  Shinya Miyajima
- Organizer
  The 14th East Asia SIAM Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Fast validation for the Perron pair of an irreducible nonnegative matrix2019
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会2019年度年会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Validated numerical computation for the Perron pair of an irreducible nonnegative matrix2019
- Author(s)
  Shinya Miyajima
- Organizer
  International Conference on Recent Advances in Applied Mathematics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Validated numerical computation of eigenpairs in the generalized eigenvalue problem for nonsquare matrix pencil2019
- Author(s)
  Shinya Miyajima
- Organizer
  International Conference on Recent Advances in Applied Mathematics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Fast verified computation for the Perron pair of an irreducible nonnegative matrix2019
- Author(s)
  Shinya Miyajima
- Organizer
  RIMS Symposium (open), Numerical methods for spectral problems: theory and applications
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] A robust algorithm for enclosing stabilizing solutions of discrete-time algebraic Riccati equations2018
- Author(s)
  宮島信也
- Organizer
  第16回計算数学研究会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Fast validated computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation2018
- Author(s)
  Shinya Miyajima
- Organizer
  The 13th East Asia SIAM Conference
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Verification algorithms for the matrix Lambert W functions2018
- Author(s)
  Shinya Miyajima
- Organizer
  International Conference on Mathematical Sciences and Technology
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] A robust algorithm for computing intervals containing the stabilizing solutions of the discrete-time algebraic Riccati equations2018
- Author(s)
  Shinya Miyajima
- Organizer
  International Conference on Mathematical Sciences and Technology
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Fast verified numerical computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation2018
- Author(s)
  宮島信也
- Organizer
  第47回数値解析シンポジウム
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Enclosing the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation2018
- Author(s)
  Shinya Miyajima
- Organizer
  Colloquium (scientific computing)
- Invited
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Validated computation for the matrix exponential2018
- Author(s)
  Shinya Miyajima
- Organizer
  The 3rd International Conference on Mathematical Sciences and Statistics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Enclosing the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation2018
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会2018年度年会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Verified numerical computation for the matrix principal logarithm2018
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会平成30年研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Verified computation of eigenpairs in the generalized eigenvalue problem for rectangular matrix pencils2018
- Author(s)
  宮島信也
- Organizer
  京都大学数理解析研究所共同研究 (公開型)
- Invited
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Fast validated computation for the solution of the T-congruence Sylvester equation2018
- Author(s)
  Shinya Miyajima
- Organizer
  The 3rd International Conference on Mathematical Sciences and Statistics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Fast validated computation for the solvent of the quadratic matrix equation2018
- Author(s)
  Shinya Miyajima
- Organizer
  The 3rd International Conference on Mathematical Sciences and Statistics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] 多項式固有値問題のすべての固有値に対する数値的検証法2018
- Author(s)
  相馬彩乃，宮島信也
- Organizer
  日本応用数理学会平成30年研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] 行列余弦関数に対する数値的検証法の構築2018
- Author(s)
  佐藤大, 宮島信也
- Organizer
  第5回 ODE 若手セミナー
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Validated computation for the matrix principal logarithm2018
- Author(s)
  Shinya Miyajima
- Organizer
  The 13th East Asia SIAM Conference
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Validated computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation2018
- Author(s)
  Shinya Miyajima
- Organizer
  The 13th East Asia SIAM Conference
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Computing an interval containing the matrix exponential2018
- Author(s)
  Shinya Miyajima
- Organizer
  Colloquium (scientific computing)
- Invited
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Validated computation for the geometric mean of two matrices2017
- Author(s)
  Shinya Miyajima
- Organizer
  The 13th East Asia SIAM Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Verified computation for the matrix principal pth root2017
- Author(s)
  宮島信也
- Organizer
  第46回数値解析シンポジウム
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Fast verified numerical computation for all eigenvalues and eigenvectors of a matri2017
- Author(s)
  宮島信也
- Organizer
  第9回福島応用数学研究集会
- Place of Presentation
  コラッセふくしま（福島県福島市）
- Year and Date
  2017-03-08
- Invited
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Verified solution of the T-congruence Sylvester equation2017
- Author(s)
  宮島信也
- Organizer
  第15回計算数学研究会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Validated solutions to inverse symmetric eigenvalue problems2017
- Author(s)
  Shinya Miyajima
- Organizer
  The 13th East Asia SIAM Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Verified numerical computation for the geometric mean of two matrices2017
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会平成29年研究部会連合発表会
- Place of Presentation
  電気通信大学（東京都調布市）
- Year and Date
  2017-03-06
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Fast validated computation for the matrix principal pth root2017
- Author(s)
  Shinya Miyajima
- Organizer
  The 13th East Asia SIAM Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Numerical enclosure for the matrix exponential2017
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会2017年度年会
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Verified computation for solutions of inverse symmetric eigenvalue problems2017
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会平成29年研究部会連合発表会
- Place of Presentation
  電気通信大学（東京都調布市）
- Year and Date
  2017-03-06
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Verified error bounds for approximate solutions of saddle point linear systems2016
- Author(s)
  宮島信也
- Organizer
  第14回計算数学研究会
- Place of Presentation
  琵琶湖コンファレンスセンター（滋賀県彦根市）
- Year and Date
  2016-12-17
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Fast verified computation for solutions of nonsymmetric algebraic Riccati equations arising in transport theory2016
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会平成28年研究部会連合発表会
- Place of Presentation
  神戸学院大学
- Year and Date
  2016-03-04
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] Fast enclosure for solutions of discrete-time algebraic Riccati equations2016
- Author(s)
  宮島信也
- Organizer
  第45回数値解析シンポジウム
- Place of Presentation
  霧島ホテル（鹿児島県霧島市）
- Year and Date
  2016-06-08
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Fast validated computation for solutions of algebraic Riccati equations arising in transport theory2016
- Author(s)
  Shinya Miyajima
- Organizer
  17th International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
- Place of Presentation
  Uppsala University（スウェーデン）
- Year and Date
  2016-09-26
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Fast validated computation for solutions of discrete-time algebraic Riccati equations2016
- Author(s)
  Shinya Miyajima
- Organizer
  17th International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
- Place of Presentation
  Uppsala University（スウェーデン）
- Year and Date
  2016-09-26
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Verified numerical computation for the matrix inverse square root2016
- Author(s)
  宮島信也
- Organizer
  岐阜数理科学セミナー
- Place of Presentation
  岐阜大学（岐阜県岐阜市）
- Invited
- Data Source
  KAKENHI-PROJECT-16K05270
[Presentation] Verified numerical computation for solutions of delay eigenvalue problems with multiple eigenvalues2015
- Author(s)
  Shinya Miyajima
- Organizer
  The 2nd International Joint Meeting of Global Environment & Energy Course
- Place of Presentation
  Gifu University
- Year and Date
  2015-11-04
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] Validated solutions of delay eigenvalue problems with multiple eigenvalues2015
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会2015年度年会
- Place of Presentation
  金沢大学
- Year and Date
  2015-09-09
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] Validated solutions of delay eigenvalue problems2015
- Author(s)
  宮島信也
- Organizer
  第44回数値解析シンポジウム
- Place of Presentation
  ぶどうの丘（山梨県甲州市）
- Year and Date
  2015-06-08
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] Verified solutions of delay eigenvalue problems with multiple eigenvalues2015
- Author(s)
  Shinya Miyajima
- Organizer
  SIAM Conference on Applied Linear Algebra
- Place of Presentation
  Hyatt Regency Atlanta
- Year and Date
  2015-10-26
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] Fast enclosure for solutions of continuous-time algebraic Riccati equations2013
- Author(s)
  Shinya Miyajima
- Organizer
  The 9th East Asia SIAM Conference - The 2nd Conference on Industrial and Applied Mathematics
- Place of Presentation
  The Newton Hotel, Indonesia
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] Fast inclusion for the minimum norm least squares solutions of the matrix equations AXB = C2013
- Author(s)
  Shinya Miyajima
- Organizer
  The 9th East Asia SIAM Conference - The 2nd Conference on Industrial and Applied Mathematics
- Place of Presentation
  The Newton Hotel, Indonesia
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] Fast verified computation for solutions of generalized least squares problems2013
- Author(s)
  Shinya Miyajima
- Organizer
  2013 The European Numerical Mathematics and Advanced Applications Conference
- Place of Presentation
  Ecole Polytechnique Federale de Lausanne, Switzerland
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] 連続時間代数リカッチ方程式の解に対する簡便かつ高速な数値的検証法2013
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会2013年度年会
- Place of Presentation
  アクロス福岡
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] Fast inclusion for solutions of generalized least squares problems2013
- Author(s)
  宮島信也
- Organizer
  第42回数値解析シンポジウム
- Place of Presentation
  四国道後舘
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] シルベスター方程式の解に対する高速な精度保証付き数値計算法2012
- Author(s)
  宮島信也
- Organizer
  新潟大学数理情報セミナー(招待講演)
- Place of Presentation
  新潟大学
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] シルベスター方程式の数値解に対する高速精度保証2011
- Author(s)
  宮島信也
- Organizer
  線形計算研究会(招待講演)
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] The relation between 2 ALGs for enclosing MTX EVs2011
- Author(s)
  Shinya Miyajima
- Organizer
  24th Biennial Conference on Numerical Analysis
- Place of Presentation
  the University of Strathclyde
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] Error bounds for solutions obtained by SIMs2011
- Author(s)
  宮島信也
- Organizer
  第40回数値解析シンポジウム
- Place of Presentation
  鳥羽シーサイドホテル
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] シルベスター方程式の解に対する高速な数値的検証法2011
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会2011年度年会
- Place of Presentation
  同志社大学
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] Enclosing solutions in Sylvester equations2011
- Author(s)
  Shinya Miyajima
- Organizer
  The 17th ILAS Conference
- Place of Presentation
  TU Braunschweig
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] Error estimation for solutions obtained by SIMs2011
- Author(s)
  Shinya Miyajima
- Organizer
  ICIAM 2011
- Place of Presentation
  Vancouver Convention Centre
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] 一般化固有値問題における各固有値に対する数値的包含2010
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会2010年度年会講演予稿集
- Place of Presentation
  49-50(明治大学)
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] Numerical Inclusion for All Eigenvalues in Generalized Eigenvalue Problems2010
- Author(s)
  宮島信也
- Organizer
  デジタル解析学セミナー
- Place of Presentation
  早稲田大学
- Year and Date
  2010-01-27
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] Error bounds for computed eigenvalues in generalized eigenvalue problem2010
- Author(s)
  Shinya Miyajima
- Organizer
  14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
- Place of Presentation
  Ecole Normale Superieurede Lyon
- Year and Date
  2010-09-28
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] Enclosing all eigenpairs in symmetric positive definite generalized eigenvalue problems2010
- Author(s)
  Shinya Miyajima
- Organizer
  The 8th International Conference of Numerical Analysis and Applied Mathematics
- Place of Presentation
  Rodos Palace
- Year and Date
  2010-09-20
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] 一般化固有値問題における各固有値に対する数値的包含2010
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会2010年度年会
- Place of Presentation
  明治大学
- Year and Date
  2010-09-06
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] Enclosing all eigenpairs in symmetric positive definite generalized eigenvalue problems, Proc.The 8th International Conference of Numerical Analysis and Applied Mathematics2010
- Author(s)
  Shinya Miyajima
- Organizer
  Island of Rhodes
- Place of Presentation
  945-948(Greece)
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] Error bounds for computed eigenvalues in generalized eigenvalue problem, Proc.14th GAMM-IMACS International Symposium on Scientific Computing2010
- Author(s)
  Shinya Miyajima
- Organizer
  Computer Arithmetic and Validated Numerics
- Place of Presentation
  95-96(Lyon, France)
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] Numerical Inclusion for All Eigenvalues in Generalized Eigenvalue Problemes2010
- Author(s)
  宮島信也
- Organizer
  デジタル解析学セミナー
- Place of Presentation
  早稲田大学
- Year and Date
  2010-01-27
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] 一般化固有値問題におけるすべての固有値の数値的包含2009
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会2009年度年会講演予稿集
- Place of Presentation
  305-306(大阪大学)
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] 一般化固有値問題におけるすべての固有値の数値的包含2009
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会2009年度年会
- Place of Presentation
  大阪大学
- Year and Date
  2009-09-30
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] Enclosing all eigenvalues in generalized eigenvalue problem, Proc.13th GAMM-IMACS International Symposium on Scientific Computing2008
- Author(s)
  Shinya Miyajima
- Organizer
  Computer Arithmetic and Validated Numerics
- Place of Presentation
  73-74(Texas, US)
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] Verifying All Eigenvalues in Generalized Eigenvalue Problem2008
- Author(s)
  Shinya Miyajima, Michael Plum, Takeshi Ogita, Shin'ichi Oishi
- Organizer
  2008 International Workshop on Numerical Verification and its Applications
- Place of Presentation
  Tokyo Dai-ichi Hotel
- Year and Date
  2008-03-05
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] Enclosing All Eigenvalues in Generalized Eigenvalue Problem2008
- Author(s)
  Shinya Miyajima
- Organizer
  3th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics
- Place of Presentation
  The University of Texas at EI Paso(米国)
- Year and Date
  2008-09-29
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] Enclosing All Eigenvalues in Generalized Eigenvalue Problem2008
- Author(s)
  Shinya Miyajima
- Organizer
  13th GAMM IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics
- Place of Presentation
  The University of Texas at El Paso
- Year and Date
  2008-09-29
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] 実対称正定値一般化固有値問題におけるすべての固有対の精度保証2007
- Author(s)
  宮島信也, 荻田武史, Siegfried M.Rump, 大石進一
- Organizer
  第36回数値解析シンポジウム講演予稿集
- Place of Presentation
  137-140(ウェルシティ湯河原)
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] 一般化固有値問題における解の高速精度保証2007
- Author(s)
  宮島信也
- Organizer
  第1回数理デザイン研究コロキウム
- Place of Presentation
  岐阜大学
- Year and Date
  2007-10-24
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] Verified All Eigenpairs of Generalized Eigenvalue Problem2007
- Author(s)
  Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
- Organizer
  精度保証付き数値計算とその周辺」ワークショップ
- Place of Presentation
  岐阜大学
- Year and Date
  2007-10-12
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] Verifying All Eigenpairs in Real Symmetric Positive Definite Generalized Eigenvalue Problem2007
- Author(s)
  Shinya Miyajima
- Organizer
  6th International Congress on Industrial and Applied Mathematics
- Place of Presentation
  Universitat Zurich
- Year and Date
  2007-07-16
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] 一般化固有値問題におけるすべての固有対の高速精度保証2007
- Author(s)
  宮島信也, 荻田武史, Siegfried M.Rump, 大石進一
- Organizer
  日本応用数理学会2007年度年会講演予稿集
- Place of Presentation
  220-221(北海道大学)
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] 実対称正定値一般化固有値問題における解の高速精度保証2007
- Author(s)
  宮島信也
- Organizer
  岐阜非線形セミナー
- Place of Presentation
  岐阜大学
- Year and Date
  2007-12-21
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] Verifying all eigenpairs in real symmetric positive definite generalized eigenvalue problem2007
- Author(s)
  S.Miyajima, T.Ogita, S.Oishi
- Organizer
  Proc.6th International Congress on Industrial and Applied Mathematics
- Place of Presentation
  2020061-2020062(Zurich, Switzerland)
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] Verifying All Eigenpairs in Real Symmetric Positive Definite Generalized Eigenvalue Problem2007
- Author(s)
  Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi
- Organizer
  6th International Congress on Industrial and Applied Mathematics
- Place of Presentation
  ETH Zurich
- Year and Date
  2007-07-16
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] 実対称正定値一般化固有値問題におけるすべての固有対の精度保証2007
- Author(s)
  宮島信也, 荻田武史, Siegfried M. Rump, 大石進一
- Organizer
  第36回数値解析シンポジウム
- Place of Presentation
  ウェルシティ湯河原
- Year and Date
  2007-06-21
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] Verified All Eigenpairs of Generalized Eigenvalue Problem2007
- Author(s)
  Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
- Organizer
  International Workshop on Numerical Verification and its Applications
- Place of Presentation
  Waseda University
- Year and Date
  2007-03-01
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] 一般化固有値問題におけるすべての固有対の高速精度保証2007
- Author(s)
  宮島信也, 荻田武史, Siegfried M. Rump, 大石進一
- Organizer
  日本応用数理学会2007年度年会
- Place of Presentation
  北海道大学
- Year and Date
  2007-09-16
- Data Source
  KAKENHI-PROJECT-19760055
[Presentation] 行列の特異値の厳密な存在範囲の数値計算法
- Author(s)
  宮島信也
- Organizer
  第1回岐阜数理科学研究会
- Place of Presentation
  岐阜大学
- Invited
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] Verified computations for all generalized singular values
- Author(s)
  Shinya Miyajima
- Organizer
  15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
- Place of Presentation
  The Siberian Department of the Russian Academy of Sciences
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] Enclosing solutions of the delay eigenvalue problem
- Author(s)
  Shinya Miyajima
- Organizer
  2015 Australia and New Zealand Industrial and Applied Mathematics Conference
- Place of Presentation
  The Outrigger Surfers Paradise
- Year and Date
  2015-02-01 – 2015-02-05
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] 行列のすべての固有値と不変部分空間に対する数値的検証法
- Author(s)
  宮島信也
- Organizer
  日本応用数理学会平成27年研究部会連合発表会
- Place of Presentation
  明治大学
- Year and Date
  2015-03-06 – 2015-03-07
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] Fast inclusion for solutions of continuous-time algebraic Riccati equations
- Author(s)
  宮島信也
- Organizer
  数理科学セミナー
- Place of Presentation
  一橋大学
- Invited
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] Verified solutions of saddle point linear systems
- Author(s)
  Shinya Miyajima
- Organizer
  GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
- Place of Presentation
  University of　Wurzburg
- Year and Date
  2014-09-21 – 2014-09-26
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] Componentwise verified numerical computation for solutions of least squares problems
- Author(s)
  宮島信也
- Organizer
  語ろう数理解析セミナー拡大版
- Place of Presentation
  新潟大学
- Invited
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] Componentwise inclusion for solutions in least squares problems and underdetermined systems
- Author(s)
  Shinya Miyajima
- Organizer
  15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
- Place of Presentation
  The Siberian Department of the Russian Academy of Sciences
- Data Source
  KAKENHI-PROJECT-23560066
[Presentation] Fast inclusion for the matrix inverse square root
- Author(s)
  Shinya Miyajima
- Organizer
  GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
- Place of Presentation
  University of Wurzburg
- Year and Date
  2014-09-21 – 2014-09-26
- Data Source
  KAKENHI-PROJECT-23560066

MIYAJIMA Shinya 宮島 信也

Research Projects

Research Products

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Verified numerical computation for solution to nonlinear eigenvalue problems arising from delay differential equationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study on fast and effective numerical verification algorithms in eigenvalue problemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Fast enclosure for solutions in eigenvalue problemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 実例詳説 微分積分2019

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Journal Article] Fast verified computation for real powers of large matrices with Kronecker structure2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Verified computation of matrix gamma function2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Fast verified computation for positive solutions to M-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Verified computation for the geometric mean of two matrices2021

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Fast verification for the Perron pair of an irreducible nonnegative matrix2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Verified computation of real powers of matrices2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Computing enclosures for the matrix Mittag-Leffler function2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Enclosing Moore-Penrose inverses2020

MIYAJIMA Shinya 宮島信也

[Book] 実例詳説微分積分2019