研究

研究内容 (研究者総覧, KAKEN, researchmap)

応用数学. 特に

講演予定

査読付学術誌論文

  1. Ippei Obayashi, Shinya Miyajima, Kazuaki Tanaka, Koichi Mayumi, Enhanced estimation method for partial scattering functions in CV-SANS via Gaussian process with prior knowledge of smoothness, Journal of Applied Crystallography, Volume 58, Part 3, Pages 976-991, June 2025

  2. Koichi Mayumi, Tatsuro Oda, Shinya Miyajima, Ippei Obayashi, Kazuaki Tanaka, Error evaluation of partial scattering functions obtained from contrast variation small-angle neutron scattering, Journal of Applied Crystallography, Volume 58, Part 1, Pages 4-17, February 2025 (プレスリリース(岩手大学), プレスリリース(岡山大学), プレスリリース(東京大学), プレスリリース(早稲田大学), プレスリリース(JST), 紹介記事(日本経済新聞))

  3. Shinya Miyajima, Some properties concerning Perron vectors of weakly irreducible nonnegative tensors, and their application to rigorous enclosure, Linear Algebra and its Applications, Volume 687, Pages 207-228, April 2024 (紹介記事)

  4. Shinya Miyajima, Fast verified computation for real powers of large matrices with Kronecker structure, Applied Mathematics and Computation, Volume 453, Article number 128055, Pages 1-22, September 2023 (紹介記事)

  5. Shinya Miyajima, Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation, Calcolo, Volume 59, Issue 3, Article number 31, Pages 1-16, September 2022

  6. 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, Volume 406, Article number 113930, Pages 1-15, May 2022

  7. Shinya Miyajima, Verified computation of matrix gamma function, Linear and Multilinear Algebra, Volume 70, Number 7, Pages 1207-1229, May 2022 (Top 10% 論文)

  8. Shinya Miyajima, Verified computation of real powers of matrices, Journal of Computational and Applied Mathematics, Volume 391, Article number 113431, Pages 1-13, August 2021

  9. Shinya Miyajima, Fast verification for the Perron pair of an irreducible nonnegative matrix, The Electronic Journal of Linear Algebra, Volume 37, Pages 402-415, May 2021

  10. Shinya Miyajima, Computing enclosures for the matrix Mittag-Leffler function, Journal of Scientific Computing, Volume 87, Issue 2, Article number 62, Pages 1-22, May 2021

  11. Shinya Miyajima, Verified computation for the geometric mean of two matrices, Japan Journal of Industrial and Applied Mathematics, Volume 38, Issue 1, Pages 211-232, January 2021

  12. Shinya Miyajima, Enclosing Moore-Penrose inverses, Calcolo, Volume 57, Issue 1, Article number 7, Pages 1-16, March 2020

  13. Shinya Miyajima, Verified computation of eigenpairs in the generalized eigenvalue problem for nonsquare matrix pencils, Journal of Mathematical Research with Applications, Volume 40, Number 1, Pages 73-84, January 2020

  14. Shinya Miyajima, Verified computation for the matrix Lambert W function, Applied Mathematics and Computation, Volume 362, Article number 124555, Pages 1-15, December 2019

  15. Shinya Miyajima, Robust verification algorithm for stabilizing solutions of discrete-time algebraic Riccati equations, Japan Journal of Industrial and Applied Mathematics, Volume 36, Issue 3, Pages 763-776, September 2019

  16. 宮島信也, 行列方程式の解に対する数値的検証法の進展, 応用数理, Volume 29, Number 2, Pages 18-25, June 2019

  17. Shinya Miyajima, Verified computation for the matrix principal logarithm, Linear Algebra and its Applications, Volume 569, Pages 38-61, May 2019

  18. Shinya Miyajima, Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation, Journal of Computational and Applied Mathematics, Volume 350, Pages 80-86, April 2019

  19. Shinya Miyajima, Verified computation of the matrix exponential, Advances in Computational Mathematics, Volume 45, Issue 1, Pages 137-152, February 2019

  20. Shinya Miyajima, Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation, Computational and Applied Mathematics, Volume 37, Issue 4, Pages 4599-4610, September 2018

  21. Shinya Miyajima, Fast verified computation for the solution of the T-congruence Sylvester equation, Japan Journal of Industrial and Applied Mathematics, Volume 35, Issue 2, Pages 541-551, July 2018

  22. Shinya Miyajima, Fast verified computation for the solvent of the quadratic matrix equation, The Electronic Journal of Linear Algebra, Volume 34, Pages 137-151, March 2018

  23. Shinya Miyajima, Fast verified computation for the matrix principal pth root, Journal of Computational and Applied Mathematics, Volume 330, Pages 276-288, March 2018

  24. Shinya Miyajima, Fast verified computation for solutions of algebraic Riccati equations arising in transport theory, Numerical Linear Algebra with Applications, Volume 24, Issue 5, Article number e2098, Pages 1-12, October 2017

  25. Shinya Miyajima, Verified solutions of inverse symmetric eigenvalue problems, Reliable Computing, Volume 24, Pages 31-44, September 2017

  26. Shinya Miyajima, Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations, Journal of Computational and Applied Mathematics, Volume 319, Pages 352-364, August 2017

  27. Shinya Miyajima, Verified solutions of delay eigenvalue problems, Applied Mathematics and Computation, Volume 303, Pages 211-225, June 2017

  28. Shinya Miyajima, Fast verified computation for solutions of continuous-time algebraic Riccati equations, Japan Journal of Industrial and Applied Mathematics, Volume 32, Issue 2, Pages 529-544, July 2015

  29. Shinya Miyajima, Fast enclosure for the minimum norm least squares solution of the matrix equation AXB = C, Numerical Linear Algebra with Applications, Volume 22, Issue 3, Pages 548-563, May 2015

  30. Shinya Miyajima, A sharp error bound of the approximate solutions for saddle point linear systems, Journal of Computational and Applied Mathematics, Volume 277, Pages 36-46, March 2015

  31. Shinya Miyajima, Fast enclosure for solutions of generalized least squares problems, Reliable Computing, Volume 20, Pages 89-112, February 2015

  32. Shinya Miyajima, Fast enclosure for a matrix inverse square root, Linear Algebra and its Applications, Volume 467, Pages 116-135, February 2015

  33. Hiroshi Mabuchi, Shinya Miyajima, An algorithm for checking incorrectness of a rule in equivalent transformation programs, International Journal of Innovative Computing, Information and Control, Volume 11, Number 1, Pages 327-347, February 2015

  34. Shinya Miyajima, Verified bounds for all the singular values of matrix, Japan Journal of Industrial and Applied Mathematics, Volume 31, Issue 3, Pages 513-539, November 2014

  35. Shinya Miyajima, Fast enclosure for all eigenvalues and invariant subspaces in generalized eigenvalue problems, SIAM Journal on Matrix Analysis and Applications, Volume 35, Number 3, Pages 1205-1225, September 2014

  36. Shinya Miyajima, Fast enclosure for solutions of generalized Sylvester equations, Japan Journal of Industrial and Applied Mathematics, Volume 31, Issue 2, Pages 293-304, June 2014

  37. Shinya Miyajima, Componentwise enclosure for solutions of least squares problems and underdetermined systems, Linear Algebra and its Applications, Volume 444, Pages 28-41, March 2014

  38. Shinya Miyajima, Fast enclosure for solutions of Sylvester equations, Linear Algebra and its Applications, Volume 439, Issue 4, Pages 856-878, August 2013

  39. Shinya Miyajima, Fast enclosure of matrix polynomials, Reliable Computing, Volume 18, Pages 9-14, January 2013

  40. Shinya Miyajima, The relation between two types of error bounds for computed matrix eigenvalues, Reliable Computing, Volume 16, Pages 107-113, April 2012

  41. Shinya Miyajima, Componentwise error estimates for solutions obtained by stationary iterative methods, Reliable Computing, Volume 16, Pages 102-106, April 2012

  42. Shinya Miyajima, Numerical enclosure for each eigenvalue in generalized eigenvalue problem, Journal of Computational and Applied Mathematics, Volume 236, Issue 9, Pages 2545-2552, March 2012

  43. Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi, Algorithmic debugging of equivalent transformation programs using oracle rules, International Journal of Innovative Computing, Information and Control, Volume 7, Number 8, Pages 4703-4716, August 2011

  44. Shinya Miyajima, Fast enclosure for solutions in underdetermined systems, Journal of Computational and Applied Mathematics, Volume 234, Issue 12, Pages 3436-3444, October 2010

  45. Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi, Fast verification for all eigenpairs in symmetric positive definite generalized eigenvalue problems, Reliable Computing, Volume 14, Pages 24-45, June 2010

  46. Shinya Miyajima, Fast enclosure for all eigenvalues in generalized eigenvalue problems, Journal of Computational and Applied Mathematics, Volume 233, Issue 11, Pages 2994-3004, April 2010

  47. Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi, Yuya Wakamatsu, Automatic detection of incorrect rules in equivalent transformation programs, International Journal of Innovative Computing, Information and Control, Volume 5, Number 8, Pages 2203-2218, August 2009

  48. 柏木啓一郎, 宮島信也, 柏木雅英, GPUを利用した非線形方程式の並列全解探索法, 日本応用数理学会論文誌, Volume 18, Number 3, Pages 347-362, October 2008

  49. Shinya Miyajima, Masahide Kashiwagi, Existence test for solution of nonlinear systems applying affine arithmetic, Journal of Computational and Applied Mathematics, Volume 199, Issue 2, Pages 304-309, February 2007

  50. K. Ozaki, T. Ogita, S. Miyajima, S. Oishi, S. M. Rump, A method of obtaining verified solutions for linear systems suited for Java, Journal of Computational and Applied Mathematics, Volume 199, Issue 2, Pages 337-344, February 2007

  51. 宮島信也, 荻田武史, 大石進一, 実対称行列の各固有対に対する精度保証付き数値計算法, 日本応用数理学会論文誌, Volume 16, Number 4, Pages 535-552, December 2006

  52. 宮島信也, 荻田武史, 大石進一, 実対称行列の各固有値に対する精度保証付き数値計算法, 日本応用数理学会論文誌, Volume 15, Number 3, Pages 253-268, September 2005

  53. Shinya Miyajima, Masahide Kashiwagi, A dividing method utilizing the best multiplication in affine arithmetic, IEICE Electronics Express, Volume 1, Number 7, Pages 176-181, July 2004

  54. Shinya Miyajima, Masahide Kashiwagi, On range inclusion of polynomials applying interval arithmetic, IEICE Transactions, Volume E87-A, Number 3, Pages 725-731, March 2004

  55. Shinya Miyajima, Takatomi Miyata, Masahide Kashiwagi, A new dividing method in affine arithmetic, IEICE Transactions, Volume E86-A, Number 9, Pages 2192-2196, September 2003

  56. 宮島信也, 宮田孝富, 白井健一, 柏木雅英, アフィン演算における乗除算について, 電子情報通信学会論文誌, Volume J86-A, Number 3, Pages 232-240, March 2003

  57. 宮島信也, 宮田孝富, 柏木雅英, アフィン演算における最良乗算について, 電子情報通信学会論文誌, Volume J86-A, Number 2, Pages 150-159, February 2003

