埼玉大学 · 人文社会科学研究科 · 准教授

研究关键词偏微分方程式・精度保証付き数値計算・計算機援用証明

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• 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

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

• 官方个人主页