SEARCH

検索詳細

水口　信（ミズグチ　マコト）
人文社会科学研究科 経済学研究領域准教授
経済学部 経済学科

研究者情報

■ 学位
  • 博士(工学), 早稲田大学
    2017年02月
  • 修士(理学), 早稲田大学
    2013年03月
■ 研究キーワード
  • 精度保証付き数値計算
  • 偏微分方程式
  • 計算機援用証明
■ 研究分野
  • 自然科学一般, 応用数学、統計数学
■ 経歴
  • 2026年04月 - 現在, 埼玉大学, 人文社会科学研究科 経済学部, 准教授
  • 2021年04月 - 2026年03月, 中央大学, 理工学部 情報工学科, 助教
  • 2018年09月 - 2021年03月, 早稲田大学 理工学術院, 基幹理工学部 応用数理学科, 講師
  • 2018年04月 - 2018年09月, 早稲田大学 理工学術院, 次席研究員(研究院講師)
  • 2017年04月 - 2018年03月, 早稲田大学 理工学術院, 次席研究員(研究院助教)
■ 学歴
  • 2013年04月 - 2017年02月, 早稲田大学, 基幹理工学研究科 数学応用数理専攻(博士後期課程)
  • 2011年04月 - 2013年03月, 早稲田大学, 基幹理工学研究科 数学応用数理専攻(修士課程)
  • 2007年04月 - 2011年03月, 学習院大学, 理学部, 数学科
■ 委員歴
  • 2020年04月 - 2023年03月
    学会誌「応用数理」, 編集委員
■ 受賞
  • 2022年06月, 第18回若手優秀講演賞, 楕円型方程式と放物型方程式に対する半離散ガレルキン近似の誤差定数について, 日本応用数理学会
    水口 信
  • 2015年10月, Student Presentation Award

業績情報

■ 論文
  • 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-937X
  • 抽象的なHilbert空間の有限次元部分空間への直交射影の誤差に対する最良定数　　　　　　　　　　　　　　　
    高橋宗久; 関根晃太; 水口信
    日本応用数理学会論文誌, 巻：34, 号：1, 開始ページ：19, 終了ページ：32, 2024年03月, ［査読有り］
    日本語, 研究論文（学術雑誌）
    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, 巻：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-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, 巻：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-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, 巻：2017, 2017年12月, ［査読有り］, ［筆頭著者］
    Springer Science and Business Media LLC, 英語, 研究論文（学術雑誌）
    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, 巻：25, 開始ページ：74, 終了ページ：99, 2017年07月, ［査読有り］
    英語, 研究論文（学術雑誌）
  • 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, 巻：315, 開始ページ：1, 終了ページ：16, 2017年05月, ［査読有り］, ［筆頭著者］
    Elsevier BV, 英語, 研究論文（学術雑誌）
    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　　　　　　　　　　　　　　　
    Takayasu Akitoshi; Matsue Kaname; Sasaki Takiko; Tanaka Kazuaki; Mizuguchi Makoto; Oishi Shin'ichi
    Journal of computational and applied mathematics, 巻：314, 開始ページ：10, 終了ページ：29, 2017年04月, ［査読有り］
    Elsevier, 英語, 研究論文（学術雑誌）
    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, 巻：311, 開始ページ：306, 終了ページ：313, 2017年02月, ［査読有り］
    研究論文（学術雑誌）
    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　　　　　　　　　　　　　　　
    Mizuguchi Makoto; Takayasu Akitoshi; Kubo Takayuki; Oishi Shin'ichi
    SIAM journal on numerical analysis, 巻：55, 号：2, 開始ページ：980, 終了ページ：1001, 2017年01月, ［査読有り］, ［筆頭著者］
    SIAM journal on numerical analysis, 英語, 研究論文（学術雑誌）
    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), 巻：9582, 開始ページ：218, 終了ページ：223, 2016年, ［査読有り］
    Springer Verlag, 英語, 研究論文（国際会議プロシーディングス）
    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　　　　　　　　　　　　　　　
    Mizuguchi Makoto; Takayasu Akitoshi; Kubo Takayuki; Oishi Shin'ichi
    Nonlinear Theory and Its Applications, IEICE, 巻：7, 号：3, 開始ページ：386, 終了ページ：394, 2016年, ［査読有り］, ［筆頭著者］
    一般社団法人 電子情報通信学会, 英語, 研究論文（学術雑誌）
    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, 巻：2015, 号：1, 2015年12月, ［査読有り］
    英語, 研究論文（学術雑誌）
    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　　　　　　　　　　　　　　　
    Tanaka Kazuaki; Sekine Kouta; Mizuguchi Makoto; Oishi Shin'ichi
    JSIAM Letters, 巻：7, 開始ページ：73, 終了ページ：76, 2015年, ［査読有り］
    The Japan Society for Industrial and Applied Mathematics, 英語, 研究論文（学術雑誌）
    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