査読付国際会議予稿

  1. Kentaro Murata, Naoki Honma, Shinya Miyajima, RePH: RIS-inspired electronic phantom, Proceedings of the 30th International Symposium on Antennas and Propagation (ISAP 2025), ACROS Fukuoka, Fukuoka, Japan, October, 2025

  2. Yuto Ozawa, Kentaro Murata, Naoki Honma, Shinya Miyajima, Boundary on channel reconstruction accuracy of RePH, Proceedings of the 2025 IEEE International Symposium on Antennas & Propagation and North American Radio Science Meeting (IEEE AP-S/URSI 2025), Rogers Centre Ottawa, Ottawa, Canada, July 2025

  3. Shinya Miyajima, Perturbation bounds for the matrix Mittag-Leffler function, Proceedings of The 18th East Asia SIAM Conference (EASIAM 2025), De La Salle University, Manila, Philippines, Page 76, July 2025

  4. Shinya Miyajima, Amir Sadeghi, Some norm bounds on the complimentary error matrix functions, Proceedings of 26th Conference of the International Linear Algebra Society (ILAS 2025), National Sun Yat-sen University, Kaohsiung, Taiwan, Pages 86-87, June 2025

  5. Ayumi Sato, Chihiro Segawa, Kentaro Murata, Naoki Honma, Shinya Miyajima, On the reconstruction accuracy of MIMO radar channel by reconfigurable electronic phantom, Proceedings of the 29th International Symposium on Antennas and Propagation (ISAP 2024), Songdo Convensia, Incheon, South Korea, Pages 1-2, November 2024

  6. Shinya Miyajima, Verified error bounds for all eigenvalues and basis of invariant subspaces of a real symmetric matrix, Proceedings of 25th Conference of the International Linear Algebra Society (ILAS 2023), Polytechnic University of Madrid, Madrid, Spain, Pages 193-194, June 2023

  7. Shinya Miyajima, Fast enclosure for real powers of Kronecker structured large matrices, AIP Conference Proceedings, Volume 3094, Issue 1, Article number 500003, Pages 500003-1-500003-4, June 2024 (Proceedings of the 20th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2022), online, September 2022)

  8. Shinya Miyajima, Computing the enclosure for Perron vectors of weakly irreducible nonnegative tensors, AIP Conference Proceedings, Volume 3094, Issue 1, Article number 500004, Pages 500004-1-500004-4, June 2024 (Proceedings of the 20th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2022), online, September 2022)

  9. Shinya Miyajima, Fast enclosure for positive solutions to M-tensor multi-linear systems, AIP Conference Proceedings, Volume 2849, Issue 1, Article number 450008, Pages 450008-1-450008-4, September 2023 (Proceedings of the 19th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2021), online, September 2021)

  10. Shinya Miyajima, Fast verification for Perron vectors of a kind of weakly irreducible nonnegative tensors, AIP Conference Proceedings, Volume 2849, Issue 1, Article number 450009, Pages 450009-1-450009-4, September 2023 (Proceedings of the 19th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2021), online, September 2021)

  11. Shinya Miyajima, Fast verified computation for the minimal nonnegative solution to the nonsymmetric T-Riccati equation, AIP Conference Proceedings, Volume 2849, Issue 1, Article number 450010, Pages 450010-1-450010-4, September 2023 (Proceedings of the 19th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2021), online, September 2021)

  12. Shinya Miyajima, Verified bounds for matrix gamma function, Proceedings of the 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2020), online, Pages 49-50, September 2021

  13. Shinya Miyajima, Computing enclosure for matrix real powers, Proceedings of the 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2020), online, Pages 51-52, September 2021

  14. Shinya Miyajima, Self-validating numerical algorithms for the matrix Mittag-Leffler function, Proceedings of SIAM Conference on Applied Linear Algebra, online, May 2021

  15. Shinya Miyajima, Validated numerical computation of eigenpairs in the generalized eigenvalue problem for nonsquare matrix pencil, Proceedings of International Conference on Recent Advances in Applied Mathematics (ICRAAM2020), DoubleTree by Hilton Hotel Kuala Lumpur, Kuala Lumpur, Malaysia, Page 69, February 2020

  16. Shinya Miyajima, Validated numerical computation for the Perron pair of an irreducible nonnegative matrix, Proceedings of International Conference on Recent Advances in Applied Mathematics (ICRAAM2020), DoubleTree by Hilton Hotel Kuala Lumpur, Kuala Lumpur, Malaysia, Page 70, February 2020

  17. Shinya Miyajima, Computation of intervals containing Moore-Penrose inverses, Proceedings of The 14th East Asia SIAM Conference (EASIAM 2019), Wuhan University, Wuhan, China, Pages 27-28, June 2019

  18. Shinya Miyajima, Verification algorithms for the matrix Lambert W functions, Proceedings of International Conference on Mathematical Sciences and Technology (MathTech2018), Hotel Equatorial Penang, Penang, Malaysia, Page 110, December 2018

  19. Shinya Miyajima, A robust algorithm for computing intervals containing the stabilizing solutions of the discrete-time algebraic Riccati equations, Proceedings of International Conference on Mathematical Sciences and Technology (MathTech2018), Hotel Equatorial Penang, Penang, Malaysia, Page 104, December 2018

  20. Shinya Miyajima, Validated computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation, Proceedings of The 13th East Asia SIAM Conference (EASIAM 2018), University of Tokyo, Tokyo, Japan, Page 39, June 2018

  21. Shinya Miyajima, Validated computation for the matrix principal logarithm, Proceedings of The 13th East Asia SIAM Conference (EASIAM 2018), University of Tokyo, Tokyo, Japan, Page 37, June 2018

  22. Shinya Miyajima, Fast validated computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation, Proceedings of The 13th East Asia SIAM Conference (EASIAM 2018), University of Tokyo, Tokyo, Japan, Page 38, June 2018

  23. Shinya Miyajima, Fast validated computation for the solvent of the quadratic matrix equation, Proceedings of The 3rd International Conference on Mathematical Sciences and Statistics (ICMSS2018), Le Meridien Putrajaya, Putrajaya, Malaysia, Page 112, February 2018

  24. Shinya Miyajima, Fast validated computation for the solution of the T-congruence Sylvester equation, Proceedings of The 3rd International Conference on Mathematical Sciences and Statistics (ICMSS2018), Le Meridien Putrajaya, Putrajaya, Malaysia, Page 116, February 2018

  25. Shinya Miyajima, Validated computation for the matrix exponential, Proceedings of The 3rd International Conference on Mathematical Sciences and Statistics (ICMSS2018), Le Meridien Putrajaya, Putrajaya, Malaysia, Page 113, February 2018

  26. Shinya Miyajima, Validated computation for the geometric mean of two matrices, Proceedings of The 12th East Asia SIAM Conference (EASIAM 2017), Seoul National University, Seoul, South Korea, Pages 55-56, June 2017

  27. Shinya Miyajima, Fast validated computation for the matrix principal pth root, Proceedings of The 12th East Asia SIAM Conference (EASIAM 2017), Seoul National University, Seoul, South Korea, Pages 57-58, June 2017

  28. Shinya Miyajima, Validated solutions to inverse symmetric eigenvalue problems, Proceedings of The 12th East Asia SIAM Conference (EASIAM 2017), Seoul National University, Seoul, South Korea, Pages 59-60, June 2017

  29. Shinya Miyajima, Fast validated computation for solutions of discrete-time algebraic Riccati equations, Proceedings of 17th International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN 2016), Uppsala University, Uppsala, Sweden, Pages 89-90, September 2016

  30. Shinya Miyajima, Fast validated computation for solutions of algebraic Riccati equations arising in transport theory, Proceedings of 17th International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN 2016), Uppsala University, Uppsala, Sweden, Pages 87-88, September 2016

  31. Shinya Miyajima, Verified solutions of delay eigenvalue problems with multiple eigenvalues, Proceedings of SIAM Conference on Applied Linear Algebra, Hyatt Regency Atlanta, Georgia, US, Page 62, October 2015

  32. Shinya Miyajima, Enclosing solutions of the delay eigenvalue problem, Proceedings of 2015 Australia and New Zealand Industrial and Applied Mathematics Conference (ANZIAM 2015), Outrigger Surfers Paradise, Gold Coast, Australia, Page 74, February 2015

  33. Shinya Miyajima, Fast inclusion for the matrix inverse square root, Proceedings of 16th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2014), University of Würzburg, Würzburg, Germany, Pages 111-113, September 2014

  34. Shinya Miyajima, Verified solutions of saddle point linear systems, Proceedings of 16th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2014), University of Würzburg, Würzburg, Germany, Pages 114-116, September 2014

  35. Shinya Miyajima, Fast verified computation for solutions of generalized least squares problems, Proceedings of 2013 The European Numerical Mathematics and Advanced Applications Conference (ENUMATH 2013), EPF Lausanne, Lausanne, Switzerland, Pages 270-271, August 2013

  36. Shinya Miyajima, Fast enclosure for solutions of continuous-time algebraic Riccati equations, Proceedings of The 9th East Asia SIAM Conference - The 2nd Conference on Industrial and Applied Mathematics (EASIAM - CIAM 2013), Newton Hotel, Bandung, West Java, Indonesia, Pages 48-49, June 2013

  37. Shinya Miyajima, Fast inclusion for the minimum norm least squares solutions of the matrix equations AXB = C, Proceedings of The 9th East Asia SIAM Conference - The 2nd Conference on Industrial and Applied Mathematics (EASIAM - CIAM 2013), Newton Hotel, Bandung, West Java, Indonesia, Pages 50-51, June 2013

  38. Shinya Miyajima, Componentwise inclusion for solutions in least squares problems and underdetermined systems, Proceedings of 15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN 2012), Siberian Department of the Russian Academy of Sciences, Novosibirsk, Russia, Pages 105-106, September 2012

  39. Shinya Miyajima, Verified computations for all generalized singular values, Proceedings of 15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN 2012), Siberian Department of the Russian Academy of Sciences, Novosibirsk, Russia, Pages 107-108, September 2012

  40. Shinya Miyajima, Enclosing solutions in Sylvester equations, Proceedings of The 17th International Linear Algebra Society Conference (ILAS 2011), TU Braunschweig, Braunschweig, Germany, Page 105, August 2011

  41. Shinya Miyajima, Error estimation for solutions obtained by stationary iterative methods, Proceedings of 7th International Congress on Industrial and Applied Mathematics (ICIAM 2011), Vancouver Convention Centre, Vancouver, Canada, Page 185, July 2011

  42. Shinya Miyajima, The relation between two algorithms for enclosing matrix eigenvalues, Proceedings of 24th Biennial Conference on Numerical Analysis, University of Strathclyde, Glasgow, Scotland, Page 36, June 2011

  43. Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi, Examining incorrectness of a rule in equivalent transformation programs, Proceedings of The 11th International Conference on Intelligent Technologies (InTech 2010), Assumption University, Bangkok, Thailand, Pages 22-30, December 2010

  44. Shinya Miyajima, Error bounds for computed eigenvalues in generalized eigenvalue problem, Proceedings of 14th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2010), ENS Lyon, Lyon, France, Pages 95-96, September 2010

  45. Shinya Miyajima, Enclosing all eigenpairs in symmetric positive definite generalized eigenvalue problems, AIP Conference Proceedings, Volume 1281, Pages 945-948, September 2010 (Proceedings of Minisymposium on Numerical Methods for Eigenvalue Problems within the 8th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2010), Rodos Palace Hotel, Island of Rhodes, Greece, September 2010)

  46. Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi, A debugging algorithm in equivalent transformation model using oracle rules, Proceedings of The 4th International Conference on Innovative Computing, Information and Control (ICICIC2009), Ambassador Hotel Kaohsiung, Kaohsiung, Taiwan, CD-ROM 4 pages, December 2009

  47. Shinya Miyajima, Enclosing solutions in least squares problems, HERMIS - An International Journal of Computer Mathematics and its Applications, Volume 11, Pages 51-58, December 2009 (Proceedings of The 9th Hellenic European Research on Computer Mathematics and its Applications Conference (HERCMA 2009), Athens University of Economics and Business, Athens, Greece, September 2009)

  48. Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi, Algorithmic debugging of equivalent transformation programs based on differences in certainty of rules, Proceedings of The 9th International Conference on Intelligent Technologies (InTech'08), Samui Palm Beach Resort, Samui, Thailand, Pages 103-112, October 2008

  49. Shinya Miyajima, Enclosing all eigenvalues in generalized eigenvalue problem, Proceedings of 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations (SCAN 2008), University of Texas at El Paso, Texas, US, Pages 73-74, September 2008

  50. Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi, Yuya Wakamatsu, Detecting incorrect rules automatically in equivalent transformation programs, Proceedings of The 2nd International Conference on Innovative Computing, Information and Control (ICICIC2007), Kumamoto City International Center, Kumamoto, Japan, CD-ROM 4 pages, September 2007

  51. Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi, Verifying all eigenpairs in real symmetric positive definite generalized eigenvalue problem, Proceedings of 6th International Congress on Industrial and Applied Mathematics (ICIAM 07), ETH Zürich, Zürich, Switzerland, Pages 2020061-2020062, July 2007

  52. Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi, Fast verification for each eigenpair of symmetric matrix, Proceedings of 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006), University of Duisburg-Essen, Duisburg, Germany, Pages 187-188, September 2006

  53. Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi, A method of generating linear systems with an arbitrarily ill-conditioned matrix and an arbitrary solution, Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications (NOLTA 2005), SEC@Bruges, Bruges, Belgium, Pages 741-744, October 2005

  54. K. Ozaki, T. Ogita, S. Miyajima, S. Oishi, S. M. Rump, Componentwise verified solutions of linear systems suited for Java, Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications (NOLTA 2005), SEC@Bruges, Bruges, Belgium, Pages 749-752, October 2005

  55. Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi, Fast verification for respective eigenvalues of symmetric matrix, Lecture Notes in Computer Science, Volume 3718, Pages 306-317, 2005 (Proceedings of The 8th International Conference on Computer Algebra in Scientific Computing (CASC'2005), Hotel Filoxenia, Kalamata, Greece, Septemper 2005)

  56. Shinya Miyajima, Takeshi Ogita, Katsuhisa Ozaki, Shin'ichi Oishi, Fast error estimation for eigenvalues of symmetric matrix without directed rounding, Proceedings of 2004 International Symposium on Nonlinear Theory and its Applications (NOLTA 2004), ACROS Fukuoka, Fukuoka, Japan, Pages 167-170, December 2004

  57. Shinya Miyajima, Masahide Kashiwagi, A method which finds maxima and minima of a multivariable function applying mean value form, Proceedings of 11th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2004), Nishitetsu Grand Hotel, Fukuoka, Japan, Page 83, October 2004

  58. Shinya Miyajima, Masahide Kashiwagi, A method which finds maxima and minima of a multivariable function applying affine arithmetic, Lecture Notes in Computer Science, Volume 3401, Pages 424-431, 2005 (Proceedings of 3rd International Conference on Numerical Analysis and Applications (3rd NA&A), Division of Numerical Analysis and Statistics, University of Rousse "Angel Kanchev", Rousse, Bulgaria, Page 31, June 2004)

  59. Shinya Miyajima, Masahide Kashiwagi, Existence examination of solution in systems of nonlinear equations applying affine arithmetic, Proceedings of 4th International Conference on Intelligent Technologies (Intech'03), Chiang Mai Plaza Hotel, Chiang Mai, Thailand, Pages 552-561, December 2003

  60. Masahide Kashiwagi, Shinya Miyajima, On the application of the best multiplication to division in affine arithmetic, Proceedings of 2nd St. Petersburg Days of LOGIC and COMPUTABILITY, Euler International Mathematical Institute, St. Petersburg, Russia, Page 38, August 2003

  61. Shinya Miyajima, Masahide Kashiwagi, On range evaluation of polynomials by applying interval arithmetic, Lecture Notes in Computer Science, Volume 2907, Pages 254-261, 2004 (Proceedings of 4th International Conference on Large-Scale Scientific Computations (LSSC '03), Bulgarian Red Cross Educational Center, Sozopol, Bulgaria, Pages B-33 - B-34, June 2003)

  62. Shinya Miyajima, Masahide Kashiwagi, On new dividing method in affine arithmetic, Proceedings of 2002 International Symposium on Nonlinear Theory and its Applications (NOLTA2002), Xi'an International Conference Center, PRC, Xi'an, China, Pages 479-482, October 2002

招待講演・特別講演

  1. 宮島信也, 行列指数関数に対する精度保証付き数値計算法, 広島数理解析セミナー, 広島大学 (広島県東広島市), 2025年9月

  2. Shinya Miyajima, Fast interval computation for Perron vectors of a class of weakly irreducible nonnegative tensors, Numerical methods for spectral problems: theory and applications, Miyako Island ICT Communication Center, Okinawa, Japan, August 2025

  3. Shinya Miyajima, Numerical computation of intervals containing the solvents to the quadratic matrix equations, [Keynote Lecture] 2nd International Conference on Non-linear Analysis and Computational Techniques (ICNACT-2025), VIT Bhopal University, Bhopal, India, August 2025

  4. 宮島信也, 行列相補誤差関数とその数値計算, [特別講演] 日本数学会・東北支部会, 東北大学 (宮城県仙台市), 2025年2月

  5. 宮島信也, 行列ランベルトW関数の値の厳密な存在範囲の数値計算, 京都大学数理解析研究所 共同研究 (公開型)「時間遅れ系と数理科学：理論と応用の新たな展開に向けて」, 京都大学 (京都府京都市), 2024年11月

  6. 宮島信也, 行列ランベルトW関数の値を包含する区間の数値計算, 岐阜数理科学セミナー, 岐阜大学 (岐阜県岐阜市), 2024年1月

  7. Shinya Miyajima, Fast verified computation for all eigenvalues and basis of invariant subspaces of a real symmetric matrix, Numerical methods for spectral problems: theory and applications, New Akan Hotel, Hokkaido, Japan, August 2023

  8. 宮島信也, クロネッカー構造をもつ大規模行列の実数乗とベクトルの積に対する精度保証付き数値計算, 岐阜数理科学セミナー, 岐阜大学 (岐阜県岐阜市), 2022年3月

  9. 宮島信也, 精度保証付き数値計算とは何か - 行列の固有値を題材に -, 北九州数理科学セミナー, 北九州工業高等専門学校 (福岡県北九州市), 2021年12月

  10. 宮島信也, Verified numerical computation for matrix real powers, [招待講演] 2020年並列／分散／協調処理に関する『福井』サマー・ワークショップ (SWoPP2020), オンライン, 2020年7月

  11. 宮島信也, 精度保証付き数値計算とは何か - 行列の固有値問題を題材に -, 東京工業大学山田研究室セミナー, 東京工業大学 (東京都目黒区), 2020年3月

  12. 宮島信也, Computing intervals containing matrix fractional powers, [招待講演] 日本応用数理学会研究部会連合発表会, 中央大学 (東京都文京区), 2020年3月

  13. 宮島信也, 行列指数関数に対する数値的検証法, [特別講演] 日本数学会・東北支部会, コラッセふくしま (福島県福島市), 2020年2月

  14. Shinya Miyajima, Fast verified computation for the Perron pair of an irreducible nonnegative matrix, RIMS Symposium (open), Numerical methods for spectral problems: theory and applications, Kyoto University, Kyoto, Japan, September 2019

  15. Shinya Miyajima, Computing an interval containing the matrix exponential, Colloquium (scientific computing), National Formosa University, Huwei, Taiwan, December 2018

  16. Shinya Miyajima, Enclosing the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation, Colloquium (scientific computing), National Formosa University, Huwei, Taiwan, December 2018

  17. 宮島信也, Verified computation of eigenpairs in the generalized eigenvalue problem for rectangular matrix pencils, 京都大学数理解析研究所 共同研究 (公開型)「次世代の科学技術を支える数値解析学の基盤整備と応用展開」, 京都大学 (京都府京都市), 2018年11月

  18. 宮島信也, Fast verified numerical computation for all eigenvalues and eigenvectors of a matrix, 第9回福島応用数学研究集会, コラッセふくしま (福島県福島市), 2017年3月

  19. 宮島信也, Verified numerical computation for the matrix inverse square root, 岐阜数理科学セミナー, 岐阜大学 (岐阜県岐阜市), 2016年10月

  20. 宮島信也, Fast inclusion for solutions of continuous-time algebraic Riccati equations, 数理科学セミナー, 一橋大学 (東京都国立市), 2013年1月

  21. 宮島信也, Componentwise verified numerical computation for solutions of least squares problems, 語ろう数理解析セミナー拡大版, 新潟大学 (新潟県新潟市), 2012年8月

  22. 宮島信也, 行列の特異値の厳密な存在範囲の数値計算法, 第1回岐阜数理科学研究会, 岐阜大学 (岐阜県岐阜市), 2012年8月

  23. 宮島信也, シルベスター方程式の解に対する高速な精度保証付き数値計算法, 新潟大学数理情報セミナー, 新潟大学 (新潟県新潟市), 2012年1月

  24. 宮島信也, シルベスター方程式の数値解に対する高速精度保証, 線形計算研究会, 東京大学 (東京都文京区), 2011年12月

  25. 宮島信也, 一般化固有値問題における固有値の厳密な存在範囲の数値計算法, 拡大版岐阜数理科学セミナー, 岐阜大学 (岐阜県岐阜市), 2010年12月

  26. 宮島信也, 一般化固有値問題におけるすべての固有値の厳密な存在範囲の数値計算, 数理情報科学セミナー, 広島大学 (広島県東広島市), 2010年12月

  27. 宮島信也, Numerical inclusion for all eigenvalues in generalized eigenvalue problems, デジタル解析学セミナー, 早稲田大学 (東京都新宿区), 2010年1月

  28. 宮島信也, Numerical inclusion for solutions in underdetermined systems, 語ろう「数理解析」, 岐阜大学 (岐阜県岐阜市), 2009年12月

  29. Shinya Miyajima, Numerical enclosure for solutions in least squares problems, 2009 International Workshop on Numerical Verification and its Applications (INVA2009), Hotel Breeze Bay Marina, Okinawa, Japan, March 2009

  30. Shinya Miyajima, Michael Plum, Takeshi Ogita, Shin'ichi Oishi, Verifying all eigenvalues in generalized eigenvalue problem, 2008 International Workshop on Numerical Verification and its Applications (INVA2008), Tokyo Dai-ichi Hotel, Okinawa, Japan, March 2008

  31. 宮島信也, 実対称正定値一般化固有値問題における解の高速精度保証, 岐阜非線形セミナー, 岐阜大学 (岐阜県岐阜市), 2007年12月

  32. 宮島信也, 一般化固有値問題における解の高速精度保証, 第1回数理デザイン研究コロキウム, 岐阜大学 (岐阜県岐阜市), 2007年10月

  33. Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi, Verified all eigenpairs of generalized eigenvalue problem, International Workshop on Numerical Verification and its Applications, Waseda University, Tokyo, Japan, February 2007

学術講演

  1. 大友海斗, 宮島信也, 非負行列のスペクトル半径の上界・下界となる数列の単調性について, 第23回計算数学研究会, 芝浦工業大学熱海セミナーハウス (静岡県熱海市), 2025年12月

  2. 眞弓皓一, 小田達郎, 宮島信也, 大林一平, 田中一成, コントラスト変調中性子小角散乱を用いた多成分ナノ構造解析の誤差評価手法開発と高精度化, 第74回高分子討論会 講演予稿集, 関西大学 (大阪府吹田市), 2025年9月

  3. 大林一平, 宮島信也, 田中一成, 眞弓皓一, ガウス過程回帰によるコントラスト変調中性子小角散乱データの部分散乱関数への高精度な分解手法について, 2025年度統計関連学会連合大会 講演報告集, 関西大学 (大阪府吹田市), 2025年9月

  4. Shinya Miyajima, Amir Sadeghi, Norm bounds on the complimentary error matrix function, 日本応用数理学会2025年度年会 講演予稿集, 東京理科大学 (東京都新宿区), 2025年9月

  5. 宮島信也, 行列 Mittag-Leffler 関数に関する摂動理論, 北見・岐阜数理科学研究交流会, 北見工業大学 (北海道北見市), 2025年8月

  6. 宮島信也, 行列 Mittag-Leffler 関数に対する摂動理論, 2025年並列／分散／協調処理に関するサマー・ワークショップ (SWoPP2025), サンポートホール高松 (香川県高松市), 2025年8月

  7. 宮島信也, 行列ランベルトW関数の値を含む区間行列の数値計算, 京都大学数理解析研究所講究録, 2025年

  8. 眞弓皓一, 小田達郎, 宮島信也, 大林一平, 田中一成, コントラスト変調小角中性子散乱測定における部分散乱関数の数理的誤差評価, 日本中性子科学会第24回年会, 名古屋国際会議場 (愛知県名古屋市), 2024年12月

  9. 佐藤あゆみ, 瀬川智尋, 村田健太郎, 本間尚樹, 宮島信也, 再構成可能な電子ファントムにおいてアレー内不整合及び結合がチャネル再構成精度に与える影響について, 2024年電子情報通信学会ソサイエティ大会 講演論文集, 日本工業大学 (埼玉県南埼玉郡宮代町), B-1C-10, 2024年9月

  10. 村田健太郎, 小澤勇人, 瀬川智尋, 佐藤あゆみ, 本間尚樹, 宮島信也, 再構成可能な電子ファントムの実現に向けた研究開発, 2024年電子情報通信学会ソサイエティ大会 講演論文集, 日本工業大学 (埼玉県南埼玉郡宮代町), BS-2-02, 2024年9月

  11. 大友海斗, 宮島信也, 非負行列のスペクトル半径に対する下限の単調増加性について, 第22回計算数学研究会, 芝浦工業大学熱海セミナーハウス (静岡県熱海市), 2024年8月

  12. 大友海斗, 宮島信也, 非負行列のスペクトル半径に対する下限の単調増加性, 第50回数値解析シンポジウム (NAS2024) 講演予稿集, 岩手大学 (岩手県盛岡市), Pages 37-40, 2024年6月

  13. 村田健太郎, 瀬川智尋, 新井駿斗, 小澤勇人, 佐藤あゆみ, 本間尚樹, 宮島信也, Reconfigurable Intelligent Surfaceを用いた電子ファントム, 2024年電子情報通信学会総合大会 講演論文集, 広島大学 (広島県東広島市), BS-1-02, 2024年3月

  14. 佐藤あゆみ, 新井駿斗, 滝島正博, 瀬川智尋, 村田健太郎, 本間尚樹, 宮島信也, Reconfigurable Intelligent Surfaceを用いた電子ファントムのハードウェア構成に対するMIMOレーダチャネル再構成精度の評価, 2024年電子情報通信学会総合大会 講演論文集, 広島大学 (広島県東広島市), B-1C-43, 2024年3月

  15. 黒田早紀, 宮島信也, クロネッカー構造をもつ大規模行列の行列関数のトレースに対する数値的検証法, 日本応用数理学会研究部会連合発表会, 長岡技術科学大学 (新潟県長岡市), 2024年3月

  16. 大友海斗, 宮島信也, 非負行列のPerron根に対する下限の単調増加性, 日本応用数理学会研究部会連合発表会, 長岡技術科学大学 (新潟県長岡市), 2024年3月

  17. 山中佑太, 宮島信也, gap定理に対する別証明, 日本応用数理学会研究部会連合発表会, 長岡技術科学大学 (新潟県長岡市), 2024年3月

  18. 黒田早紀, 宮島信也, クロネッカー構造をもつ大規模行列の行列関数のトレースに対する精度保証付き数値計算, 第21回計算数学研究会, 大阪成蹊大学 (大阪府大阪市), 2023年12月

  19. 宮島信也, 遅延微分方程式の特性根に対する区間解析, 北見工業大学における微分方程式セミナー, 北見工業大学 (北海道北見市), 2023年9月

  20. 宮島信也, 実対称行列のすべての固有値と不変部分空間の基底に対する精度保証付き数値計算, 日本応用数理学会研究部会連合発表会, 岡山理科大学 (岡山県岡山市), 2023年3月

  21. 佐藤壮, 宮島信也, 行列のすべての固有値に対する精度保証付き数値計算におけるパラメータ決定法, 日本応用数理学会研究部会連合発表会, 岡山理科大学 (岡山県岡山市), 2023年3月

  22. 宮島信也, 既約非負行列のペロンベクトルの大小関係について, 日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第34回研究会, オンライン, 2022年12月

  23. 黒田早紀, 宮島信也, 行列関数のトレースの精度保証付き数値計算, 第20回計算数学研究会, 同志社大学 (京都府京都市), 2022年8月

  24. 宮島信也, 弱既約非負テンソルのペロンベクトルに関するいくつかの性質とその精度保証付き数値計算, 第20回計算数学研究会, 同志社大学 (京都府京都市), 2022年8月

  25. 宮島信也, 弱既約非負テンソルのペロンベクトルに対する精度保証付き数値計算法, 2022年並列／分散／協調処理に関するサマー・ワークショップ (SWoPP2022), 海峡メッセ下関およびオンラインのハイブリッド開催, 2022年7月

  26. 黒田早紀, 宮島信也, 行列関数のトレースに対する高速な精度保証付き数値計算法, 日本応用数理学会研究部会連合発表会, オンライン, 2022年3月

  27. 佐藤大, 宮島信也, 数値ジョルダン分解に基づく行列余弦関数の精度保証付き数値計算, 日本応用数理学会研究部会連合発表会, オンライン, 2022年3月

  28. 宮島信也, クロネッカー構造をもつ大規模行列の実数乗とベクトルの積に対する高速な精度保証付き数値計算法, 日本応用数理学会研究部会連合発表会, オンライン, 2022年3月

  29. 宮島信也, Fast computation of an interval containing the minimal nonnegative solution to the nonsymmetric T-Riccati equation, 日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第32回研究会, オンライン, 2021年12月

  30. 宮島信也, Fast verification for positive solutions to M-tensor multi-linear systems, 日本応用数理学会2021年度年会 講演予稿集, オンライン, Pages 137-138, 2021年9月

  31. 宮島信也, Fast validation for Perron vectors of a kind of weakly irreducible nonnegative tensors, 日本応用数理学会2021年度年会 講演予稿集, オンライン, Pages 139-140, 2021年9月

  32. 伊五澤彩乃, 宮島信也, Brauerの定理を利用した正方行列のスペクトル半径の上限に対する数値計算法, 日本応用数理学会研究部会連合発表会, オンライン, 2021年3月

  33. 丹野遼太郎, 宮島信也, 四元数行列のすべての標準固有値に対する精度保証付き数値計算, 日本応用数理学会研究部会連合発表会, オンライン, 2021年3月

  34. 宮島信也, 行列Mittag-Leffler関数に対する精度保証付き数値計算と非整数階微分方程式への応用, 日本応用数理学会研究部会連合発表会, オンライン, 2021年3月

  35. 今貴一, 宮島信也, 行列のすべての固有値に対するロバストな数値的検証法, 日本応用数理学会研究部会連合発表会, 中央大学 (東京都文京区), 2020年3月

  36. 中村圭汰, 宮島信也, 行列指数関数に対する数値的検証法の改良, 日本応用数理学会研究部会連合発表会, 中央大学 (東京都文京区), 2020年3月

  37. 宮島信也, Enclosing matrix gamma function, 日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第28回研究会, 法政大学 (東京都千代田区), 2019年12月

  38. 宮島信也, Computing an interval containing matrix gamma function, 第17回計算数学研究会, みらくる亭 (福井県福井市), 2019年11月

  39. 宮島信也, Fast validation for the Perron pair of an irreducible nonnegative matrix, 日本応用数理学会2019年度年会 講演予稿集, 東京大学 (東京都目黒区), Pages 564-565, 2019年9月

  40. 宮島信也, 数値的検証法とは何か -行列の固有値問題を題材に-, 理工・農学部若手研究会, 岩手大学 (岩手県盛岡市), 2019年7月

  41. 宮島信也, Validated computation for the matrix Lambert W function, 第48回数値解析シンポジウム (NAS2019) 講演予稿集, AOSSA (福井県福井市), Pages 5-8, 2019年6月

  42. 宮島信也, Computing intervals containing Moore-Penrose inverses, 日本応用数理学会研究部会連合発表会, 筑波大学 (茨城県つくば市), 2019年3月

  43. 佐藤大, 宮島信也, 行列余弦関数に対する数値的検証法, 日本応用数理学会研究部会連合発表会, 筑波大学 (茨城県つくば市), 2019年3月

  44. 佐藤大, 宮島信也, 行列余弦関数に対する数値的検証法の構築, 第5回 ODE 若手セミナー, 岐阜大学 (岐阜県岐阜市), 2018年12月

  45. 宮島信也, A robust algorithm for enclosing stabilizing solutions of discrete-time algebraic Riccati equations, 第16回計算数学研究会, 大原山荘 (京都府京都市), 2018年12月

  46. 宮島信也, Enclosing the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation, 日本応用数理学会2018年度年会 講演予稿集, 名古屋大学 (愛知県名古屋市), Pages 413-414, 2018年9月

  47. 宮島信也, Fast verified numerical computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation, 第47回数値解析シンポジウム (NAS2018) 講演予稿集, あわら温泉まつや千千 (福井県あわら市), Pages 94-97, 2018年6月

  48. 相馬彩乃, 宮島信也, 多項式固有値問題のすべての固有値に対する数値的検証法, 日本応用数理学会研究部会連合発表会, 大阪大学 (大阪府吹田市), 2018年3月

  49. 宮島信也, Verified numerical computation for the matrix principal logarithm, 日本応用数理学会研究部会連合発表会, 大阪大学 (大阪府吹田市), 2018年3月

  50. 宮島信也, Verified solution of the T-congruence Sylvester equation, 第15回計算数学研究会, 那須オオシマフォーラム (栃木県那須郡那須町), 2017年12月

  51. 宮島信也, 逆対称固有値問題の解に対する精度保証付き数値計算法の研究, 学部長裁量経費成果報告会 成果報告書, 岩手大学 (岩手県盛岡市), Pages 22-23, 2017年10月

  52. 宮島信也, Numerical enclosure for the matrix exponential, 日本応用数理学会2017年度年会 講演予稿集, 武蔵野大学 (東京都江東区), Pages 429-430, 2017年9月

  53. 宮島信也, Verified computation for the matrix principal pth root, 第46回数値解析シンポジウム (NAS2017) 講演予稿集, グリーンパーク想い出の森 (滋賀県高島市), Pages 115-118, 2017年6月

  54. Shinya Miyajima, Verified numerical computation for eigenvalues of a matrix, The 1st Joint International Symposium of Iwate University and King Mongkut's Institute of Technology Ladkrabang, Iwate University, Morioka, Japan, June 2017

  55. 宮島信也, Verified numerical computation for the geometric mean of two matrices, 日本応用数理学会研究部会連合発表会, 電気通信大学 (東京都調布市), 2017年3月

  56. 宮島信也, Verified computation for solutions of inverse symmetric eigenvalue problems, 日本応用数理学会研究部会連合発表会, 電気通信大学 (東京都調布市), 2017年3月

  57. 宮島信也, Verified error bounds for approximate solutions of saddle point linear systems, 第14回計算数学研究会, 琵琶湖コンファレンスセンター (滋賀県彦根市), 2016年12月

  58. 宮島信也, Fast enclosure for solutions of discrete-time algebraic Riccati equations, 第45回数値解析シンポジウム (NAS2016) 講演予稿集, 霧島ホテル (鹿児島県霧島市), Pages 66-69, 2016年6月

  59. 宮島信也, Fast verified computation for solutions of nonsymmetric algebraic Riccati equations arising in transport theory, 日本応用数理学会研究部会連合発表会, 神戸学院大学 (兵庫県神戸市), 2016年3月

  60. Shinya Miyajima, Verified numerical computation for solutions of delay eigenvalue problems with multiple eigenvalues, Proceedings of The 2nd International Joint Meeting of Global Environment & Energy Course, Gifu University, Gifu, Japan, Page O-09, November 2015

  61. 宮島信也, Validated solutions of delay eigenvalue problems with multiple eigenvalues, 日本応用数理学会2015年度年会 講演予稿集, 金沢大学 (石川県金沢市), 電子版 2ページ, 2015年9月

  62. 宮島信也, Validated solutions of delay eigenvalue problems, 第44回数値解析シンポジウム (NAS2015) 講演予稿集, ぶどうの丘 (山梨県甲州市), Pages 127-130, 2015年6月

  63. 宮島信也, 行列のすべての固有値と不変部分空間に対する数値的検証法, 日本応用数理学会研究部会連合発表会, 明治大学 (東京都中野区), 2015年3月

  64. 宮島信也, 連続時間代数リカッチ方程式の解に対する簡便かつ高速な数値的検証法, 日本応用数理学会2013年度年会 講演予稿集, アクロス福岡 (福岡県福岡市), Pages 229-230, 2013年9月

  65. 宮島信也, Fast inclusion for solutions of generalized least squares problems, 第42回数値解析シンポジウム (NAS2013) 講演予稿集, 四国道後舘 (愛媛県松山市), Pages 34-37, 2013年6月

  66. 宮島信也, ルールの誤り検出における例題生成について, 共同研究課題「変換ルール集合の中に潜む誤りルールを自動検出するアルゴリズムの構築」及び 「Webベースシステムの円滑な運用を目的としたシステムの分割・統合技術に関する研究」で合同開催する研究会, 北海道大学 (北海道札幌市), 2012年3月

  67. 宮島信也, シルベスター方程式の解に対する高速な数値的検証法, 日本応用数理学会2011年度年会 講演予稿集, 同志社大学 (京都府京都市), Pages 141-142, 2011年9月

  68. 宮島信也, Error bounds for solutions obtained by stationary iterative methods, 第40回数値解析シンポジウム (NAS2011) 講演予稿集, 鳥羽シーサイドホテル (三重県鳥羽市), Pages 5-8, 2011年6月

  69. 宮島信也, 赤間清, 馬淵浩司, プログラムの実行例を利用したETルールの誤り検査, 共同研究課題「隠れた誤りルールを自動的に発見するアルゴリズムの構築と実験的評価」に係る研究会, 北海道大学 (北海道札幌市), 2010年11月

  70. 宮島信也, 一般化固有値問題における各固有値に対する数値的包含, 日本応用数理学会2010年度年会 講演予稿集, 明治大学 (東京都千代田区), Pages 49-50, 2010年9月

  71. 宮島信也, 赤間清, 馬淵浩司, ETルールの誤りを検査する方法について, 共同研究課題「安全性の高いWebベースシステムを生成するシステムの開発」及び 「形式的仕様からの大規模並列処理プログラムの生成に関する研究」に係る合同研究会, 北海道大学 (北海道札幌市), 2010年3月

  72. 宮島信也, 赤間清, オラクルを利用したETプログラムのアルゴリズミックデバッギング, 共同研究課題「安全性の高いWebベースシステムを生成するシステムの開発」及び 「形式的仕様からの大規模並列処理プログラムの生成に関する研究」に係る合同研究会, 北海道大学 (北海道札幌市), 2010年2月

  73. 宮島信也, 劣決定問題における解の高速な数値的包含, 岐阜数理科学セミナー, 岐阜大学 (岐阜県岐阜市), 2009年11月

  74. 宮島信也, 劣決定問題における解の数値的包含, 日本応用数理学会2009年度年会 講演予稿集 (「計算の品質研究部会」 オーガナイズドセッション), 大阪大学 (大阪府豊中市), Pages 307-308, 2009年9月

  75. 宮島信也, 一般化固有値問題におけるすべての固有値の数値的包含, 日本応用数理学会2009年度年会 講演予稿集 (「計算の品質研究部会」 オーガナイズドセッション), 大阪大学 (大阪府豊中市), Pages 305-306, 2009年9月

  76. 宮島信也, 赤間清, Algorithmic debugging of equivalent transformation programs using oracles, プログラム構築理論と情報システム設計研究会, 北海道大学 (北海道札幌市), 2009年3月

  77. 宮島信也, 赤間清, ETプログラムと自動デバッギング, プログラム構築理論と情報システム設計研究会, 北海道大学 (北海道札幌市), 2008年9月

  78. 宮島信也, 赤間清, ルールの確実性の差に基づいたETアルゴリズミックデバッギング, プログラム構築理論と情報システム設計研究会, 北海道大学 (北海道札幌市), 2008年6月

  79. 宮島信也, 赤間清, ETアルゴリズミックデバッギングの特徴, プログラム構築理論と情報システム設計研究会, 北海道大学 (北海道札幌市), 2008年3月

  80. 柏木啓一郎, 宮島信也, 柏木雅英, 内村創, GPGPUによる非線形方程式の全解探索法, 2008年1月電子情報通信学会非線形問題研究会 (NLP) 技術研究報告, 北海道大学 (北海道札幌市), Volume 107, Number 477, NLP2007-129, Pages 1-6, 2008年1月

  81. 宮島信也, 赤間清, 馬渕浩司, 若松雄也, 等価変換プログラムにおける自動的な誤り発見について, 等価変換研究会, 北海道大学 (北海道札幌市), 2007年11月

  82. Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi, Verifying all eigenpairs of generalized eigenvalue problem, 精度保証付き数値計算とその周辺ワークショップ, 岐阜大学 (岐阜県岐阜市), 2007年10月

  83. 宮島信也, 荻田武史, Siegfried M. Rump, 大石進一, 一般化固有値問題におけるすべての固有対の高速精度保証, 日本応用数理学会2007年度年会 講演予稿集 (「計算の品質研究部会」 オーガナイズドセッション), 北海道大学 (北海道札幌市), Pages 220-221, 2007年9月

  84. 柏木啓一郎, 宮島信也, 柏木雅英, GPUによる高速な非線形方程式の全解探索法, 日本応用数理学会2007年度年会 講演予稿集 (「計算の品質研究部会」 オーガナイズドセッション), 北海道大学 (北海道札幌市), Pages 222-223, 2007年9月

  85. 宮島信也, 荻田武史, 大石進一, 最小二乗問題における数値解の高速な精度保証法, 第26回 日本シミュレーション学会大会 大会発表論文集, 東京工業大学 (神奈川県横浜市), Pages 229-232, 2007年6月

  86. 宮島信也, 荻田武史, Siegfried M. Rump, 大石進一, 実対称正定値一般化固有値問題におけるすべての固有対の精度保証, 第36回数値解析シンポジウム (NAS2007) 講演予稿集, ウェルシティ湯河原 (静岡県熱海市), Pages 137-140, 2007年6月

  87. 宮島信也, 荻田武史, 大石進一, 最小二乗問題における数値解の精度保証, 日本応用数理学会研究部会連合発表会, 名古屋大学 (愛知県名古屋市), 2007年3月

  88. 宮島信也, 荻田武史, 大石進一, 実対称行列の各固有対の高速な精度保証法, 日本応用数理学会2006年度年会 講演予稿集 (「計算の品質研究部会」 オーガナイズドセッション), 筑波大学 (茨城県つくば市), Pages 252-253, 2006年9月

  89. 宮島信也, 荻田武史, 大石進一, 実対称行列の各固有対の精度保証, 第35回数値解析シンポジウム (NAS2006) 講演予稿集, パナヒルズ大阪 (大阪府吹田市), Pages 17-20, 2006年6月

  90. 宮島信也, 荻田武史, 大石進一, 実対称行列の各固有対の精度保証付き計算法, 日本応用数理学会研究部会・同準備会連合発表会, 早稲田大学 (東京都新宿区), 2006年3月

  91. 宮島信也, 荻田武史, 大石進一, 条件数と解が設定可能な連立一次方程式のテスト問題の作成法, 日本応用数理学会2005年度年会 講演予稿集 ( 「計算の品質研究部会」オーガナイズドセッション), 東北大学 (宮城県仙台市), Pages 66-67, 2005年9月

  92. 尾崎克久, 荻田武史, 宮島信也, 大石進一, Javaによる連立一次方程式の数値解の精度保証法, 京都大学数理解析研究所講究録, Number 1441, Pages 75-88, 2005年7月

  93. 宮島信也, 荻田武史, 大石進一, 実対称行列の各固有値の精度保証, 第24回 日本シミュレーション学会大会 発表論文集, 防衛大学校 (神奈川県横須賀市), Pages 229-232, 2005年7月

  94. 宮島信也, 荻田武史, 大石進一, 実対称行列のそれぞれの固有値に対する精度保証法, 第34回数値解析シンポジウム (NAS2005) 講演予稿集, 浜名湖カリアック (静岡県浜松市), Pages 41-44, 2005年6月

  95. 宮島信也, 荻田武史, 大石進一, 実対称行列の固有値に対する成分毎精度保証付き数値計算法, 日本応用数理学会研究部会・同準備会連合発表会, 京都大学 (京都府京都市), 2005年3月

  96. 宮島信也, 柏木雅英, アフィン演算による多変数関数の最大値探索法, 2004年電子情報通信学会ソサイエティ大会 講演論文集, 徳島大学 (徳島県徳島市), A-2-13, Page 46, 2004年9月

  97. 尾崎克久, 荻田武史, 宮島信也, 大石進一, Javaによる連立一次方程式のための精度保証法, 日本応用数理学会2004年度年会 講演予稿集 (オーガナイズドセッション [精度保証付き数値計算の展開]), 中央大学 (東京都文京区), Pages 324-325, 2004年9月

  98. 宮島信也, 柏木雅英, アフィン演算を用いた非線形方程式の全解探索法, 第33回数値解析シンポジウム (NAS2004) 講演予稿集, ウェルハートピア熱海 (静岡県熱海市), Pages 112-115, 2004年5月

  99. 宮島信也, 柏木雅英, アフィン演算を利用した非線形方程式の解の存在検証, 2004年電子情報通信学会総合大会 講演論文集, 東京工業大学 (東京都太田区), A-2-23, Page 66, 2004年3月

  100. 宮島信也, 柏木雅英, アフィン演算とその応用に関する研究, 第1回計算数学研究会, コーワパークホテル由布院倶楽部 (大分県大分郡湯布院町), 2003年10月

  101. 宮島信也, 柏木雅英, アフィン演算における最良乗算を使用した除算について, 2003年電子情報通信学会ソサイエティ大会 講演論文集, 新潟大学 (新潟県新潟市), A-2-1, Page 33, 2003年9月

  102. 宮島信也, 柏木雅英, アフィン演算を用いた非線形方程式の解の存在検証について, 日本応用数理学会2003年度年会 講演予稿集, 京都大学 (京都府京都市), Pages 106-107, 2003年9月

  103. 宮島信也, 柏木雅英, アフィン演算における最良乗算の除算への応用, 2003年6月電子情報通信学会非線形問題研究会 (NLP) 技術研究報告, 自治会館 (沖縄県那覇市), Volume 103, Number 137, NLP2003-23, Pages 13-18, 2003年6月

  104. 宮島信也, 柏木雅英, 区間演算による多項式の値域の評価について, 2003年電子情報通信学会総合大会 講演論文集, 東北大学 (宮城県仙台市), A-2-3, Page 37, 2003年3月

  105. 宮島信也, 柏木雅英, 多項式の値域の区間評価について, 2003年2月電子情報通信学会非線形問題研究会 (NLP) 技術研究報告, 北海道大学 (北海道札幌市), Volume 102, Number 625, NLP2002-95, Pages 13-18, 2003年2月

  106. 宮島信也, 宮田孝富, 柏木雅英, Affine Arithmeticにおける最良乗算の実現, 2002年情報科学技術フォーラム (FIT2002) 一般講演論文集, 東京工業大学 (東京都太田区), 第1分冊, A-21, Pages 41-42, 2002年9月

  107. 宮島信也, 柏木雅英, Affine Arithmeticにおける除算の新手法について, 2002年電子情報通信学会ソサイエティ大会 講演論文集, 宮崎大学 (宮崎県宮崎市), A-2-23, Page 54, 2002年9月

  108. 宮島信也, 宮田孝富, 柏木雅英, Affine Arithmeticにおける除算の改良について, 2001年電子情報通信学会ソサイエティ大会 講演論文集, 電気通信大学 (東京都調布市), A-2-3, Page 36, 2001年9月

ポスター発表

  1. 黒田早紀, 宮島信也, 計算機を使って正しい結果を包み込む, 岩手大学オープンキャンパス, 岩手大学 (岩手県盛岡市), 2022年8月

  2. 宮島信也, 計算機を使って正しい結果を包み込む, 岩手大学オープンキャンパス, 岩手大学 (岩手県盛岡市), 2019年8月

  3. 宮島信也, 計算機を使って正しい結果を包み込む, 岩手大学オープンキャンパス, 岩手大学 (岩手県盛岡市), 2018年8月

  4. 宮島信也, 計算機を使って正しい結果を包み込む, 岩手大学オープンキャンパス, 岩手大学 (岩手県盛岡市), 2017年10月

  5. 宮島信也, 計算機を使って正しい結果を包み込む, 岩手大学オープンキャンパス, 岩手大学 (岩手県盛岡市), 2017年8月

  6. 宮島信也, 計算機を使って正しい結果を包み込む, 岩手大学オープンキャンパス, 岩手大学 (岩手県盛岡市), 2016年10月

  7. 宮島信也, 計算機を使って正しい結果を包み込む, 岩手大学オープンキャンパス, 岩手大学 (岩手県盛岡市), 2016年8月

  8. 宮島信也, コンピュータを使って正しい結果を包み込む, 平成27年度工学部説明会施設見学, 岐阜大学 (岐阜県岐阜市), 2015年6月

  9. 宮島信也, コンピュータを使って正しい結果を包み込む, 岐阜大学フェア2014, 岐阜大学 (岐阜県岐阜市), 2014年11月

  10. 宮島信也, コンピュータを使って正しい結果を包み込む, 平成26年度工学部説明会施設見学, 岐阜大学 (岐阜県岐阜市), 2014年6月

  11. 宮島信也, 計算機により数学の問題の真の解を包み込む, 岐阜大学フェア2011, 岐阜大学 (岐阜県岐阜市), 2011年11月

  12. 宮島信也, 計算機により数学の問題の真の解をつかまえる, 岐阜大学フェア2010, 岐阜大学 (岐阜県岐阜市), 2010年11月

  13. 宮島信也, 最小二乗問題における, 解の存在証明及び高速な精度保証付き数値計算法に関する研究, 平成21年度大学活性化経費ポスター報告会, 岐阜大学 (岐阜県岐阜市), 2010年9月

  14. 宮島信也, 計算機で数学の問題の解をつかまえる, 岐阜大学 工学部 プチ・オープンキャンパス2010, 岐阜大学 (岐阜県岐阜市), 2010年8月

競争的研究資金 (学外・代表)

  1. 2021-2025年度 (令和3-7年度) 科学研究費補助金 基盤研究 (C), 非整数階微分方程式系の解に対する精度保証付き数値計算法の研究 (課題番号: 21K03363), 研究代表者

  2. 2016-2021年度 (平成28-令和3年度) 科学研究費補助金 基盤研究 (C), 遅延微分方程式より生ずる非線形固有値問題の解に対する精度保証付き数値計算法の研究 (課題番号: 16K05270), 研究代表者

  3. 2011-2015年度 (平成23-27年度) 科学研究費補助金 基盤研究 (C), 固有値問題の高速かつ高品質な精度保証付き数値計算法の研究 (課題番号: 23560066), 研究代表者

  4. 2011年度 (平成23年度) 北海道大学 情報基盤センター 共同研究, 変換ルール集合の中に潜む誤りルールを自動検出するアルゴリズムの構築, 研究代表者

  5. 2007-2010年度 (平成19-22年度) 科学研究費補助金 若手研究 (B), 固有値問題における, 解の存在証明及び数値解の高速な精度保証法に関する研究 (課題番号: 19760055), 研究代表者

  6. 2004-2006年度 (平成16-18年度) 科学研究費補助金 若手研究 (B), 多峰性多変数関数の, 極めて正確で常に適用可能な大域的最適化を実用可能にする研究 (課題番号: 16760057), 研究代表者

競争的研究資金 (学外・分担)

  1. 2010年度 (平成22年度) 北海道大学 情報基盤センター 共同研究, 隠れた誤りルールを自動的に発見するアルゴリズムの構築と実験的評価, 研究分担者

  2. 2009年度 (平成21年度) 北海道大学 情報基盤センター 共同研究, 安全性の高いWebベースシステムを生成するシステムの開発, 研究分担者

競争的研究資金 (学内・代表)

  1. 2022年度 (令和4年度) 岩手大学 国際学術雑誌掲載支援経費, Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation, 研究代表者

  2. 2021年度 (令和3年度) 岩手大学 国際学術雑誌掲載等支援経費 (国際学術雑誌掲載), Computing enclosures for the matrix Mittag-Leffler function, 研究代表者

  3. 2020年度 (令和2年度) 岩手大学 研究担当理事・副学長裁量支援経費 (国際学術雑誌掲載), Verified computation of real powers of matrices, 研究代表者

  4. 2019年度 (令和元年度) 岩手大学 国際学術雑誌掲載支援経費, Verified computation for the matrix Lambert W function, 研究代表者

  5. 2017年度 (平成29年度) 岩手大学 研究人材育成支援経費, 行列主p乗根に対する高速な精度保証付き数値計算法の研究, 研究代表者

  6. 2016年度 (平成28年度) 岩手大学 理工学部 学部長裁量経費 (基礎科学研究支援), 逆対称固有値問題の解に対する精度保証付き数値計算法の研究 (課題番号: C704221200), 研究代表者

  7. 2015年度 (平成27年度) 岐阜大学 工学振興基金 学術交流経費 (海外渡航助成), 遅延微分方程式から導出される非線形固有値問題の解に対する数値的検証法, 研究代表者

  8. 2014年度 (平成26年度) 岐阜大学 工学振興基金 学術交流経費 (海外渡航助成), 鞍点型連立一次方程式の解に対する数値的検証法, 研究代表者

  9. 2013年度 (平成25年度) 岐阜大学 工学振興基金 学術交流経費 (海外渡航助成), 一般化最小二乗問題の解に対する数値的検証法, 研究代表者

  10. 2013年度 (平成25年度) 数理デザイン工学科活性化経費, 研究集会「第2回岐阜数理科学研究会」の開催, 申請者

  11. 2011年度 (平成23年度) 岐阜大学 工学振興基金 学術交流経費 (海外渡航助成), 行列の固有値に対する精度保証付き数値計算法の性能比較, 研究代表者

  12. 2009年度 (平成21年度) 岐阜大学 大学活性化経費 (研究: 若手研究支援), 最小二乗問題における, 解の存在証明及び高速な精度保証付き数値計算法に関する研究, 研究代表者

  13. 2007年度 (平成19年度) 早稲田大学 理工学研究所 奨励研究, 最小二乗問題における解の存在証明及び数値解の精度保証に関する研究, 研究代表者

  14. 2006年度 (平成18年度) 早稲田大学 理工学総合研究センター 奨励研究, 固有値問題における解の存在証明及び数値解の精度保証に関する研究, 研究代表者

  15. 2003年度 (平成15年度) 早稲田大学 特定課題研究助成費, 精度を保証しながら数値計算を行う方法論, 及びその精度を向上させる方法論について (課題番号: 2003A-909), 研究代表者

競争的研究資金 (学内・分担)

  1. 2021年度 (令和3年度) 岩手大学 研究力強化支援経費, AI阿吽の呼吸〜食品製造工場を事例とした人間と機械, 機械と機械の協調運動獲得〜, 研究分担者

  2. 2008年度 (平成20年度) 岐阜大学 政策経費, 非線形数理科学とその応用, プロジェクト構成員

学術会合報告

  1. 宮島信也, 第49回数値解析シンポジウム（NAS2023）開催報告, 応用数理, Volume 34, Number 2, Pages 64-66, 2024年6月

  2. 宮島信也, SWoPP2020 参加報告, JSIAM Online Magazine, Article: G2007A, 2020年9月

  3. 澤田宙広, 柘植直樹, 宮島信也, 第5回岐阜数理科学研究会の報告, JSIAM Online Magazine, Article: G1609B, 2016年10月

  4. 澤田宙広, 宮島信也, 第2回岐阜数理科学研究会の報告, JSIAM Online Magazine, Article: G1309B, 2013年12月

  5. 宮島信也, NACONF2011への参加報告, 岐阜大学工業倶楽部会報, Volume 32, Page 23, 2012年3月

  6. 宮島信也, SCAN2006の報告, 応用数理, Volume 17, Number 1, Pages 82-83, 2007年3月

記事等

  1. 宮島信也, 「理」と「工」のあいだの研究, 岩手大学理工学部同窓会報「北杜」, 65号, Page 7, 2017年3月

  2. 宮島信也, 計算機で真の解を捉える, 研究室から大学は今, 岐阜新聞朝刊, 2009年8月4日

学位論文

投稿中の学術誌論文