Performance information

• 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, Volume：42, Number：2, First page：831, Last page：852, Apr. 2025, [Reviewed], [Lead]
  Springer Science and Business Media LLC, English, Scientific journal
  DOI：https://doi.org/10.1007/s13160-025-00696-4
  DOI ID：10.1007/s13160-025-00696-4, ISSN：0916-7005, eISSN：1868-937X
• 抽象的なHilbert空間の有限次元部分空間への直交射影の誤差に対する最良定数　　　　　　　　　　　　　　　
  高橋宗久; 関根晃太; 水口信
  Volume：34, Number：1, First page：19, Last page：32, Mar. 2024, [Reviewed]
  Japanese, Scientific journal
  DOI：https://doi.org/10.11540/jsiamt.34.1_19
  DOI ID：10.11540/jsiamt.34.1_19
• 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, Volume：40, Number：1, First page：665, Last page：689, Nov. 2022, [Reviewed], [Lead]
  Springer Science and Business Media LLC, English, Scientific journal
  DOI：https://doi.org/10.1007/s13160-022-00545-8
  DOI ID：10.1007/s13160-022-00545-8, ISSN：0916-7005, eISSN：1868-937X
• 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, Volume：89, Number：2, Nov. 2021, [Reviewed], [Lead]
  Springer Science and Business Media LLC, English, Scientific journal
  DOI：https://doi.org/10.1007/s10915-021-01636-3
  DOI ID：10.1007/s10915-021-01636-3, ISSN：0885-7474, eISSN：1573-7691
• Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains
  Makoto Mizuguchi; Kazuaki Tanaka; Kouta Sekine; Shin’ichi Oishi
  Journal of Inequalities and Applications, Volume：2017, Dec. 2017, [Reviewed], [Lead]
  Springer Science and Business Media LLC, English, Scientific journal
  DOI：https://doi.org/10.1186/s13660-017-1571-0
  Scopus：https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85037051995&origin=inward
  Scopus Citedby：https://www.scopus.com/inward/citedby.uri?partnerID=HzOxMe3b&scp=85037051995&origin=inward
  DOI ID：10.1186/s13660-017-1571-0, ISSN：1025-5834, eISSN：1029-242X, SCOPUS ID：85037051995
• Accurate method of verified computing for solutions of semilinear heat equations　　　　　　　　　　　　　　　
  Akitoshi Takayasu; Makoto Mizuguchi; Takayuki Kubo; Shin'chi Oishi
  Reliable Computing, Volume：25, First page：74, Last page：99, Jul. 2017, [Reviewed]
  English, Scientific journal
• Numerical verification for existence of a global-in-time solution to semilinear parabolic equations　　　　　　　　　　　　　　　
  Makoto Mizuguchi; Akitoshi Takayasu; Takayuki Kubo; Shin'ichi Oishi
  Journal of Computational and Applied Mathematics, Volume：315, First page：1, Last page：16, May 2017, [Reviewed], [Lead]
  Elsevier BV, English, Scientific journal
  DOI：https://doi.org/10.1016/j.cam.2016.10.024
  DOI ID：10.1016/j.cam.2016.10.024, ISSN：0377-0427
• Numerical validation of blow-up solutions of ordinary differential equations　　　　　　　　　　　　　　　
  Akitoshi Takayasu; Kaname Matsue; Takiko Sasaki; Kazuaki Tanaka; Makoto Mizuguchi; Shin’ichi Oishi
  Journal of Computational and Applied Mathematics, Volume：314, First page：10, Last page：29, Apr. 2017, [Reviewed]
  Elsevier BV, English, Scientific journal
  DOI：https://doi.org/10.1016/j.cam.2016.10.013
  DOI ID：10.1016/j.cam.2016.10.013, ISSN：0377-0427, CiNii Articles ID：120005954526, CiNii Books ID：AA00696002
