研究発表 - 宮島 信也
-
RePH: RIS-inspired electronic phantom
口頭（一般） Kentaro Murata, Naoki Honma, Shinya Miyajima
The 30th International Symposium on Antennas and Propagation
2025年10月 -
コントラスト変調中性子小角散乱を用いた多成分ナノ構造解析の誤差評価手法開発と高精度化
口頭（一般） 眞弓皓一, 小田達郎, 宮島信也, 大林一平, 田中一成
第74回高分子討論会
2025年09月 -
ガウス過程回帰によるコントラスト変調中性子小角散乱データの部分散乱関数への高精度な分解手法について
口頭（一般） 大林一平, 宮島信也, 田中一成, 眞弓皓一
2025年度統計関連学会連合大会
2025年09月 -
Norm bounds on the complimentary error matrix function
口頭（一般） Shinya Miyajima, Amir Sadeghi
日本応用数理学会2025年度年会
2025年09月 -
行列 Mittag-Leffler 関数に関する摂動理論
口頭（一般） 宮島信也
北見・岐阜数理科学研究交流会
2025年08月 -
Fast interval computation for Perron vectors of a class of weakly irreducible nonnegative tensors
口頭（招待・特別） Shinya Miyajima
Numerical methods for spectral problems: theory and applications
2025年08月 -
Numerical computation of intervals containing the solvents to the quadratic matrix equations
口頭（基調） Shinya Miyajima
2nd International Conference on Non-linear Analysis and Computational Techniques
2025年08月 -
行列 Mittag-Leffler 関数に対する摂動理論
口頭（一般） 宮島信也
2025年並列／分散／協調処理に関するサマー・ワークショップ
2025年08月 -
Boundary on channel reconstruction accuracy of RePH
口頭（一般） Yuto Ozawa, Kentaro Murata, Naoki Honma, Shinya Miyajima
The 2025 IEEE International Symposium on Antennas & Propagation and North American Radio Science Meeting
2025年07月 -
Perturbation bounds for the matrix Mittag-Leffler function
口頭（一般） Shinya Miyajima
The 18th East Asia SIAM Conference
2025年06月-2025年07月 -
Some norm bounds on the complimentary error matrix functions
口頭（招待・特別） Shinya Miyajima, Amir Sadeghi
26th Conference of the International Linear Algebra Society
2025年06月 -
行列相補誤差関数とその数値計算
口頭（招待・特別） 宮島信也
日本数学会・東北支部会
2025年02月 -
コントラスト変調小角中性子散乱測定における部分散乱関数の数理的誤差評価
口頭（一般） 眞弓皓一, 小田達郎, 宮島信也, 大林一平, 田中一成
日本中性子科学会第24回年会
2024年12月 -
行列ランベルトW関数の値の厳密な存在範囲の数値計算
口頭（招待・特別） 宮島信也
京都大学数理解析研究所 共同研究 (公開型)「時間遅れ系と数理科学：理論と応用の新たな展開に向けて」
2024年11月 -
On the reconstruction accuracy of MIMO radar channel by reconfigurable electronic phantom
ポスター（一般） Ayumi Sato, Chihiro Segawa, Kentaro Murata, Naoki Honma, Shinya Miyajima
The 29th International Symposium on Antennas and Propagation
2024年11月 -
再構成可能な電子ファントムの実現に向けた研究開発
口頭（一般） 村田健太郎, 小澤勇人, 瀬川智尋, 佐藤あゆみ, 本間尚樹, 宮島信也
電子情報通信学会2024年ソサイエティ大会
2024年09月 -
再構成可能な電子ファントムにおいてアレー内不整合及び結合がチャネル再構成精度に与える影響について
口頭（一般） 佐藤あゆみ, 瀬川智尋, 村田健太郎, 本間尚樹, 宮島信也
電子情報通信学会2024年ソサイエティ大会
2024年09月 -
非負行列のスペクトル半径に対する下限の単調増加性について
口頭（一般） 大友海斗, 宮島信也
第22回計算数学研究会
2024年08月 -
非負行列のスペクトル半径に対する下限の単調増加性
口頭（一般） 大友海斗, 宮島信也
第50回数値解析シンポジウム
2024年06月 -
Reconfigurable Intelligent Surfaceを用いた電子ファントムのハードウェア構成に対するMIMOレーダチャネル再構成精度の評価
口頭（一般） 佐藤あゆみ, 新井駿斗, 滝島正博, 瀬川智尋, 村田健太郎, 本間尚樹, 宮島信也
電子情報通信学会2024年総合大会
2024年03月 -
Reconfigurable Intelligent Surfaceを用いた電子ファントム
口頭（一般） 村田健太郎, 瀬川智尋, 新井駿斗, 小澤勇人, 佐藤あゆみ, 本間尚樹, 宮島信也
電子情報通信学会2024年総合大会
2024年03月 -
クロネッカー構造をもつ大規模行列の行列関数のトレースに対する数値的検証法
口頭（一般） 黒田早紀, 宮島信也
日本応用数理学会研究部会連合発表会
2024年03月 -
gap定理に対する別証明
口頭（一般） 山中佑太, 宮島信也
日本応用数理学会研究部会連合発表会
2024年03月 -
非負行列のPerron根に対する下限の単調増加性
口頭（一般） 大友海斗, 宮島信也
日本応用数理学会研究部会連合発表会
2024年03月 -
行列ランベルトW関数の値を包含する区間の数値計算
口頭（招待・特別） 宮島信也
岐阜数理科学セミナー
2024年01月 -
クロネッカー構造をもつ大規模行列の行列関数のトレースに対する精度保証付き数値計算
口頭（一般） 黒田早紀,宮島信也
第21回計算数学研究会
2023年12月 -
遅延微分方程式の特性根に対する区間解析
口頭（一般） 宮島信也
北見工業大学における微分方程式セミナー
2023年09月 -
Fast verified computation for all eigenvalues and basis of invariant subspaces of a real symmetric matrix
口頭（招待・特別） Shinya Miyajima
Numerical methods for spectral problems: theory and applications
2023年08月 -
Verified error bounds for all eigenvalues and basis of invariant subspaces of a real symmetric matrix
口頭（一般） Shinya Miyajima
25th Conference of the International Linear Algebra Society
2023年06月 -
実対称行列のすべての固有値と不変部分空間の基底に対する精度保証付き数値計算
口頭（一般） 宮島信也
日本応用数理学会研究部会連合発表会
2023年03月 -
行列のすべての固有値に対する精度保証付き数値計算におけるパラメータ決定法
口頭（一般） 佐藤壮, 宮島信也
日本応用数理学会研究部会連合発表会
2023年03月 -
既約非負行列のペロンベクトルの大小関係について
口頭（一般） 宮島信也
日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第34回研究会
2022年12月 -
Computing the enclosure for Perron vectors of weakly irreducible nonnegative tensors
口頭（一般） Shinya Miyajima
The 20th International Conference of Numerical Analysis and Applied Mathematics
2022年09月 -
Fast enclosure for real powers of Kronecker structured large matrices
口頭（一般） Shinya Miyajima
The 20th International Conference of Numerical Analysis and Applied Mathematics
2022年09月 -
行列関数のトレースの精度保証付き数値計算
口頭（一般） 黒田早紀,宮島信也
第20回計算数学研究会
2022年08月 -
弱既約非負テンソルのペロンベクトルに関するいくつかの性質とその精度保証付き数値計算
口頭（一般） 宮島信也
第20回計算数学研究会
2022年08月 -
弱既約非負テンソルのペロンベクトルに対する精度保証付き数値計算法
口頭（一般） 宮島信也
2022年並列／分散／協調処理に関するサマー・ワークショップ
2022年07月 -
クロネッカー構造をもつ大規模行列の実数乗とベクトルの積に対する精度保証付き数値計算
口頭（招待・特別） 宮島信也
岐阜数理科学セミナー
2022年03月 -
行列関数のトレースに対する高速な精度保証付き数値計算法
口頭（一般） 黒田早紀, 宮島信也
日本応用数理学会研究部会連合発表会
2022年03月 -
クロネッカー構造をもつ大規模行列の実数乗とベクトルの積に対する高速な精度保証付き数値計算法
口頭（一般） 宮島信也
日本応用数理学会研究部会連合発表会
2022年03月 -
数値ジョルダン分解に基づく行列余弦関数の精度保証付き数値計算
口頭（一般） 佐藤大, 宮島信也
日本応用数理学会研究部会連合発表会
2022年03月 -
精度保証付き数値計算とは何か - 行列の固有値を題材に -
口頭（招待・特別） 宮島信也
北九州数理科学セミナー
2021年12月 -
Fast computation of an interval containing the minimal nonnegative solution to the nonsymmetric T-Riccati equation
口頭（一般） 宮島信也
日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第32回研究会
2021年12月 -
Fast verified computation for the minimal nonnegative solution to the nonsymmetric T-Riccati equation
口頭（一般） Shinya Miyajima
The 19th International Conference of Numerical Analysis and Applied Mathematics
2021年09月 -
Fast verification for Perron vectors of a kind of weakly irreducible nonnegative tensors
口頭（一般） Shinya Miyajima
The 19th International Conference of Numerical Analysis and Applied Mathematics
2021年09月 -
Fast enclosure for positive solutions to M-tensor multi-linear systems
口頭（一般） Shinya Miyajima
The 19th International Conference of Numerical Analysis and Applied Mathematics
2021年09月 -
Verified bounds for matrix gamma function
口頭（一般） Shinya Miyajima
The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations
2021年09月 -
Computing enclosure for matrix real powers
口頭（一般） Shinya Miyajima
The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations
2021年09月 -
Fast verification for positive solutions to M-tensor multi-linear systems
口頭（一般） 宮島信也
日本応用数理学会2021年度年会
2021年09月 -
Fast validation for Perron vectors of a kind of weakly irreducible nonnegative tensors
口頭（一般） 宮島信也
日本応用数理学会2021年度年会
2021年09月 -
Self-validating numerical algorithms for the matrix Mittag-Leffler function
口頭（一般） Shinya Miyajima
SIAM Conference on Applied Linear Algebra
2021年05月 -
行列Mittag-Leffler関数に対する精度保証付き数値計算と非整数階微分方程式への応用
口頭（一般） 宮島信也
日本応用数理学会研究部会連合発表会
2021年03月 -
四元数行列のすべての標準固有値に対する精度保証付き数値計算
口頭（一般） 丹野遼太郎, 宮島信也
日本応用数理学会研究部会連合発表会
2021年03月 -
Brauerの定理を利用した正方行列のスペクトル半径の上限に対する数値計算法
口頭（一般） 伊五澤彩乃, 宮島信也
日本応用数理学会研究部会連合発表会
2021年03月 -
Verified numerical computation for matrix real powers
口頭（招待・特別） 宮島信也
2020年並列／分散／協調処理に関する『福井』サマー・ワークショップ
2020年07月 -
精度保証付き数値計算とは何か - 行列の固有値問題を題材に -
公開講演，セミナー，チュートリアル，講習，講義等 宮島信也
東京工業大学山田研究室セミナー
2020年03月 -
行列のすべての固有値に対するロバストな数値的検証法
口頭（一般） 今貴一, 宮島信也
日本応用数理学会研究部会連合発表会
2020年03月 -
行列指数関数に対する数値的検証法の改良
口頭（一般） 中村圭汰, 宮島信也
日本応用数理学会研究部会連合発表会
2020年03月 -
Computing intervals containing matrix fractional powers
口頭（招待・特別） 宮島信也
日本応用数理学会研究部会連合発表会
2020年03月 -
行列指数関数に対する数値的検証法
口頭（招待・特別） 宮島信也
日本数学会・東北支部会
2020年02月 -
Validated numerical computation of eigenpairs in the generalized eigenvalue problem for nonsquare matrix pencil
口頭（一般） Shinya Miyajima
International Conference on Recent Advances in Applied Mathematics
2020年02月 -
Validated numerical computation for the Perron pair of an irreducible nonnegative matrix
口頭（一般） Shinya Miyajima
International Conference on Recent Advances in Applied Mathematics
2020年02月 -
Enclosing matrix gamma function
口頭（一般） 宮島信也
日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第28回研究会
2019年12月 -
Computing an interval containing matrix gamma function
口頭（一般） 宮島信也
第17回計算数学研究会
2019年11月-2019年12月 -
Fast validation for the Perron pair of an irreducible nonnegative matrix
口頭（一般） 宮島信也
日本応用数理学会2019年度年会
2019年09月 -
Fast verified computation for the Perron pair of an irreducible nonnegative matrix
口頭（招待・特別） 宮島信也
RIMS Symposium (open), Numerical methods for spectral problems: theory and applications
2019年09月 -
数値的検証法とは何か -行列の固有値問題を題材に-
口頭（一般） 宮島信也
理工・農学部若手研究会
2019年07月 -
Computation of intervals containing Moore-Penrose inverses
口頭（一般） Shinya Miyajima
The 14th East Asia SIAM Conference
2019年06月-2018年06月 -
Validated computation for the matrix Lambert W function
口頭（一般） 宮島信也
第48回数値解析シンポジウム
2019年06月 -
Computing intervals containing Moore-Penrose inverses
口頭（一般） 宮島信也
日本応用数理学会研究部会連合発表会
2019年03月 -
行列余弦関数に対する数値的検証法
口頭（一般） 佐藤大, 宮島信也
日本応用数理学会研究部会連合発表会
2019年03月 -
Enclosing the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation
口頭（招待・特別） Shinya Miyajima
Colloquium (scientific computing)
2018年12月 -
Computing an interval containing the matrix exponential
口頭（招待・特別） Shinya Miyajima
Colloquium (scientific computing)
2018年12月 -
Verification algorithms for the matrix Lambert W functions
口頭（一般） Shinya Miyajima
International Conference on Mathematical Sciences and Technology
2018年12月 -
A robust algorithm for computing intervals containing the stabilizing solutions of the discrete-time algebraic Riccati equations
口頭（一般） Shinya Miyajima
International Conference on Mathematical Sciences and Technology
2018年12月 -
行列余弦関数に対する数値的検証法の構築
口頭（一般） 佐藤大, 宮島信也
第5回ODE若手セミナー
2018年12月 -
A robust algorithm for enclosing stabilizing solutions of discrete-time algebraic Riccati equations
口頭（一般） 宮島信也
第16回計算数学研究会
2018年11月-2018年12月 -
Verified computation of eigenpairs in the generalized eigenvalue problem for rectangular matrix pencils
口頭（招待・特別） 宮島信也
京都大学数理解析研究所 共同研究 (公開型)「次世代の科学技術を支える数値解析学の基盤整備と応用展開」
2018年11月 -
Enclosing the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation
口頭（一般） 宮島信也
日本応用数理学会2018年度年会
2018年09月 -
Fast validated computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation
口頭（一般） Shinya Miyajima
The 13th East Asia SIAM Conference
2018年06月 -
Validated computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation
口頭（一般） Shinya Miyajima
The 13th East Asia SIAM Conference
2018年06月 -
Validated computation for the matrix principal logarithm
口頭（一般） Shinya Miyajima
The 13th East Asia SIAM Conference
2018年06月 -
Fast verified numerical computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation
口頭（一般） 宮島信也
第47回数値解析シンポジウム
2018年06月 -
Verified numerical computation for the matrix principal logarithm
口頭（一般） 宮島信也
日本応用数理学会平成30年研究部会連合発表会
2018年03月 -
多項式固有値問題のすべての固有値に対する数値的検証法
口頭（一般） 相馬彩乃, 宮島信也
日本応用数理学会平成30年研究部会連合発表会
2018年03月 -
Fast validated computation for the solvent of the quadratic matrix equation
口頭（一般） Shinya Miyajima
The 3rd International Conference on Mathematical Sciences and Statistics
2018年02月 -
Fast validated computation for the solution of the T-congruence Sylvester equation
口頭（一般） Shinya Miyajima
The 3rd International Conference on Mathematical Sciences and Statistics
2018年02月 -
Validated computation for the matrix exponential
口頭（一般） Shinya Miyajima
The 3rd International Conference on Mathematical Sciences and Statistics
2018年02月 -
Verified solution of the T-congruence Sylvester equation
口頭（一般） 宮島信也
第15回計算数学研究会
2017年12月 -
Numerical enclosure for the matrix exponential
口頭（一般） 宮島信也
日本応用数理学会2017年度年会
2017年09月 -
Verified computation for the matrix principal pth root
口頭（一般） 宮島信也
第46回数値解析シンポジウム
2017年06月 -
Validated computation for the geometric mean of two matrices
口頭（一般） Shinya Miyajima
The 12th East Asia SIAM Conference
2017年06月 -
Validated solutions to inverse symmetric eigenvalue problems
口頭（一般） Shinya Miyajima
The 12th East Asia SIAM Conference
2017年06月 -
Fast validated computation for the matrix principal pth root
口頭（一般） Shinya Miyajima
The 12th East Asia SIAM Conference
2017年06月 -
Fast verified numerical computation for all eigenvalues and eigenvectors of a matrix
口頭（招待・特別） 宮島信也
第9回福島応用数学研究集会
2017年03月 -
Verified computation for solutions of inverse symmetric eigenvalue problems
口頭（一般） 宮島信也
日本応用数理学会平成29年研究部会連合発表会
2017年03月 -
Verified numerical computation for the geometric mean of two matrices
口頭（一般） 宮島信也
日本応用数理学会平成29年研究部会連合発表会
2017年03月 -
Verified error bounds for approximate solutions of saddle point linear systems
口頭（一般） 宮島信也
第14回計算数学研究会
2016年12月 -
Verified numerical computation for the matrix inverse square root
口頭（招待・特別） 宮島信也
岐阜数理科学セミナー
2016年10月 -
Fast validated computation for solutions of discrete-time algebraic Riccati equations
口頭（一般） Shinya Miyajima
17th International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
2016年09月 -
Fast validated computation for solutions of algebraic Riccati equations arising in transport theory
口頭（一般） Shinya Miyajima
17th International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
2016年09月 -
Fast enclosure for solutions of discrete-time algebraic Riccati equations
口頭（一般） 宮島信也
第45回数値解析シンポジウム
2016年06月