• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

宮島 信也  MIYAJIMA Shinya

ORCIDORCID連携する *注記
研究者番号 20367072
その他のID
外部サイト
所属 (現在) 2025年度: 岩手大学, 理工学部, 教授
所属 (過去の研究課題情報に基づく) *注記 2016年度 – 2023年度: 岩手大学, 理工学部, 教授
2007年度 – 2015年度: 岐阜大学, 工学部, 准教授
2006年度: 早稲田大学, 理工学術院, 講師
2004年度 – 2005年度: 早稲田大学, 理工学術院, 助手
審査区分/研究分野
研究代表者
工学基礎 / 小区分12040:応用数学および統計数学関連 / 数学基礎・応用数学
キーワード
研究代表者
精度保証付き数値計算 / 固有値問題 / Mittag-Leffler関数 / 行列関数 / 非整数階微分方程式 / 精度保証付き数値計算法 / 非線形固有値問題 / 遅延微分方程式 / シルベスター方程式 / 劣決定問題 … もっと見る / 最小二乗問題 / 代数リカッチ方程式 / 精度保証 / 解の存在証明 / 数理工学(数理的解析・計画・設計) / 高速化 / アフィン演算 / 区間演算 / 多峰性多変数関数 / 大域的最適化 / 実対称行列 / 固有値 / 解の存在判定法 / 全解探索 / 有限次元非線形方程式 隠す
  • 研究課題

    (5件)
  • 研究成果

    (200件)
  •  非整数階微分方程式系の解に対する精度保証付き数値計算法の研究研究代表者

    • 研究代表者
      宮島 信也
    • 研究期間 (年度)
      2021 – 2025
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分12040:応用数学および統計数学関連
    • 研究機関
      岩手大学
  •  遅延微分方程式より生ずる非線形固有値問題の解に対する精度保証付き数値計算法の研究研究代表者

    • 研究代表者
      宮島 信也
    • 研究期間 (年度)
      2016 – 2021
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学基礎・応用数学
    • 研究機関
      岩手大学
  •  固有値問題の高速かつ高品質な精度保証付き数値計算法の研究研究代表者

    • 研究代表者
      宮島 信也
    • 研究期間 (年度)
      2011 – 2015
    • 研究種目
      基盤研究(C)
    • 研究分野
      工学基礎
    • 研究機関
      岐阜大学
  •  固有値問題における,解の存在証明及び数値解の高速な精度保証法に関する研究研究代表者

    • 研究代表者
      宮島 信也
    • 研究期間 (年度)
      2007 – 2010
    • 研究種目
      若手研究(B)
    • 研究分野
      工学基礎
    • 研究機関
      岐阜大学
  •  多峰性多変数関数の、極めて正確で常に適用可能な大域的最適化を実用可能にする研究研究代表者

    • 研究代表者
      宮島 信也
    • 研究期間 (年度)
      2004 – 2006
    • 研究種目
      若手研究(B)
    • 研究分野
      工学基礎
    • 研究機関
      早稲田大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2005 2004 その他