• Sharp numerical inclusion of the best constant for embedding H_1^0(\Omega) \hookedrightarrow L^p (\Omega) on bounded convex domain　　　　　　　　　　　　　　　
  Kazuaki Tanaka; Kouta Sekine; Makoto Mizuguchi; Shin’ichi Oishi
  Journal of Computational and Applied Mathematics, Volume：311, First page：306, Last page：313, Feb. 2017, [Reviewed]
  Scientific journal
  DOI：https://doi.org/10.1016/j.cam.2016.07.021
  DOI ID：10.1016/j.cam.2016.07.021, ISSN：0377-0427, eISSN：1879-1778, Web of Science ID：WOS:000386403000023
• A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory　　　　　　　　　　　　　　　
  Makoto Mizuguchi; Akitoshi Takayasu; Takayuki Kubo; Shin'ichi Oishi
  SIAM Journal on Numerical Analysis, Volume：55, Number：2, First page：980, Last page：1001, Jan. 2017, [Reviewed], [Lead]
  Society for Industrial & Applied Mathematics (SIAM), English, Scientific journal
  DOI：https://doi.org/10.1137/141001664
  DOI ID：10.1137/141001664, ISSN：0036-1429, eISSN：1095-7170, CiNii Articles ID：120006313795, CiNii Books ID：AA00831298
• Verified computations for solutions to semilinear parabolic equations using the evolution operator　　　　　　　　　　　　　　　
  Akitoshi Takayasu; Makoto Mizuguchi; Takayuki Kubo; Shin’ichi Oishi
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Volume：9582, First page：218, Last page：223, 2016, [Reviewed]
  Springer Verlag, English, International conference proceedings
  DOI：https://doi.org/10.1007/978-3-319-32859-1_18
  DOI ID：10.1007/978-3-319-32859-1_18, ISSN：1611-3349, SCOPUS ID：84964047111
• On the embedding constant of the Sobolev type inequality for fractional derivatives　　　　　　　　　　　　　　　
  Makoto Mizuguchi; Akitoshi Takayasu; Takayuki Kubo; Shin'ichi Oishi
  Nonlinear Theory and Its Applications, IEICE, Volume：7, Number：3, First page：386, Last page：394, 2016, [Reviewed], [Lead]
  Institute of Electronics, Information and Communications Engineers (IEICE), English, Scientific journal
  DOI：https://doi.org/10.1587/nolta.7.386
  DOI ID：10.1587/nolta.7.386, ISSN：2185-4106, eISSN：2185-4106, CiNii Articles ID：130005161829
• Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator　　　　　　　　　　　　　　　
  Kazuaki Tanaka; Kouta Sekine; Makoto Mizuguchi; Shin'ichi Oishi
  JOURNAL OF INEQUALITIES AND APPLICATIONS, Volume：2015, Number：1, Dec. 2015, [Reviewed]
  English, Scientific journal
  DOI：https://doi.org/10.1186/s13660-015-0907-x
  DOI ID：10.1186/s13660-015-0907-x, ISSN：1029-242X, Web of Science ID：WOS:000209864400001
• Numerical verification of positiveness for solutions to semilinear elliptic problems　　　　　　　　　　　　　　　
  Kazuaki Tanaka; Kouta Sekine; Makoto Mizuguchi; Shin'ichi Oishi
  JSIAM Letters, Volume：7, First page：73, Last page：76, 2015, [Reviewed]
  The Japan Society for Industrial and Applied Mathematics, English, Scientific journal
  DOI：https://doi.org/10.14495/jsiaml.7.73
  DOI ID：10.14495/jsiaml.7.73, ISSN：1883-0609, eISSN：1883-0617, CiNii Articles ID：130005130524

• 発展作用素を用いた半線形放物型方程式に対する解の精度保証付き数値計算法　　　　　　　　　　　　　　　
  高安亮紀; 水口信; 久保隆徹; 大石進一
  Volume：1995, First page：122, Last page：131, 2016
  Japanese
  ISSN：1880-2818, CiNii Articles ID：120006222106, CiNii Books ID：AN00061013

• Gray-Scott方程式のDirichlet境界値問題における逆作用素ノルムの評価法　　　　　　　　　　　　　　　
  山口 滉介; 関根 晃太; 水口 信
  Sep. 2025
  Sep. 2025 - Sep. 2025, Japanese, Oral presentation