■ MISC
  • 発展作用素を用いた半線形放物型方程式に対する解の精度保証付き数値計算法　　　　　　　　　　　　　　　
    高安亮紀; 水口信; 久保隆徹; 大石進一
    数理解析研究所講究録, 巻：1995, 開始ページ：122, 終了ページ：131, 2016年
    京都大学数理解析研究所, 日本語
    ISSN：1880-2818, CiNii Articles ID：120006222106, CiNii Books ID：AN00061013
■ 講演・口頭発表等
  • Gray-Scott方程式のDirichlet境界値問題における逆作用素ノルムの評価法　　　　　　　　　　　　　　　
    山口 滉介; 関根 晃太; 水口 信
    日本応用数理学会2025年度年会, 2025年09月
    2025年09月 - 2025年09月, 日本語, 口頭発表（一般）
  • コンパクト性を仮定しないHilbert空間における射影誤差定数とスペクトルの関係について　　　　　　　　　　　　　　　
    高橋 宗久; 関根 晃太; 水口 信
    第21回 日本応用数理学会 研究部会連合発表会, 2025年03月
    2025年03月 - 2025年03月, 日本語, 口頭発表（一般）
    共同研究・競争的資金等ID：42747435
  • 熱方程式のPetrov型全離散ガレルキン近似の事前誤差評価　　　　　　　　　　　　　　　
    水口 信; 中尾 充宏; 橋本 弘治; 関根 晃太; 大石 進一
    日本応用数理学会 2024年度 年会, 2024年09月
    2024年09月 - 2024年09月, 日本語, 口頭発表（一般）
    共同研究・競争的資金等ID：42747435
  • 発展作用素を用いた初期値問題の精度保証付き数値計算～単調性を用いた爆発解検証への適用について～　　　　　　　　　　　　　　　
    橋本 弘治; 水口 信; 関根 晃太; 中尾 充宏
    第20回 日本応用数理学会 研究部会連合発表会, 2024年03月
    2024年03月 - 2024年03月, 日本語, 口頭発表（一般）
  • 発展作用素を用いた初期値問題の精度保証付き数値計算～変則的位相を用いた大域解検証への適用について～　　　　　　　　　　　　　　　
    橋本 弘治; 水口 信; 関根 晃太; 中尾 充宏
    第20回 日本応用数理学会 研究部会連合発表会, 2024年03月
    2024年03月 - 2024年03月, 日本語, 口頭発表（一般）
  • 放物型方程式の全離散近似解に対する定量的な誤差評価　　　　　　　　　　　　　　　
    水 口 信; 中 尾 充 宏; 橋 本 弘 治; 関 根 晃 太; 大 石 進 一
    2023年度 日本数学会 秋季総合分科会, 2023年09月
    2023年09月 - 2023年09月, 日本語, 口頭発表（一般）
    共同研究・競争的資金等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), 2023年08月
    2023年08月 - 2023年08月, 英語, 口頭発表（一般）
  • 3つのHilbert空間の組における最良な射影誤差定数について　　　　　　　　　　　　　　　
    高橋 宗久; 関根 晃太; 水口 信
    日本応用数理学会2022年度年会, 2022年09月
    2022年09月 - 2022年09月, 日本語, 口頭発表（一般）
  • 放物型方程式の全離散近似に対する誤差評価について　　　　　　　　　　　　　　　
    水口 信; 中尾 充宏; 橋本 弘治; 関根 晃太; 大石 進一
    日本応用数理学会2022年度年会, 2022年09月
    2022年09月 - 2022年09月, 日本語, 口頭発表（一般）
  • 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), 2022年03月
    2022年03月 - 2022年03月, 英語, 口頭発表（一般）
  • 放物型方程式の半離散近似に対する誤差定数値の評価について　　　　　　　　　　　　　　　
    水口 信
    第5回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2021) ・ JST/CREST「モデリングのための精度保証付き数値計算論の展開」成果報告会, 2021年11月
    2021年11月 - 2021年11月, 日本語, 口頭発表（一般）
  • 藤田型方程式の解の爆発時間に対する数値的検証法　　　　　　　　　　　　　　　
    水口 信
    有限時間特異性の包括的記述に向けた 数学解析・計算機援用解析の展開「有限時間特異性」勉強会 第3回, 2021年09月, ［招待有り］
    2021年09月 - 2021年09月, 日本語, 公開講演，セミナー，チュートリアル，講習，講義等
  • 楕円型方程式と放物型方程式に対する半離散ガレルキン近似の誤差定数について　　　　　　　　　　　　　　　
    水口 信; 中尾 充宏; 関根 晃太; 大石 進一
    日本応用数理学会2021年度年会, 2021年09月
    2021年09月 - 2021年09月, 日本語, 口頭発表（一般）
  • 藤田型方程式の解の爆発時間に対する計算機を用いた数値的包含方法について　　　　　　　　　　　　　　　
    水口信; 関根 晃太; 橋本 弘治; 中尾充宏; 大石 進一
    2020年度 応用数学合同研究集会, 2020年12月
    日本語, 口頭発表（一般）
  • 線形熱方程式の解と半離散近似解との誤差評価の改善　　　　　　　　　　　　　　　
    水口 信; 中尾 充宏; 関根晃太; 大石 進一
    2019年日本応用数理学会年会, 2019年09月
    日本語, 口頭発表（一般）
  • 半線形熱方程式の解の精度保証付き数値計算法について　　　　　　　　　　　　　　　
    水口信; 関根 晃太; 中尾充宏; 大石進一
    第2回 精度保証付き数値計算の実問題への応用研究集会, 2018年12月, ［招待有り］
    日本語, 口頭発表（招待・特別）
  • 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), 2018年09月
    英語, 口頭発表（一般）
  • 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), 2017年03月
    英語, 口頭発表（一般）
  • 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), 2017年03月
    英語, 口頭発表（一般）
  • 時間発展問題の精度保証付き数値計算に現れる誤差伝搬の縮小技術　　　　　　　　　　　　　　　
    高安亮紀; 水口信; 久保隆徹; 大石進一
    2016年度応用数学合同研究集会, 2016年12月
    日本語, 口頭発表（一般）
  • 放物型方程式に対する解の精度保証付き数値計算法について　　　　　　　　　　　　　　　
    高安亮紀; 水口信; 久保隆徹; 大石進一
    SADO Workshop on Numerical Analysis and Related Topics, 2016年11月
    日本語, 口頭発表（一般）
  • 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),, 2016年10月
    英語, 口頭発表（一般）
  • 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), 2016年09月
    英語, 口頭発表（一般）
  • 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), 2016年09月
    英語, 口頭発表（一般）
  • Lotka-Volterra型偏微分方程式の初期値境界値問題の解に対する精度保証付き数値計算法について　　　　　　　　　　　　　　　
    水口信; 関根晃太; 大石進一
    2016年日本応用数理学会年会, 2016年09月
    日本語, 口頭発表（一般）
  • 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),, 2016年09月
    英語, 口頭発表（一般）
  • 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), 2016年08月
    英語, 口頭発表（一般）
  • 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), 2016年08月
    英語, 口頭発表（一般）
  • 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), 2016年06月
    英語, 口頭発表（一般）
  • 重み付きラプラス作用素の分数べきに対する計算可能なソボレフの埋め込み定数　　　　　　　　　　　　　　　
    水口信, 高安亮紀, 久保隆徹, 大石進一:
    日本数学会2016年度年会, 2016年03月
    日本語, 口頭発表（一般）
  • 正値作用素の分数冪と発展作用素を用いる非線形熱方程式に対する解の精度保証付き数値計算法　　　　　　　　　　　　　　　
    高安亮紀; 水口信; 久保隆徹; 大石進一
    日本数学会2016年度年会, 2016年03月
    日本語, 口頭発表（一般）
  • 放物面コンパクト化を用いる常微分方程式の爆発解の数値的検証法　　　　　　　　　　　　　　　
    高安亮紀; 松江要; 佐々木多希子; 田中一成; 水口信; 大石進一
    日本応用数理学会 2016年研究部会連合発表会, 2016年03月
    日本語, 口頭発表（一般）
  • 発展作用素を用いた半線形放物型方程式に対する解の精度保証付き数値計算法　　　　　　　　　　　　　　　
    高安亮紀; 水口信; 久保隆徹; 大石進一
    京都大学数理解析研究所RIMS研究集会「現象解明に向けた数値解析学の新展開」, 2015年11月
    日本語, 口頭発表（一般）
  • 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), 2015年11月
    英語, 口頭発表（一般）
  • 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), 2015年10月
    英語, 口頭発表（一般）
  • 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), 2015年10月
    英語, 口頭発表（一般）
  • Verified numerical enclosure of blow-up time for ODEs　　　　　　　　　　　　　　　
    高安亮紀; 松江要; 佐々木多希子; 田中一成; 水口信; 大石進一
    日本数学会2015年度秋季総合分科会, 2015年09月
    日本語, 口頭発表（一般）
  • ある自己共役作用素から生成される解析半群を用いた半線形熱方程式の解の数値的検証法　　　　　　　　　　　　　　　
    水口信; 関根晃太; 高安亮紀; 久保隆徹; 大石進一
    日本応用数理学会2015年度年会, 2015年09月
    日本語, 口頭発表（一般）
  • 常微分方程式の爆発解に対する精度保証付き数値計算　　　　　　　　　　　　　　　
    高安亮紀; 松江要; 佐々木多希子; 田中一成; 水口信; 大石進一
    日本応用数理学会2015年度年会, 2015年09月
    日本語, 口頭発表（一般）
  • 常微分方程式の解の爆発時刻に対する精度保証付き数値計算　　　　　　　　　　　　　　　
    高安亮紀; 松江要; 佐々木多希子; 田中一成; 水口信; 大石進一
    第44回数値解析シンポジウム, 2015年06月
    日本語, 口頭発表（一般）
  • 半線形放物型偏微分方程式に対する解の精度保証付き数値計算　　　　　　　　　　　　　　　
    高安亮紀; 水口信; 久保隆徹; 大石進一
    日本数学会2015年度年会, 2015年03月
    日本語, 口頭発表（一般）
  • 発展方程式の解に対する精度保証付き数値計算法を用いた時間大域解の存在証明　　　　　　　　　　　　　　　
    水口信; 高安亮紀; 久保隆徹; 大石進一
    精度保証付き数値計算の最近の展開,, 2015年03月
    日本語, 口頭発表（一般）
  • 半線形熱方程式の解に対する精度保証付き数値計算法を用いた時間大域解の存在証明　　　　　　　　　　　　　　　
    水口信; 高安亮紀; 久保隆徹; 大石進一
    日本応用数理学会 2015年研究部会連合発表会, 2015年03月
    日本語, 口頭発表（一般）
  • 藤田型方程式に対する時間大域解の精度保証付き数値計算　　　　　　　　　　　　　　　
    高安亮紀; 水口信; 久保隆徹; 大石進一
    2014年度応用数学合同研究集会, 2014年12月
    日本語, 口頭発表（一般）
  • 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), 2014年10月
    英語, 口頭発表（一般）
  • 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), 2014年09月
    英語, 口頭発表（一般）
  • 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), 2014年09月
    英語, 口頭発表（一般）
  • 藤田型方程式に対する時間大域解の計算機援用証明　　　　　　　　　　　　　　　
    高安亮紀; 水口信; 久保隆徹; 大石進一
    日本応用数理学会2014年度年会, 2014年09月
    日本語, 口頭発表（一般）
  • 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), 2014年03月
    英語, 口頭発表（一般）
  • 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), 2014年03月
    英語, 口頭発表（一般）
  • 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),, 2013年09月
    英語, 口頭発表（一般）
  • 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), 2013年09月
    英語, 口頭発表（一般）
  • 拡張作用素を用いたLipschitz領域における埋め込み定数の評価法　　　　　　　　　　　　　　　
    田中一成; 水口信; 関根晃太; 高安亮紀; 大石進一
    日本応用数理学会2013年度年会, 2013年09月
    日本語, 口頭発表（一般）
  • 半群理論を用いた非斉次熱方程式の全離散近似解に対する事前誤差評価　　　　　　　　　　　　　　　
    水口信; 久保隆徹; 高安亮紀; 大石進一
    日本応用数理学会 2013年研究部会連合発表会, 2013年03月
    日本語, 口頭発表（一般）
■ 所属学協会
  • 日本シミュレーション学会
  • 日本数学会
  • 日本応用数理学会
■ 共同研究・競争的資金等の研究課題
  • 半線形熱方程式の爆発解の厳密な爆発時間の解明と未知の実現象に対する研究基盤の確立　　　　　　　　　　　　　　　
    日本学術振興会, 科学研究費助成事業, 若手研究, 2023年04月 - 2028年03月
    水口 信, 中央大学
    配分額（総額）：4680000, 配分額（直接経費）：3600000, 配分額（間接経費）：1080000
    課題番号：23K13018
    講演・口頭発表等ID：49800753
  • 精度保証付き数値計算法を用いた反応拡散系の大域解の解析　　　　　　　　　　　　　　　
    日本学術振興会, 科学研究費助成事業, 若手研究, 2018年04月 - 2023年03月
    水口 信
    配分額（総額）：4160000, 配分額（直接経費）：3200000, 配分額（間接経費）：960000
    競争的資金, 課題番号：18K13462
TOP