Saitama University · Graduate School of Humanities and Social Sciences · 准教授

Research keywords偏微分方程式・精度保証付き数値計算・計算機援用証明

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Error estimates for the fully-discrete Petrov-Galerkin method of a linear parabolic problem Makoto Mizuguchi; Mitsuhiro T. Nakao; Kouji Hashimoto; Kouta Sekine; Shin’ichi Oishi Japan Journal of Industrial and Applied Mathematics, 巻：42 , 号：2 , 開始ページ：831 , 終了ページ：852 , 2025年04月, ［査読有り］ , ［筆頭著者］ Springer Science and Business Media LLC, 英語, 研究論文（学術雑誌） DOI： https://doi.org/10.1007/s13160-025-00696-4 DOI ID：10.1007/s13160-025-00696-4 , ISSN：0916-7005 , eISSN：1868-937X2025
• Rigorous numerical inclusion of the blow-up time for the Fujita-type equation Makoto Mizuguchi; Kouta Sekine; Kouji Hashimoto; Mitsuhiro T. Nakao; Shin’ichi Oishi Japan Journal of Industrial and Applied Mathematics, 巻：40 , 号：1 , 開始ページ：665 , 終了ページ：689 , 2022年11月, ［査読有り］ , ［筆頭著者］ Springer Science and Business Media LLC, 英語, 研究論文（学術雑誌） DOI： https://doi.org/10.1007/s13160-022-00545-8 DOI ID：10.1007/s13160-022-00545-8 , ISSN：0916-7005 , eISSN：1868-937X2022
• Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation Makoto Mizuguchi; Mitsuhiro T. Nakao; Kouta Sekine; Shin’ichi Oishi Journal of Scientific Computing, 巻：89 , 号：2 , 2021年11月, ［査読有り］ , ［筆頭著者］ Springer Science and Business Media LLC, 英語, 研究論文（学術雑誌） DOI： https://doi.org/10.1007/s10915-021-01636-3 DOI ID：10.1007/s10915-021-01636-3 , ISSN：0885-7474 , eISSN：1573-76912021
• Accurate method of verified computing for solutions of semilinear heat equations Akitoshi Takayasu; Makoto Mizuguchi; Takayuki Kubo; Shin'chi Oishi Reliable Computing, 巻：25 , 開始ページ：74 , 終了ページ：99 , 2017年07月, ［査読有り］ 英語, 研究論文（学術雑誌）2017

• 精度保証付き数値計算法を用いた反応拡散系の大域解の解析
• 半線形熱方程式の爆発解の厳密な爆発時間の解明と未知の実現象に対する研究基盤の確立

• Official profile