• コンパクト性を仮定しないHilbert空間における射影誤差定数とスペクトルの関係について　　　　　　　　　　　　　　　
  高橋 宗久; 関根 晃太; 水口 信
  Mar. 2025
  Mar. 2025 - Mar. 2025, Japanese, Oral presentation
  共同研究・競争的資金等ID：42747435
• 熱方程式のPetrov型全離散ガレルキン近似の事前誤差評価　　　　　　　　　　　　　　　
  水口 信; 中尾 充宏; 橋本 弘治; 関根 晃太; 大石 進一
  Sep. 2024
  Sep. 2024 - Sep. 2024, Japanese, Oral presentation
  共同研究・競争的資金等ID：42747435
• 発展作用素を用いた初期値問題の精度保証付き数値計算～単調性を用いた爆発解検証への適用について～　　　　　　　　　　　　　　　
  橋本 弘治; 水口 信; 関根 晃太; 中尾 充宏
  Mar. 2024
  Mar. 2024 - Mar. 2024, Japanese, Oral presentation
• 発展作用素を用いた初期値問題の精度保証付き数値計算～変則的位相を用いた大域解検証への適用について～　　　　　　　　　　　　　　　
  橋本 弘治; 水口 信; 関根 晃太; 中尾 充宏
  Mar. 2024
  Mar. 2024 - Mar. 2024, Japanese, Oral presentation
• 放物型方程式の全離散近似解に対する定量的な誤差評価　　　　　　　　　　　　　　　
  水 口 信; 中 尾 充 宏; 橋 本 弘 治; 関 根 晃 太; 大 石 進 一
  Sep. 2023
  Sep. 2023 - Sep. 2023, Japanese, Oral presentation
  共同研究・競争的資金等ID：42747435
• The best constants for the projection error on triplet Hilbert spaces　　　　　　　　　　　　　　　
  Munehisa Takahashi; Kouta Sekine; Makoto Mizuguchi
  Japan Society for Simulation Technology (JSST2023), Aug. 2023
  Aug. 2023 - Aug. 2023, English, Oral presentation
• 3つのHilbert空間の組における最良な射影誤差定数について　　　　　　　　　　　　　　　
  高橋 宗久; 関根 晃太; 水口 信
  Sep. 2022
  Sep. 2022 - Sep. 2022, Japanese, Oral presentation
• 放物型方程式の全離散近似に対する誤差評価について　　　　　　　　　　　　　　　
  水口 信; 中尾 充宏; 橋本 弘治; 関根 晃太; 大石 進一
  Sep. 2022
  Sep. 2022 - Sep. 2022, Japanese, Oral presentation
• Numerical verification method for a blow-up solution of Fujita-type equation　　　　　　　　　　　　　　　
  Makoto Mizuguchi
  International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022), Mar. 2022
  Mar. 2022 - Mar. 2022, English, Oral presentation
• 放物型方程式の半離散近似に対する誤差定数値の評価について　　　　　　　　　　　　　　　
  水口 信
  Nov. 2021
  Nov. 2021 - Nov. 2021, Japanese, Oral presentation
• 藤田型方程式の解の爆発時間に対する数値的検証法　　　　　　　　　　　　　　　
  水口 信
  Sep. 2021, [Invited]
  Sep. 2021 - Sep. 2021, Japanese, Public discourse
• 楕円型方程式と放物型方程式に対する半離散ガレルキン近似の誤差定数について　　　　　　　　　　　　　　　
  水口 信; 中尾 充宏; 関根 晃太; 大石 進一
  Sep. 2021
  Sep. 2021 - Sep. 2021, Japanese, Oral presentation
• 藤田型方程式の解の爆発時間に対する計算機を用いた数値的包含方法について　　　　　　　　　　　　　　　
  水口信; 関根 晃太; 橋本 弘治; 中尾充宏; 大石 進一
  Dec. 2020
  Japanese, Oral presentation
• 線形熱方程式の解と半離散近似解との誤差評価の改善　　　　　　　　　　　　　　　
  水口 信; 中尾 充宏; 関根晃太; 大石 進一
  Sep. 2019
  Japanese, Oral presentation