すべて 雑誌論文 学会発表 図書

  • [図書] 実例詳説 微分積分2019

    • 著者名/発表者名
      宇佐美広介, 澤田宙広, 橋本隆司, 宮島信也, 室政和
    • 総ページ数
      239
    • 出版者
      培風館
    • ISBN
      4563012122
    • データソース
      KAKENHI-PROJECT-16K05270
  • [雑誌論文] Fast verified computation for real powers of large matrices with Kronecker structure2023

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Applied Mathematics and Computation

      巻: 453 ページ: 1-22

    • DOI

      10.1016/j.amc.2023.128055

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21K03363
  • [雑誌論文] Verified computation of matrix gamma function2022

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Linear and Multilinear Algebra

      巻: 70 号: 7 ページ: 1207-1229

    • DOI

      10.1080/03081087.2020.1757602

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21K03363
  • [雑誌論文] Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation2022

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Calcolo

      巻: 59 号: 3

    • DOI

      10.1007/s10092-022-00475-4

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21K03363
  • [雑誌論文] Fast verified computation for positive solutions to M-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors2022

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 406 ページ: 113930-113930

    • DOI

      10.1016/j.cam.2021.113930

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21K03363
  • [雑誌論文] Verified computation for the geometric mean of two matrices2021

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 38 ページ: 211-232

    • NAID

      210000178694

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K05270
  • [雑誌論文] Fast verification for the Perron pair of an irreducible nonnegative matrix2021

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      The Electronic Journal of Linear Algebra

      巻: 37 ページ: 402-415

    • DOI

      10.13001/ela.2021.5181

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-16K05270, KAKENHI-PROJECT-21K03363
  • [雑誌論文] Verified computation of real powers of matrices2021

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 391 ページ: 113431-113431

    • DOI

      10.1016/j.cam.2021.113431

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K05270
  • [雑誌論文] Computing enclosures for the matrix Mittag-Leffler function2021

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Journal of Scientific Computing

      巻: 87 号: 2

    • DOI

      10.1007/s10915-021-01447-6

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K05270, KAKENHI-PROJECT-21K03363
  • [雑誌論文] Enclosing Moore-Penrose inverses2020

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Calcolo

      巻: 57 ページ: 1-16

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K05270
  • [雑誌論文] Verified computation of eigenpairs in the generalized eigenvalue problem for nonsquare matrix pencils2020

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Journal of Mathematical Research with Applications

      巻: 40 ページ: 73-84

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-16K05270
  • [雑誌論文] Robust verification algorithm for stabilizing solutions of discrete-time algebraic Riccati equations2019

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 36 ページ: 763-776

    • NAID

      210000159750

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K05270
  • [雑誌論文] Verified computation for the matrix principal logarithm2019

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Linear Algebra and its Applications

      巻: 569 ページ: 38-61

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K05270
  • [雑誌論文] 行列方程式の解に対する数値的検証法の進展2019

    • 著者名/発表者名
      宮島信也
    • 雑誌名

      応用数理

      巻: 29 ページ: 18-25

    • NAID

      130007720875

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-16K05270
  • [雑誌論文] Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation2019

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 350 ページ: 80-86

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K05270
  • [雑誌論文] Verified computation for the matrix Lambert W function2019

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Applied Mathematics and Computation

      巻: 362 ページ: 1-15

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K05270
  • [雑誌論文] Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation2018

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Computational and Applied Mathematics

      巻: 37 ページ: 4599-4610

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K05270
  • [雑誌論文] Fast verified computation for the solution of the T-congruence Sylvester equation2018

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 35 ページ: 541-551

    • NAID

      210000168847

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K05270
  • [雑誌論文] Fast verified computation for the solvent of the quadratic matrix equation2018

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      The Electronic Journal of Linear Algebra

      巻: 34 ページ: 137-151

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K05270
  • [雑誌論文] Verified computation of the matrix exponential2018

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Advances in Computational Mathematics

      巻: 45 ページ: 137-152

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K05270
  • [雑誌論文] Fast verified computation for the matrix principal pth root2018

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 330 ページ: 276-288

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K05270
  • [雑誌論文] Verified solutions of inverse symmetric eigenvalue problems2017

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Reliable Computing

      巻: 24 ページ: 31-44

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K05270
  • [雑誌論文] Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations2017

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 319 ページ: 352-364

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K05270
  • [雑誌論文] Verified solutions of delay eigenvalue problems2017

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Applied Mathematics and Computation

      巻: 303 ページ: 211-225

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K05270
  • [雑誌論文] Fast verified computation for solutions of algebraic Riccati equations arising in transport theory2017

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Numerical Linear Algebra with Applications

      巻: 24 ページ: 1-12

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K05270
  • [雑誌論文] Fast enclosure for the minimum norm least squares solution of the matrix equation AXB = C2015

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Numerical Linear Algebra with Applications

      巻: 22 号: 3 ページ: 548-563

    • DOI

      10.1002/nla.1971

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-23560066
  • [雑誌論文] A sharp error bound of the approximate solutions for saddle point linear systems2015

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 277 ページ: 36-46

    • DOI

      10.1016/j.cam.2014.09.003

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-23560066
  • [雑誌論文] Fast enclosure for solutions of generalized least squares problems2015

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Reliable Computing

      巻: 20 ページ: 89-112

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-23560066
  • [雑誌論文] Fast enclosure for a matrix inverse square root2015

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Linear Algebra and its Applications

      巻: 467 ページ: 116-135

    • DOI

      10.1016/j.laa.2014.11.007

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-23560066
  • [雑誌論文] Fast verified computation for solutions of continuous-time algebraic Riccati equations2015

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 32 号: 2 ページ: 529-544

    • DOI

      10.1007/s13160-015-0178-4

    • NAID

      210000161307

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-23560066
  • [雑誌論文] Fast enclosure for all eigenvalues and invariant subspaces in generalized eigenvalue problems2014

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      SIAM Journal on Matrix Analysis and Applications

      巻: 35 号: 3 ページ: 1205-1225

    • DOI

      10.1137/140953150

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-23560066
  • [雑誌論文] Fast enclosure for solutions of generalized Sylvester equations2014

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: in press 号: 2 ページ: 293-304

    • DOI

      10.1007/s13160-014-0139-3

    • NAID

      210000173509

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23560066
  • [雑誌論文] Verified bounds for all the singular values of matrix2014

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 31 号: 3 ページ: 513-539

    • DOI

      10.1007/s13160-014-0145-5

    • NAID

      210000169840

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-23560066
  • [雑誌論文] Componentwise enclosure for solutions of least squares problems and underdetermined systems2014

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Linear Algebra and its Applications

      巻: 444 ページ: 28-41

    • DOI

      10.1016/j.laa.2013.11.044

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23560066
  • [雑誌論文] Fast enclosure of matrix polynomials2013

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Reliable Computing

      巻: 18 ページ: 9-14

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23560066
  • [雑誌論文] Fast enclosure for solutions of Sylvester equations2013

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Linear Algebra and its Applications

      巻: in press 号: 4 ページ: 856-878

    • DOI

      10.1016/j.laa.2012.07.001

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23560066
  • [雑誌論文] Numerical enclosure for each EV in generalized EVP2012

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 236 号: 9 ページ: 2545-2552

    • DOI

      10.1016/j.cam.2011.12.013

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23560066
  • [雑誌論文] Componentwise error estimates for solutions obtained by stationary iterative methods2012

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Reliable Computing

      巻: 16 ページ: 102-106

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23560066
  • [雑誌論文] The relation between two types of error bounds for computed matrix eigenvalues2012

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Reliable Computing

      巻: 16 ページ: 107-113

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23560066
  • [雑誌論文] Fast verification for all eigenpairs in symmetric positive definite generalized eigenvalue problems2010

    • 著者名/発表者名
      S.Miyajima, T.Ogita, S.M.Rump, S.Oishi
    • 雑誌名

      Reliable Computing

      巻: 14 ページ: 24-45

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19760055
  • [雑誌論文] Fast enclosure for solutions in underdetermined systems2010

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      J.Computational and Applied Mathematics

      巻: 234 ページ: 3436-3444

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19760055
  • [雑誌論文] Fast enclosure for all eigenvalues in generalized eigenvalue problems2010

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Journal of Computational and Applied Mathematics Vol.233, Issue 11

      ページ: 2994-3004

    • データソース
      KAKENHI-PROJECT-19760055
  • [雑誌論文] Fast verification for all eigenpairs in symmetric positive definite generalized eigenvalue problems2010

    • 著者名/発表者名
      S.Miyajima, T.Ogita, S.M.Rump, S.Oishi
    • 雑誌名

      Reliable Computing Vol.14

      ページ: 24-45

    • データソース
      KAKENHI-PROJECT-19760055
  • [雑誌論文] Fast Enclosure for All Eigenvalues in Generalized Eigenvalue Problems2010

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Journal of Computational and Applied Mathematics 233(11)

      ページ: 2994-3004

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19760055
  • [雑誌論文] Fast enclosure for all eigenvalues in generalized eigenvalue problems2010

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      J.Computational and Applied Mathematics

      巻: 233 ページ: 2994-3004

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19760055
  • [雑誌論文] Fast enclosure for solutions in underdetermined systems2010

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Journal of Computational and Applied Mathematics Vol.234, Issue 12

      ページ: 3436-3444

    • データソース
      KAKENHI-PROJECT-19760055
  • [雑誌論文] Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problems2009

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Reliable Computing (印刷中)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19760055
  • [雑誌論文] Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problems2008

    • 著者名/発表者名
      Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
    • 雑誌名

      Reliable Computing

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19760055
  • [雑誌論文] Existence Test for Solution of Nonlinear Systems Applying Affine Arithmetic2007

    • 著者名/発表者名
      Shinya Miyajima, Masahide Kashiwagi
    • 雑誌名

      Journal of Computational and Applied Mathematics Vol.199,Issue 2

      ページ: 304-309

    • データソース
      KAKENHI-PROJECT-16760057
  • [雑誌論文] 実対称行列の各固有値に対する精度保証付き数値計算法2005

    • 著者名/発表者名
      宮島信也, 荻田武史, 大石進一
    • 雑誌名

      日本応用数理学会論文誌 Vol.15, No.3

      ページ: 253-268

    • データソース
      KAKENHI-PROJECT-16760057
  • [雑誌論文] Fast verification for Respective Eigenvalues of Symmetric Matrix2005

    • 著者名/発表者名
      Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi
    • 雑誌名

      Lecture Notes in Computer Science 3718

      ページ: 306-317

    • データソース
      KAKENHI-PROJECT-16760057
  • [雑誌論文] A Method Which Finds the Maxima and Minima of a Multivariable Function Applying Affine Arithmetic2005

    • 著者名/発表者名
      Shinya Miyajima, Masahide Kashiwagi
    • 雑誌名

      Lecture Notes in Computer Science 3401

      ページ: 424-431

    • データソース
      KAKENHI-PROJECT-16760057
  • [雑誌論文] A Method Which Finds Maxima and Minima of a Multivariable Function Applying Mean Value Form2004

    • 著者名/発表者名
      Shinya Miyajima, Masahide Kashiwagi
    • 雑誌名

      Proc.11th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics

      ページ: 83-83

    • データソース
      KAKENHI-PROJECT-16760057
  • [雑誌論文] A Method Which Finds Maxima and Minima of a Multivariable Function Applying Affine Arithmetic2004

    • 著者名/発表者名
      Shinya Miyajima, Masahide Kashiwagi
    • 雑誌名

      Proc.Third International Conference on "Numerical Analysis an Applications"

      ページ: 31-31

    • データソース
      KAKENHI-PROJECT-16760057
  • [雑誌論文] アフィン演算による多変数関数の最大値探索法2004

    • 著者名/発表者名
      宮島信也, 柏木雅英
    • 雑誌名

      2004年電子情報通信学会ソサエティ大会講演論文集

      ページ: 46-46

    • データソース
      KAKENHI-PROJECT-16760057
  • [学会発表] クロネッカー構造をもつ大規模行列の行列関数のトレースに対する数値的検証法2024

    • 著者名/発表者名
      黒田早紀, 宮島信也
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] 非負行列のPerron根に対する下限の単調増加性2024

    • 著者名/発表者名
      大友海斗, 宮島信也
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] 行列ランベルトW関数の値を包含する区間の数値計算2024

    • 著者名/発表者名
      宮島信也
    • 学会等名
      岐阜数理科学セミナー
    • 招待講演
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] gap定理に対する別証明2024

    • 著者名/発表者名
      山中佑太, 宮島信也
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] 遅延微分方程式の特性根に対する区間解析2023

    • 著者名/発表者名
      宮島信也
    • 学会等名
      北見工業大学における微分方程式セミナー
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] 行列のすべての固有値に対する精度保証付き数値計算におけるパラメータ決定法2023

    • 著者名/発表者名
      佐藤壮, 宮島信也
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] 実対称行列のすべての固有値と不変部分空間の基底に対する精度保証付き数値計算2023

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] クロネッカー構造をもつ大規模行列の行列関数のトレースに対する精度保証付き数値計算2023

    • 著者名/発表者名
      黒田早紀, 宮島信也
    • 学会等名
      第21回計算数学研究会
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] Fast verified computation for all eigenvalues and basis of invariant subspaces of a real symmetric matrix2023

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      Numerical methods for spectral problems: theory and applications
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] Verified error bounds for all eigenvalues and basis of invariant subspaces of a real symmetric matrix2023

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      25th Conference of the International Linear Algebra Society
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] Computing the enclosure for Perron vectors of weakly irreducible nonnegative tensors2022

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 20th International Conference of Numerical Analysis and Applied Mathematics
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] 行列関数のトレースに対する高速な精度保証付き数値計算法2022

    • 著者名/発表者名
      黒田早紀, 宮島信也
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] クロネッカー構造をもつ大規模行列の実数乗とベクトルの積に対する精度保証付き数値計算2022

    • 著者名/発表者名
      宮島信也
    • 学会等名
      岐阜数理科学セミナー
    • 招待講演
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] 既約非負行列のペロンベクトルの大小関係について2022

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第34回研究会
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] クロネッカー構造をもつ大規模行列の実数乗とベクトルの積に対する精度保証付き数値計算2022

    • 著者名/発表者名
      宮島信也
    • 学会等名
      岐阜数理科学セミナー
    • 招待講演
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] 行列関数のトレースの精度保証付き数値計算2022

    • 著者名/発表者名
      黒田早紀, 宮島信也
    • 学会等名
      第20回計算数学研究会
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] クロネッカー構造をもつ大規模行列の実数乗とベクトルの積に対する高速な精度保証付き数値計算法2022

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Fast enclosure for real powers of large matrices with Kronecker structure2022

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 20th International Conference of Numerical Analysis and Applied Mathematics
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] 数値ジョルダン分解に基づく行列余弦関数の精度保証付き数値計算2022

    • 著者名/発表者名
      佐藤大, 宮島信也
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] クロネッカー構造をもつ大規模行列の実数乗とベクトルの積に対する高速な精度保証付き数値計算法2022

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] 弱既約非負テンソルのペロンベクトルに対する精度保証付き数値計算法2022

    • 著者名/発表者名
      宮島信也
    • 学会等名
      2022年並列/分散/協調処理に関するサマー・ワークショップ
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] 行列関数のトレースに対する高速な精度保証付き数値計算法2022

    • 著者名/発表者名
      黒田早紀, 宮島信也
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] 弱既約非負テンソルのペロンベクトルに関するいくつかの性質とその精度保証付き数値計算2022

    • 著者名/発表者名
      宮島信也
    • 学会等名
      第20回計算数学研究会
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] 数値ジョルダン分解に基づく行列余弦関数の精度保証付き数値計算2022

    • 著者名/発表者名
      佐藤大, 宮島信也
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Fast validation for Perron vectors of a kind of weakly irreducible nonnegative tensors2021

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会2021年度年会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Computing enclosure for matrix real powers2021

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Fast verification for Perron vectors of a kind of weakly irreducible nonnegative tensors2021

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 19th International Conference of Numerical Analysis and Applied Mathematics
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] Computing enclosure for matrix real powers2021

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] Fast verification for positive solutions to M-tensor multi-linear systems2021

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会2021年度年会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] 四元数行列のすべての標準固有値に対する精度保証付き数値計算2021

    • 著者名/発表者名
      丹野遼太郎, 宮島信也
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Fast computation of an interval containing the minimal nonnegative solution to the nonsymmetric T-Riccati equation2021

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第32回研究会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Brauerの定理を利用した正方行列のスペクトル半径の上限に対する数値計算法2021

    • 著者名/発表者名
      伊五澤彩乃, 宮島信也
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] 精度保証付き数値計算とは何か - 行列の固有値を題材に -2021

    • 著者名/発表者名
      宮島信也
    • 学会等名
      北九州数理科学セミナー
    • 招待講演
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Fast verification for positive solutions to M-tensor multi-linear systems2021

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会2021年度年会
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] Fast verification for Perron vectors of a kind of weakly irreducible nonnegative tensors2021

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 19th International Conference of Numerical Analysis and Applied Mathematics
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Fast enclosure for positive solutions to M-tensor multi-linear systems2021

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 19th International Conference of Numerical Analysis and Applied Mathematics
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Fast validation for Perron vectors of a kind of weakly irreducible nonnegative tensors2021

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会2021年度年会
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] Self-validating numerical algorithms for the matrix Mittag-Leffler function2021

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      SIAM Conference on Applied Linear Algebra
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] Self-validating numerical algorithms for the matrix Mittag-Leffler function2021

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      SIAM Conference on Applied Linear Algebra
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] 行列Mittag-Leffler関数に対する精度保証付き数値計算と非整数階微分方程式への応用2021

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Verified bounds for matrix gamma function2021

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] Fast enclosure for positive solutions to M-tensor multi-linear systems2021

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 19th International Conference of Numerical Analysis and Applied Mathematics
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] 精度保証付き数値計算とは何か - 行列の固有値を題材に -2021

    • 著者名/発表者名
      宮島信也
    • 学会等名
      北九州数理科学セミナー
    • 招待講演
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] Fast computation of an interval containing the minimal nonnegative solution to the nonsymmetric T-Riccati equation2021

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第32回研究会
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] Verified bounds for matrix gamma function2021

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Fast verified computation for the minimal nonnegative solution to the nonsymmetric T-Riccati equation2021

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 19th International Conference of Numerical Analysis and Applied Mathematics
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K03363
  • [学会発表] Fast verified computation for the minimal nonnegative solution to the nonsymmetric T-Riccati equation2021

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 19th International Conference of Numerical Analysis and Applied Mathematics
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Computing intervals containing matrix fractional powers2020

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] 行列指数関数に対する数値的検証法2020

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本数学会・東北支部会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] 行列のすべての固有値に対するロバストな数値的検証法2020

    • 著者名/発表者名
      今貴一, 宮島信也
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] 行列指数関数に対する数値的検証法の改良2020

    • 著者名/発表者名
      中村圭汰, 宮島信也
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Verified numerical computation for matrix real powers2020

    • 著者名/発表者名
      宮島信也
    • 学会等名
      2020年並列/分散/協調処理に関する『福井』サマー・ワークショップ
    • 招待講演
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] 数値的検証法とは何か -行列の固有値問題を題材に-2019

    • 著者名/発表者名
      宮島信也
    • 学会等名
      理工・農学部若手研究会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] 行列余弦関数に対する数値的検証法2019

    • 著者名/発表者名
      佐藤大, 宮島信也
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Enclosing matrix gamma function2019

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第28回研究会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Computing an interval containing matrix gamma function2019

    • 著者名/発表者名
      宮島信也
    • 学会等名
      第17回計算数学研究会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Computing intervals containing Moore-Penrose inverses2019

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Validated computation for the matrix Lambert W function2019

    • 著者名/発表者名
      宮島信也
    • 学会等名
      第48回数値解析シンポジウム
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Computation of intervals containing Moore-Penrose inverses2019

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 14th East Asia SIAM Conference
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Fast validation for the Perron pair of an irreducible nonnegative matrix2019

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会2019年度年会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Validated numerical computation for the Perron pair of an irreducible nonnegative matrix2019

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      International Conference on Recent Advances in Applied Mathematics
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Validated numerical computation of eigenpairs in the generalized eigenvalue problem for nonsquare matrix pencil2019

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      International Conference on Recent Advances in Applied Mathematics
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Fast verified computation for the Perron pair of an irreducible nonnegative matrix2019

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      RIMS Symposium (open), Numerical methods for spectral problems: theory and applications
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] A robust algorithm for enclosing stabilizing solutions of discrete-time algebraic Riccati equations2018

    • 著者名/発表者名
      宮島信也
    • 学会等名
      第16回計算数学研究会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Fast validated computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation2018

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 13th East Asia SIAM Conference
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Verification algorithms for the matrix Lambert W functions2018

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      International Conference on Mathematical Sciences and Technology
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] A robust algorithm for computing intervals containing the stabilizing solutions of the discrete-time algebraic Riccati equations2018

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      International Conference on Mathematical Sciences and Technology
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Fast verified numerical computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation2018

    • 著者名/発表者名
      宮島信也
    • 学会等名
      第47回数値解析シンポジウム
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Enclosing the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation2018

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      Colloquium (scientific computing)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Validated computation for the matrix exponential2018

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 3rd International Conference on Mathematical Sciences and Statistics
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Enclosing the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation2018

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会2018年度年会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Verified numerical computation for the matrix principal logarithm2018

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会平成30年研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Verified computation of eigenpairs in the generalized eigenvalue problem for rectangular matrix pencils2018

    • 著者名/発表者名
      宮島信也
    • 学会等名
      京都大学数理解析研究所 共同研究 (公開型)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Fast validated computation for the solution of the T-congruence Sylvester equation2018

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 3rd International Conference on Mathematical Sciences and Statistics
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Fast validated computation for the solvent of the quadratic matrix equation2018

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 3rd International Conference on Mathematical Sciences and Statistics
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] 多項式固有値問題のすべての固有値に対する数値的検証法2018

    • 著者名/発表者名
      相馬彩乃,宮島信也
    • 学会等名
      日本応用数理学会平成30年研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] 行列余弦関数に対する数値的検証法の構築2018

    • 著者名/発表者名
      佐藤大, 宮島信也
    • 学会等名
      第5回 ODE 若手セミナー
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Validated computation for the matrix principal logarithm2018

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 13th East Asia SIAM Conference
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Validated computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation2018

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 13th East Asia SIAM Conference
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Computing an interval containing the matrix exponential2018

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      Colloquium (scientific computing)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Validated computation for the geometric mean of two matrices2017

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 13th East Asia SIAM Conference
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Verified computation for the matrix principal pth root2017

    • 著者名/発表者名
      宮島信也
    • 学会等名
      第46回数値解析シンポジウム
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Fast verified numerical computation for all eigenvalues and eigenvectors of a matri2017

    • 著者名/発表者名
      宮島信也
    • 学会等名
      第9回福島応用数学研究集会
    • 発表場所
      コラッセふくしま(福島県福島市)
    • 年月日
      2017-03-08
    • 招待講演
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Verified solution of the T-congruence Sylvester equation2017

    • 著者名/発表者名
      宮島信也
    • 学会等名
      第15回計算数学研究会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Validated solutions to inverse symmetric eigenvalue problems2017

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 13th East Asia SIAM Conference
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Verified numerical computation for the geometric mean of two matrices2017

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会平成29年研究部会連合発表会
    • 発表場所
      電気通信大学(東京都調布市)
    • 年月日
      2017-03-06
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Fast validated computation for the matrix principal pth root2017

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 13th East Asia SIAM Conference
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Numerical enclosure for the matrix exponential2017

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会2017年度年会
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Verified computation for solutions of inverse symmetric eigenvalue problems2017

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会平成29年研究部会連合発表会
    • 発表場所
      電気通信大学(東京都調布市)
    • 年月日
      2017-03-06
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Verified error bounds for approximate solutions of saddle point linear systems2016

    • 著者名/発表者名
      宮島信也
    • 学会等名
      第14回計算数学研究会
    • 発表場所
      琵琶湖コンファレンスセンター(滋賀県彦根市)
    • 年月日
      2016-12-17
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Fast verified computation for solutions of nonsymmetric algebraic Riccati equations arising in transport theory2016

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会平成28年研究部会連合発表会
    • 発表場所
      神戸学院大学
    • 年月日
      2016-03-04
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] Fast enclosure for solutions of discrete-time algebraic Riccati equations2016

    • 著者名/発表者名
      宮島信也
    • 学会等名
      第45回数値解析シンポジウム
    • 発表場所
      霧島ホテル(鹿児島県霧島市)
    • 年月日
      2016-06-08
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Fast validated computation for solutions of algebraic Riccati equations arising in transport theory2016

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      17th International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
    • 発表場所
      Uppsala University(スウェーデン)
    • 年月日
      2016-09-26
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Fast validated computation for solutions of discrete-time algebraic Riccati equations2016

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      17th International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
    • 発表場所
      Uppsala University(スウェーデン)
    • 年月日
      2016-09-26
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Verified numerical computation for the matrix inverse square root2016

    • 著者名/発表者名
      宮島信也
    • 学会等名
      岐阜数理科学セミナー
    • 発表場所
      岐阜大学(岐阜県岐阜市)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-16K05270
  • [学会発表] Verified numerical computation for solutions of delay eigenvalue problems with multiple eigenvalues2015

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 2nd International Joint Meeting of Global Environment & Energy Course
    • 発表場所
      Gifu University
    • 年月日
      2015-11-04
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] Validated solutions of delay eigenvalue problems with multiple eigenvalues2015

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会2015年度年会
    • 発表場所
      金沢大学
    • 年月日
      2015-09-09
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] Validated solutions of delay eigenvalue problems2015

    • 著者名/発表者名
      宮島信也
    • 学会等名
      第44回数値解析シンポジウム
    • 発表場所
      ぶどうの丘(山梨県甲州市)
    • 年月日
      2015-06-08
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] Verified solutions of delay eigenvalue problems with multiple eigenvalues2015

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      SIAM Conference on Applied Linear Algebra
    • 発表場所
      Hyatt Regency Atlanta
    • 年月日
      2015-10-26
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] Fast enclosure for solutions of continuous-time algebraic Riccati equations2013

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 9th East Asia SIAM Conference - The 2nd Conference on Industrial and Applied Mathematics
    • 発表場所
      The Newton Hotel, Indonesia
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] Fast inclusion for the minimum norm least squares solutions of the matrix equations AXB = C2013

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 9th East Asia SIAM Conference - The 2nd Conference on Industrial and Applied Mathematics
    • 発表場所
      The Newton Hotel, Indonesia
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] Fast verified computation for solutions of generalized least squares problems2013

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      2013 The European Numerical Mathematics and Advanced Applications Conference
    • 発表場所
      Ecole Polytechnique Federale de Lausanne, Switzerland
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] 連続時間代数リカッチ方程式の解に対する簡便かつ高速な数値的検証法2013

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会2013年度年会
    • 発表場所
      アクロス福岡
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] Fast inclusion for solutions of generalized least squares problems2013

    • 著者名/発表者名
      宮島信也
    • 学会等名
      第42回数値解析シンポジウム
    • 発表場所
      四国道後舘
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] シルベスター方程式の解に対する高速な精度保証付き数値計算法2012

    • 著者名/発表者名
      宮島信也
    • 学会等名
      新潟大学数理情報セミナー(招待講演)
    • 発表場所
      新潟大学
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] シルベスター方程式の数値解に対する高速精度保証2011

    • 著者名/発表者名
      宮島信也
    • 学会等名
      線形計算研究会(招待講演)
    • 発表場所
      東京大学
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] The relation between 2 ALGs for enclosing MTX EVs2011

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      24th Biennial Conference on Numerical Analysis
    • 発表場所
      the University of Strathclyde
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] Error bounds for solutions obtained by SIMs2011

    • 著者名/発表者名
      宮島信也
    • 学会等名
      第40回数値解析シンポジウム
    • 発表場所
      鳥羽シーサイドホテル
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] シルベスター方程式の解に対する高速な数値的検証法2011

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会2011年度年会
    • 発表場所
      同志社大学
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] Enclosing solutions in Sylvester equations2011

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 17th ILAS Conference
    • 発表場所
      TU Braunschweig
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] Error estimation for solutions obtained by SIMs2011

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      ICIAM 2011
    • 発表場所
      Vancouver Convention Centre
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] 一般化固有値問題における各固有値に対する数値的包含2010

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会2010年度年会講演予稿集
    • 発表場所
      49-50(明治大学)
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] Numerical Inclusion for All Eigenvalues in Generalized Eigenvalue Problems2010

    • 著者名/発表者名
      宮島信也
    • 学会等名
      デジタル解析学セミナー
    • 発表場所
      早稲田大学
    • 年月日
      2010-01-27
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] Error bounds for computed eigenvalues in generalized eigenvalue problem2010

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
    • 発表場所
      Ecole Normale Superieurede Lyon
    • 年月日
      2010-09-28
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] Enclosing all eigenpairs in symmetric positive definite generalized eigenvalue problems2010

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 8th International Conference of Numerical Analysis and Applied Mathematics
    • 発表場所
      Rodos Palace
    • 年月日
      2010-09-20
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] 一般化固有値問題における各固有値に対する数値的包含2010

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会2010年度年会
    • 発表場所
      明治大学
    • 年月日
      2010-09-06
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] Enclosing all eigenpairs in symmetric positive definite generalized eigenvalue problems, Proc.The 8th International Conference of Numerical Analysis and Applied Mathematics2010

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      Island of Rhodes
    • 発表場所
      945-948(Greece)
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] Error bounds for computed eigenvalues in generalized eigenvalue problem, Proc.14th GAMM-IMACS International Symposium on Scientific Computing2010

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      Computer Arithmetic and Validated Numerics
    • 発表場所
      95-96(Lyon, France)
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] Numerical Inclusion for All Eigenvalues in Generalized Eigenvalue Problemes2010

    • 著者名/発表者名
      宮島信也
    • 学会等名
      デジタル解析学セミナー
    • 発表場所
      早稲田大学
    • 年月日
      2010-01-27
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] 一般化固有値問題におけるすべての固有値の数値的包含2009

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会2009年度年会講演予稿集
    • 発表場所
      305-306(大阪大学)
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] 一般化固有値問題におけるすべての固有値の数値的包含2009

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会2009年度年会
    • 発表場所
      大阪大学
    • 年月日
      2009-09-30
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] Enclosing all eigenvalues in generalized eigenvalue problem, Proc.13th GAMM-IMACS International Symposium on Scientific Computing2008

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      Computer Arithmetic and Validated Numerics
    • 発表場所
      73-74(Texas, US)
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] Verifying All Eigenvalues in Generalized Eigenvalue Problem2008

    • 著者名/発表者名
      Shinya Miyajima, Michael Plum, Takeshi Ogita, Shin'ichi Oishi
    • 学会等名
      2008 International Workshop on Numerical Verification and its Applications
    • 発表場所
      Tokyo Dai-ichi Hotel
    • 年月日
      2008-03-05
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] Enclosing All Eigenvalues in Generalized Eigenvalue Problem2008

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      3th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics
    • 発表場所
      The University of Texas at EI Paso(米国)
    • 年月日
      2008-09-29
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] Enclosing All Eigenvalues in Generalized Eigenvalue Problem2008

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      13th GAMM IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics
    • 発表場所
      The University of Texas at El Paso
    • 年月日
      2008-09-29
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] 実対称正定値一般化固有値問題におけるすべての固有対の精度保証2007

    • 著者名/発表者名
      宮島信也, 荻田武史, Siegfried M.Rump, 大石進一
    • 学会等名
      第36回数値解析シンポジウム講演予稿集
    • 発表場所
      137-140(ウェルシティ湯河原)
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] 一般化固有値問題における解の高速精度保証2007

    • 著者名/発表者名
      宮島信也
    • 学会等名
      第1回数理デザイン研究コロキウム
    • 発表場所
      岐阜大学
    • 年月日
      2007-10-24
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] Verified All Eigenpairs of Generalized Eigenvalue Problem2007

    • 著者名/発表者名
      Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
    • 学会等名
      精度保証付き数値計算とその周辺」ワークショップ
    • 発表場所
      岐阜大学
    • 年月日
      2007-10-12
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] Verifying All Eigenpairs in Real Symmetric Positive Definite Generalized Eigenvalue Problem2007

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      6th International Congress on Industrial and Applied Mathematics
    • 発表場所
      Universitat Zurich
    • 年月日
      2007-07-16
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] 一般化固有値問題におけるすべての固有対の高速精度保証2007

    • 著者名/発表者名
      宮島信也, 荻田武史, Siegfried M.Rump, 大石進一
    • 学会等名
      日本応用数理学会2007年度年会講演予稿集
    • 発表場所
      220-221(北海道大学)
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] 実対称正定値一般化固有値問題における解の高速精度保証2007

    • 著者名/発表者名
      宮島信也
    • 学会等名
      岐阜非線形セミナー
    • 発表場所
      岐阜大学
    • 年月日
      2007-12-21
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] Verifying all eigenpairs in real symmetric positive definite generalized eigenvalue problem2007

    • 著者名/発表者名
      S.Miyajima, T.Ogita, S.Oishi
    • 学会等名
      Proc.6th International Congress on Industrial and Applied Mathematics
    • 発表場所
      2020061-2020062(Zurich, Switzerland)
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] Verifying All Eigenpairs in Real Symmetric Positive Definite Generalized Eigenvalue Problem2007

    • 著者名/発表者名
      Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi
    • 学会等名
      6th International Congress on Industrial and Applied Mathematics
    • 発表場所
      ETH Zurich
    • 年月日
      2007-07-16
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] 実対称正定値一般化固有値問題におけるすべての固有対の精度保証2007

    • 著者名/発表者名
      宮島信也, 荻田武史, Siegfried M. Rump, 大石進一
    • 学会等名
      第36回数値解析シンポジウム
    • 発表場所
      ウェルシティ湯河原
    • 年月日
      2007-06-21
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] Verified All Eigenpairs of Generalized Eigenvalue Problem2007

    • 著者名/発表者名
      Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
    • 学会等名
      International Workshop on Numerical Verification and its Applications
    • 発表場所
      Waseda University
    • 年月日
      2007-03-01
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] 一般化固有値問題におけるすべての固有対の高速精度保証2007

    • 著者名/発表者名
      宮島信也, 荻田武史, Siegfried M. Rump, 大石進一
    • 学会等名
      日本応用数理学会2007年度年会
    • 発表場所
      北海道大学
    • 年月日
      2007-09-16
    • データソース
      KAKENHI-PROJECT-19760055
  • [学会発表] 行列の特異値の厳密な存在範囲の数値計算法

    • 著者名/発表者名
      宮島信也
    • 学会等名
      第1回岐阜数理科学研究会
    • 発表場所
      岐阜大学
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] Verified computations for all generalized singular values

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
    • 発表場所
      The Siberian Department of the Russian Academy of Sciences
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] Enclosing solutions of the delay eigenvalue problem

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      2015 Australia and New Zealand Industrial and Applied Mathematics Conference
    • 発表場所
      The Outrigger Surfers Paradise
    • 年月日
      2015-02-01 – 2015-02-05
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] 行列のすべての固有値と不変部分空間に対する数値的検証法

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会平成27年研究部会連合発表会
    • 発表場所
      明治大学
    • 年月日
      2015-03-06 – 2015-03-07
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] Fast inclusion for solutions of continuous-time algebraic Riccati equations

    • 著者名/発表者名
      宮島信也
    • 学会等名
      数理科学セミナー
    • 発表場所
      一橋大学
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] Verified solutions of saddle point linear systems

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
    • 発表場所
      University of Wurzburg
    • 年月日
      2014-09-21 – 2014-09-26
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] Componentwise verified numerical computation for solutions of least squares problems

    • 著者名/発表者名
      宮島信也
    • 学会等名
      語ろう数理解析セミナー拡大版
    • 発表場所
      新潟大学
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] Componentwise inclusion for solutions in least squares problems and underdetermined systems

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
    • 発表場所
      The Siberian Department of the Russian Academy of Sciences
    • データソース
      KAKENHI-PROJECT-23560066
  • [学会発表] Fast inclusion for the matrix inverse square root

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
    • 発表場所
      University of Wurzburg
    • 年月日
      2014-09-21 – 2014-09-26
    • データソース
      KAKENHI-PROJECT-23560066

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi