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

研究キーワード偏微分方程式・精度保証付き数値計算・計算機援用証明

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• 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

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

• 公式プロフィール