• 半線形熱方程式の解の精度保証付き数値計算法について　　　　　　　　　　　　　　　
  水口信; 関根 晃太; 中尾充宏; 大石進一
  Dec. 2018, [Invited]
  Japanese, Invited oral presentation
• Estimation of Sobolev embedding constant on a bounded convex domain　　　　　　　　　　　　　　　
  Makoto Mizuguchi; Kazuaki Tanaka; Kouta Sekine; Shin'ichi Oishi
  18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN'2018), Sep. 2018
  English, Oral presentation
• A numerical verification method for solutions to systems of parabolic equations　　　　　　　　　　　　　　　
  Makoto Mizuguchi; Kouta Sekine; Shin'ichi Oishi
  The International Workshop on Numerical Verification and its Applications (INVA2017), Mar. 2017
  English, Oral presentation
• Numerical method for estimationg the best constant in Sobolev type inequality on unit square　　　　　　　　　　　　　　　
  Kazuaki Tanaka; Kouta Sekine; Makoto Mizuguchi; Shin'ichi Oishi
  The International Workshop on Numerical Verification and its Applications (INVA2017), Mar. 2017
  English, Oral presentation
• 時間発展問題の精度保証付き数値計算に現れる誤差伝搬の縮小技術　　　　　　　　　　　　　　　
  高安亮紀; 水口信; 久保隆徹; 大石進一
  Dec. 2016
  Japanese, Oral presentation
• 放物型方程式に対する解の精度保証付き数値計算法について　　　　　　　　　　　　　　　
  高安亮紀; 水口信; 久保隆徹; 大石進一
  Nov. 2016
  Japanese, Oral presentation
• Computable norm bounds of the evolution operator using spectral properties　　　　　　　　　　　　　　　
  Akitoshi Takayasu; Makoto Mizuguchi; Takayuki Kubo; Shin'ichi Oishi
  The 35th JSST Annual Conference International Conference on Simulation Technology (JSST2016),, Oct. 2016
  English, Oral presentation
• On verification methods for parabolic partial differential equations using the evolution operator"　　　　　　　　　　　　　　　
  Akitoshi Takayasu; Makoto Mizuguchi; Takayuki Kubo; Shin'ichi Oishi
  the 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2016), Sep. 2016
  English, Oral presentation
• Verified numerical computations for blow-up solutions of ODEs　　　　　　　　　　　　　　　
  Akitoshi Takayasu; Kaname Matsue; Takiko Sasaki; Kazuaki Tanaka; Makoto Mizuguchi; Shin'ichi Oishi
  the 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2016), Sep. 2016
  English, Oral presentation
• Lotka-Volterra型偏微分方程式の初期値境界値問題の解に対する精度保証付き数値計算法について　　　　　　　　　　　　　　　
  水口信; 関根晃太; 大石進一
  Sep. 2016
  Japanese, Oral presentation
• Computable estimates of the evolution operator based on the operator theory　　　　　　　　　　　　　　　
  Akitoshi Takayasu; Makoto Mizuguchi; Takayuki Kubo; Shin'ichi Oishi
  Czech-Japanese-Polish Seminar in Applied Mathematics 2016 (CJPS 2016),, Sep. 2016
  English, Oral presentation
• Verification algorithm for enclosing a mild solution of semilinear heat equations　　　　　　　　　　　　　　　
  Makoto Mizuguchi; Kouta Sekine; Akitoshi Takayasu; Takayuki Kubo; Shin'ichi Oishi
  The fifth Asian conference on Nonlinear Analysis and Optimization (NAO-Asia 2016), Aug. 2016
  English, Oral presentation
• Concatenation scheme for verified inclusion of solutions to semilinear heat equations　　　　　　　　　　　　　　　
  Akitoshi Takayasu; Makoto Mizuguchi; Takayuki Kubo; Shin'ichi Oishi
  The fifth Asian conference on Nonlinear Analysis and Optimization (NAO-Asia 2016), Aug. 2016
  English, Oral presentation
