Rchr
J-GLOBAL ID:200901010791934749   Update date: Feb. 14, 2024

MIYAJIMA Shinya

MIYAJIMA Shinya
Affiliation and department:
Job title: Professor
Homepage URL  (2): http://web.cc.iwate-u.ac.jp/~miyajima/miyajima.htmlhttp://web.cc.iwate-u.ac.jp/~miyajima/miyajimaE.html
Research field  (2): Applied mathematics and statistics ,  Mathematical informatics
Research keywords  (5): Verification methods ,  Verified computation ,  Matrix theory ,  Interval analysis ,  Numerical computation
Research theme for competitive and other funds  (5):
  • 2021 - 2026 非整数階微分方程式系の解に対する精度保証付き数値計算法の研究
  • 2016 - 2022 遅延微分方程式より生ずる非線形固有値問題の解に対する精度保証付き数値計算法の研究
  • 2011 - 2016 固有値問題の高速かつ高品質な精度保証付き数値計算法の研究
  • 2007 - 2011 Fast enclosure for solutions in eigenvalue problems
  • 2004 - 2007 多峰性多変数関数の、極めて正確で常に適用可能な大域的最適化を実用可能にする研究
Papers (55):
  • Shinya Miyajima. Some properties concerning Perron vectors of weakly irreducible nonnegative tensors, and their application to rigorous enclosure. Linear Algebra and its Applications. 2024
  • Shinya Miyajima. Fast verified computation for real powers of large matrices with Kronecker structure. Applied Mathematics and Computation. 2023
  • Shinya Miyajima. Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation. Calcolo. 2022
  • Shinya Miyajima. Fast verified computation for positive solutions to M-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors. Journal of Computational and Applied Mathematics. 2022
  • Shinya Miyajima. Verified computation of matrix gamma function. Linear and Multilinear Algebra. 2022
more...
MISC (10):
  • Shinya Miyajima. Fast enclosure for real powers of Kronecker structured large matrices. AIP Conference Proceedings. 2022
  • Shinya Miyajima. Computing the enclosure for Perron vectors of weakly irreducible nonnegative tensors. AIP Conference Proceedings. 2022
  • Shinya Miyajima. Fast enclosure for positive solutions to M-tensor multi-linear systems. AIP Conference Proceedings. 2021
  • Shinya Miyajima. Fast verification for Perron vectors of a kind of weakly irreducible nonnegative tensors. AIP Conference Proceedings. 2021
  • Shinya Miyajima. Fast verified computation for the minimal nonnegative solution to the nonsymmetric T-Riccati equation. AIP Conference Proceedings. 2021
more...
Books (2):
  • 実例詳説 微分積分
    培風館 2019
  • 実例詳説 線形代数
    培風館 2015
Lectures and oral presentations  (76):
  • Reconfigurable Intelligent Surfaceを用いた電子ファントム
    (電子情報通信学会総合大会)
  • Reconfigurable Intelligent Surfaceを用いた電子ファントムのハードウェア構成に対するMIMOレーダチャネル再構成精度の評価
    (電子情報通信学会総合大会)
  • gap定理に対する別証明
    (日本応用数理学会研究部会連合発表会)
  • 非負行列のPerron根に対する下限の単調増加性
    (日本応用数理学会研究部会連合発表会)
  • クロネッカー構造をもつ大規模行列の行列関数のトレースに対する数値的検証法
    (日本応用数理学会研究部会連合発表会)
more...
Education (4):
  • 2002 - 2005 Waseda University Graduate School of Science and Engineering
  • 2001 - 2002 Waseda University Graduate School of Science and Engineering
  • 1997 - 2001 Waseda University School of Science and Engineering
  • 1994 - 1997 Nagano Prefectural Ueda Senior High School
Professional career (1):
  • Ph.D. in Information Science ( Waseda University)
Work history (4):
  • 2016/04 - 現在 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
Committee career (9):
  • 2024/01 - 現在 第50回数値解析シンポジウム実行委員会 委員長
  • 2019/03 - 現在 日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 運営委員
  • 2014/04 - 現在 日本応用数理学会論文誌編集委員会 委員
  • 2020/04 - 2024/03 JSIAM Letters 編集委員会 委員
  • 2019/06 - 2023/12 第49回数値解析シンポジウム実行委員会 委員長
Show all
Awards (4):
  • 2022/05 - 令和3年度後期岩手大学教養教育科目優秀授業表彰
  • 2022/03 - 令和3年度岩手大学理工学部授業評価優秀教員表彰
  • 2006/06 - 日本シミュレーション学会研究賞
  • 2006/04 - 早稲田大学第16回大川功記念賞
Association Membership(s) (2):
SIAM ,  日本応用数理学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page