• Verified Computations for Solutions to Nonlinear Heat Equations Based on Fractional Powers of a Positive Operator and the Evolution Operator　　　　　　　　　　　　　　　
  Akitoshi Takayasu; Makoto Mizuguchi; Takayuki Kubo; Shin'ichi Oishi
  5th European Seminar on Computing (ESCO 2016), Jun. 2016
  English, Oral presentation
• 重み付きラプラス作用素の分数べきに対する計算可能なソボレフの埋め込み定数　　　　　　　　　　　　　　　
  水口信, 高安亮紀, 久保隆徹, 大石進一:
  Mar. 2016
  Japanese, Oral presentation
• 正値作用素の分数冪と発展作用素を用いる非線形熱方程式に対する解の精度保証付き数値計算法　　　　　　　　　　　　　　　
  高安亮紀; 水口信; 久保隆徹; 大石進一
  Mar. 2016
  Japanese, Oral presentation
• 放物面コンパクト化を用いる常微分方程式の爆発解の数値的検証法　　　　　　　　　　　　　　　
  高安亮紀; 松江要; 佐々木多希子; 田中一成; 水口信; 大石進一
  Mar. 2016
  Japanese, Oral presentation
• 発展作用素を用いた半線形放物型方程式に対する解の精度保証付き数値計算法　　　　　　　　　　　　　　　
  高安亮紀; 水口信; 久保隆徹; 大石進一
  Nov. 2015
  Japanese, Oral presentation
• Verified computations for solutions to semilinear parabolic equations using the evolution operator　　　　　　　　　　　　　　　
  Akitoshi Takayasu; Makoto Mizuguchi; Takayuki Kubo; Shin'ichi Oishi
  Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS2015), Nov. 2015
  English, Oral presentation
• Numerical existence theorem for solutions of semilinear parabolic equations using the evolution operator　　　　　　　　　　　　　　　
  Akitoshi Takayasu; Makoto Mizuguchi; Takayuki Kubo; Shin'ichi Oishi
  The 34th JSST Annual Conference International Conference on Simulation Technology (JSST2015), Oct. 2015
  English, Oral presentation
• Verified computations for solutions of semilinear heat equations using an analytic semigroup generated by a self-adjoint operator　　　　　　　　　　　　　　　
  Makoto Mizuguchi; Kouta Sekine; Akitoshi Takayasu; Takayuki Kubo; Shin'ichi Oishi
  The 34th JSST Annual Conference International Conference on Simulation Technology (JSST2015), Oct. 2015
  English, Oral presentation
• Verified numerical enclosure of blow-up time for ODEs　　　　　　　　　　　　　　　
  高安亮紀; 松江要; 佐々木多希子; 田中一成; 水口信; 大石進一
  Sep. 2015
  Japanese, Oral presentation
• ある自己共役作用素から生成される解析半群を用いた半線形熱方程式の解の数値的検証法　　　　　　　　　　　　　　　
  水口信; 関根晃太; 高安亮紀; 久保隆徹; 大石進一
  Sep. 2015
  Japanese, Oral presentation
• 常微分方程式の爆発解に対する精度保証付き数値計算　　　　　　　　　　　　　　　
  高安亮紀; 松江要; 佐々木多希子; 田中一成; 水口信; 大石進一
  Sep. 2015
  Japanese, Oral presentation
• 常微分方程式の解の爆発時刻に対する精度保証付き数値計算　　　　　　　　　　　　　　　
  高安亮紀; 松江要; 佐々木多希子; 田中一成; 水口信; 大石進一
  Jun. 2015
  Japanese, Oral presentation
• 半線形放物型偏微分方程式に対する解の精度保証付き数値計算　　　　　　　　　　　　　　　
  高安亮紀; 水口信; 久保隆徹; 大石進一
  Mar. 2015
  Japanese, Oral presentation
• 発展方程式の解に対する精度保証付き数値計算法を用いた時間大域解の存在証明　　　　　　　　　　　　　　　
  水口信; 高安亮紀; 久保隆徹; 大石進一
  Mar. 2015
  Japanese, Oral presentation
• 半線形熱方程式の解に対する精度保証付き数値計算法を用いた時間大域解の存在証明　　　　　　　　　　　　　　　
  水口信; 高安亮紀; 久保隆徹; 大石進一
  Mar. 2015
  Japanese, Oral presentation
• 藤田型方程式に対する時間大域解の精度保証付き数値計算　　　　　　　　　　　　　　　
  高安亮紀; 水口信; 久保隆徹; 大石進一
  Dec. 2014
  Japanese, Oral presentation
• Numerical verification of solutions for the Fujita type parabolic equations　　　　　　　　　　　　　　　
  Makoto Mizuguchi; Akitoshi Takayasu; Takayuki Kubo; Shin'ichi Oishi
  The 14th Asia Simulation Conference & The 33rd JSST Annual Conference: International Conference on Simulation Technology (AsiaSim & JSST 2014), Oct. 2014
  English, Oral presentation
• A sharper error estimate of verified computations for nonlinear heat equations　　　　　　　　　　　　　　　
  Makoto Mizuguchi; Akitoshi Takayasu; Takayuki Kubo; Shin'ichi Oishi
  16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN2014), Sep. 2014
  English, Oral presentation
• A method of verified computations for nonlinear parabolic equations　　　　　　　　　　　　　　　
  Makoto Mizuguchi; Akitoshi Takayasu; Takayuki Kubo; Shin'ichi Oishi
  16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN2014), Sep. 2014
  English, Oral presentation
• 藤田型方程式に対する時間大域解の計算機援用証明　　　　　　　　　　　　　　　
  高安亮紀; 水口信; 久保隆徹; 大石進一
  Sep. 2014
  Japanese, Oral presentation
• A method of verified computations for nonlinear homogeneous heat equations, Part II: Semigroup approach to construct an exact solution for time variable　　　　　　　　　　　　　　　
  Makoto Mizuguchi; Akitoshi Takayasu; Takayuki Kubo; Shin'ichi Oishi
  The International Workshop on Numerical Verification and its Applications 2014 (INVA 2014), Mar. 2014
  English, Oral presentation
• A method of verified computations for nonlinear homogeneous heat equations, Part I: Enclosure of semidiscrete approximate solution for space variable　　　　　　　　　　　　　　　
  Makoto Mizuguchi; Akitoshi Takayasu; Takayuki Kubo; Shin'ichi Oishi
  The International Workshop on Numerical Verification and its Applications 2014 (INVA 2014), Mar. 2014
  English, Oral presentation
• A priori error estimate of inhomogeneous heat equations using rational approximation of semigroups　　　　　　　　　　　　　　　
  Makoto Mizuguchi; Takayuki Kubo; Akitoshi Takayasu; Shin'ichi Oishi
  International Conference on Simulation Technology (JSST 2013),, Sep. 2013
  English, Oral presentation
• Estimation of an embedding constant on Lipschitz domains using extension operators　　　　　　　　　　　　　　　
  Kazuaki Tanaka; Makoto Mizuguchi; Kouta Sekine; Akitoshi Takayasu; Shin'ichi Oishi
  International Conference on Simulation Technology (JSST 2013), Sep. 2013
  English, Oral presentation
• 拡張作用素を用いたLipschitz領域における埋め込み定数の評価法　　　　　　　　　　　　　　　
  田中一成; 水口信; 関根晃太; 高安亮紀; 大石進一
  Sep. 2013
  Japanese, Oral presentation
• 半群理論を用いた非斉次熱方程式の全離散近似解に対する事前誤差評価　　　　　　　　　　　　　　　
  水口信; 久保隆徹; 高安亮紀; 大石進一
  Mar. 2013
  Japanese, Oral presentation

• 半線形熱方程式の爆発解の厳密な爆発時間の解明と未知の実現象に対する研究基盤の確立　　　　　　　　　　　　　　　
  Apr. 2023 - Mar. 2028
  Grant amount(Total)：4680000, Direct funding：3600000, Indirect funding：1080000
  Grant number：23K13018
  講演・口頭発表等ID：49800753
• 精度保証付き数値計算法を用いた反応拡散系の大域解の解析　　　　　　　　　　　　　　　
  Apr. 2018 - Mar. 2023
  Grant amount(Total)：4160000, Direct funding：3200000, Indirect funding：960000
  Competitive research funding, Grant number：18K13462