書籍

  1. The Art of High Performance Computing for Computational Science, Vol. 1: Techniques of Speedup and Parallelization for General Purposes, Springer, (2019/5/14)
  2. 精度保証付き数値計算の基礎, コロナ社出版, (2018/7/26)
  3. 計算科学のためのHPC技術1, 大阪大学出版, (2017/3/31)

査読付き招待論文

  1. Shin'ichi Oishi and Kouta Sekine: “Inclusion of Periodic Solutions for Forced Delay Differential Equation Modeling El Niño”, Nonlinear Theory and Its Applications, IEICE, Vol.12, No.3, pp.575-610, Jul., 2021. doi.org/10.1587/nolta.12.575
  2. Kouta Sekine, Mitsuhiro T. Nakao, and Shin'ichi Oishi: “Numerical verification methods for a system of elliptic PDEs, and their software library”, Nonlinear Theory and Its Applications, IEICE, Vol.12, No.1, pp.41-74, Jan., 2021. doi.org/10.1587/nolta.12.41

査読付き論文

  1. 高橋 宗久, 関根 晃太, 水口 信: “抽象的なHilbert空間の有限次元部分空間への直交射影の誤差に対する最良定数”, 日本応用数理学会論文誌, 34巻1号, pp.19-32, 2024/3/25, doi.org/10.11540/jsiamt.34.1_19
  2. 三浦 悠希, 大石 進一, 関根 晃太: “連立遅延エルニーニョ方程式における分数調波解の存在の計算機援用証明”, 日本応用数理学会論文誌, 34巻1号, pp.1-18, 2024/3/25, doi.org/10.11540/jsiamt.34.1_1
  3. 中野 夏樹, 関根 晃太, 大石 進一: “外力項を加えた池田遅延微分方程式における分数調波解の精度保証付き数値計算”, 日本応用数理学会論文誌, 33巻4号, pp.132-148, 2023/12/25, doi.org/10.11540/jsiamt.33.4_132
  4. Makoto Mizuguchi, Kouta Sekine, Kouji Hashimoto, Mitsuhiro T. Nakao, and Shin'ichi Oishi: “Rigorous numerical inclusion of the blow-up time for the Fujita-type equation”, Japan J. Indust. Appl. Math., 40, pp. 665-689, Jan., 2023. doi.org/10.1007/s13160-022-00545-8
  5. Kazuaki Tanaka, Michael Plum, Kouta Sekine, Masahide Kashiwagi, Shin'ichi Oishi: “Rigorous numerical enclosures for positive solutions of Lane-Emden's equation with sub-square exponents”, Numerical Functional Analysis and Optimization, Vol. 43, Issue 3, pp. 322-349, Apr., 2022. doi.org/10.1080/01630563.2022.2029485
  6. Kouta Sekine, Kazuaki Tanaka, Shin'ichi Oishi: “Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems”, Computers and Mathematics with Applications, 106, pp. 18-26, Jan., 2022. doi.org/10.1016/j.camwa.2021.12.002
  7. Kouta Sekine, Mitsuhiro T. Nakao, Shin'ichi Oishi, and Masahide Kashiwagi: “A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems”, Applied Numerical Mathematics, 169, pp. 87-107, Nov., 2021. doi.org/10.1016/j.apnum.2021.06.011
  8. Makoto Mizuguchi, Mitsuhiro T. Nakao, Kouta Sekine, and Shin'ichi Oishi: “Error constants for the semi-discrete Galerkin approximation of the linear heat equation”, Journal of Scientific Computing, 89, pp. 1-9, Sep., 2021. doi.org/10.1007/s10915-021-01636-3
  9. Kouta Sekine, Mitsuhiro T. Nakao, and Shin'ichi Oishi: “A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator”, Numer. Math., 146, 907–926, Oct., 2020. doi.org/10.1007/s00211-020-01155-7.
  10. Makoto Mizuguchi, Kazuaki Tanaka, Kouta Sekine, and Shin'ichi Oishi: “Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains”, Journal of Inequalities and Applications, 2017:299, Nov., 2017. doi.org/10.1186/s13660-017-1571-0
  11. Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, and Shin'ichi Oishi: “Sharp numerical inclusion of the best constant for embedding \(H_{0}^{1}(\Omega)\hookrightarrow L^{p}(\Omega)\) on bounded convex domain, Journal of Computational and Applied Mathematics, Vol.311, pp.306–313, Feb., 2017. doi.org/10.1016/j.cam.2016.07.021
  12. Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, and Shin'ichi Oishi: “Estimation of the Sobolev embedding constant on domains with minimally smooth boundary using extension operator”, Journal of Inequalities and Applications, 2015:389, Dec., 2015. doi.org/10.1186/s13660-015-0907-x
  13. Atsushi Minamihata, Kouta Sekine, Takeshi Ogita, Siegfried M. Rump, and Shin'ichi Oishi: “Improved error bounds for linear systems with H-matrices”, Nonlinear Theory and Its Applications, IEICE, Vol.6, No.3, pp.377-382, July, 2015. doi.org/10.1587/nolta.6.377
  14. Kouta Sekine, Akitoshi Takayasu, and Shin'ichi Oishi: “An algorithm of identifying parameters satisfying a sufficient condition of Plum's Newton-Kantorovich like existence theorem for nonlinear operator equations”, Nonlinear Theory and Its Applications, IEICE, Vol.5, No.1, pp.64-79, Jan., 2014. doi.org/10.1587/nolta.5.64
  15. Atsushi Minamihata, Kouta Sekine, Takeshi Ogita, and Shin'ichi Oishi: “Fast verified solutions of sparse linear systems with H-matrices”, Reliable Computing, Vol.19, Issue.2, pp.127-141, Dec., 2013.

査読付きLetter論文

  1. Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, and Shin'ichi Oishi: "Numerical verification for positiveness of solutions to semilinear elliptic problems", JSIAM Letters, Vol.7, pp.73-76, Dec., 2015.

その他論文(査読なし，発表前/後などに求められた論文など)

  1. 関根晃太, "偏微分方程式の解の計算機援用存在証明法のためのC++を用いた精度保証付き数値計算ライブラリの構築", 第59回プログラミング・シンポジウム, (講演日:2018/1/20)
  2. 関根晃太, 田中一成, 大石進一, "ある無限次元固有値を用いた楕円型偏微分方程式の解の存在性に対する計算機援用証明法", RIMS講究録, (講演日:2016/10/21)(link)
  3. 田中一成, 関根晃太, 大石進一, "楕円型微分方程式の正値解に対する精度保証付き数値計算法", RIMS講究録, (講演日:2016/10/21)(link)
  4. 関根晃太, 田中一成, 大石進一, "有界な凸領域における連立楕円型偏微分方程式の解の計算機援用存在証明法", Proceedings of the Twenty-Eighth RAMP Stmposium, Nigata University, (2016/10/13)

国際会議発表(数枚のアブストラクトのみ査読(査読なしと同じ))

  1. Yuuta Sakai and Kouta Sekine: "Improvement of numerical verification method for solutions to systems of elliptic partial differential equations", Japan Society for Simulation Technology (JSST2024), University of Hyogo, (2024/9/16)
  2. Satoshi Shimizu, Kouta Sekine and Mitsuhiro T. Nakao: "Improvement of numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems", Japan Society for Simulation Technology (JSST2024), University of Hyogo, (2024/9/16)
  3. Munehisa Takahashi, Kouta Sekine and Makoto Mizuguchi: "The best constants for the projection error on triplet Hilbert spaces", Japan Society for Simulation Technology (JSST2023), Niigata University (2023/8/31)
  4. Kouta Sekine and Taiyou Fuse: "A Numerical verification method for a self-similar solution to the linear elliptic differential equation", 10th International Congress on Industrial and Applied Mathematics (ICIAM2023), Tokyo (2023/8/22)
  5. Naoki Takamatsu, Yuuki Saito, Shin’ichi Oishi and Kouta Sekine: "Numerical verification of existence for subharmonic solutions to delayed van der Pol-Duffing equation", Computer Arithmetic and Verified Numerics (SCAN'2020), Hungary(Online) (2021/9/14)
  6. Taisei Asai, Kazuaki Tanaka, Kouta Sekine and Shin’Ichi Oishi: "Computer-assisted analysis for bifurcation diagrams of the one-dimensional Henon equation", Computer Arithmetic and Verified Numerics (SCAN'2020), Hungary(Online) (2021/9/14)
  7. Yuuki Saito, Naoki Takamatsu, Shin’ichi Oishi and Kouta Sekine: "Inverse bifurcation diagram problem for delayed van der Pol-Duffing equation", Computer Arithmetic and Verified Numerics (SCAN'2020), Hungary(Online) (2021/9/13)
  8. Shin’ichi Oishi and Kouta Sekine: "Inverse Bifurcation Diagram Problem of Forced El Nino Equation", Computer Arithmetic and Verified Numerics (SCAN'2020), Hungary(Online) (2021/9/13)
  9. Makoto Mizuguchi, Kazuaki Tanaka, Kouta Sekine, and Shin'ichi Oishi: "Estimation of Sobolev embedding constant on a bounded convex domain", 18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN'2018), Tokyo (2018/9/14)
  10. Kazuaki Tanaka, Kouta Sekine, and Shin'ichi Oishi: "On verified numerical computation for positive solutions to elliptic boundary value problems", 17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN'2016), Sweden (2016/9/28).
  11. Kouta Sekine, Kazuaki Tanaka, and Shin'ichi Oishi: "A norm estimation for an inverse of linear operator using a minimal eigenvalue", 17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN'2016), Sweden (2016/9/28).
  12. Yusuke Morikura, Yusuke Nozawa, Kouta Sekine, Masahide Kashiwagi, and Shin'ichi Oishi: "Fast enclosure for matrix multiplication on a GUP", 17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN'2016), Sweden (2016/9/27).
  13. Kazuaki Tanaka, Kouta Sekine, and Shin'ichi Oishi: "Numerically verifiable condition for positivity of solution to elliptic equation", The 11th East Asia SIAM Conference, University of Macau, China (2016/6/20).
  14. Makoto Mizuguchi, Kouta Sekine, Akitoshi Takayasu, Takayuki Kubo, and Shin'ichi Oishi: "Verified computations for solutions of semilinear heat equations using an analytic semigroup generated by a self-adjoint operator", Japan Society for Simulation Technology (JSST2015), Toyama international conference center, (2015/10/12), (登壇者がstudent presentation awardを受賞).
  15. Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, and Shin'ichi Oishi: "Numerical verification for positiveness of solutions to self-adjoint elliptic problems", Japan Society for Simulation Technology (JSST2015), Toyama international conference center, (2015/10/12).
  16. Kouta Sekine, Akitoshi Takayasu, and Shin'ichi Oishi: "A numerical verification method using H^1_sigma-norm for an elliptic system of FitzHugh-Nagumo type", Japan Society for Simulation Technology (JSST2014), Kitakyushu, (2014/10/30).
  17. Atsushi Minamihata, Kouta Sekine, Takeshi Ogita, Siegfried M. Rump, and Shin'ichi Oishi: "A Simple Modified Verification Method for Linear Systems", 16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN'2014), Germany (2014/9/24).
  18. Kouta Sekine, Akitoshi Takayasu, and Shin'ichi Oishi: "A verified computation of steady-state solutions to Reaction-Diffusion equations ", Japan Society for Simulation Technology (JSST2013), Meiji university, (2013/9/13).
  19. Kazuaki Tanaka, Makoto Mizuguchi, Kouta Sekine, Akitoshi Takayasu, and Shin'ichi Oishi: "Estimation of an embedding constant on Lipshitz domains using extension operators", Japan Society for Simulation Technology (JSST2013), Meiji university, (2013/9/13), (登壇者がstudent presentation awardを受賞).
  20. Kouta Sekine, Akitoshi Takayasu, and Shin'ichi Oishi: "A numerical verification method for solutions to systems of elliptic partial differential equations", 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN'2012), Novosibirsk, Russia (2012/9/24).

国際会議発表(アブストラクトの査読すら求められなかった国際会議発表)

  1. Kouta Sekine: “Summary of Numerical Verification Methods for Solutions to infinite dimensional problems on Banach space using a projection”, International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022), (2022/3/16).
  2. Kouta Sekine, Mitsuhiro T. Nakao, and Shin'ichi Oishi: “An operator matrix expression to the solution of linear operator equations in Banach space and its application”, Numerical methods for spectral problems: theory and applications, RIMS in Kyoto University, (2019/9/2).
  3. Ryo Kobayashi, Kouta Sekine, Masahide Kashiwagi, and Shin'ichi Oishi: “Verified numerical integration for function with power-type singularity using partial integration”, The International Workshop on Numerical Verification and its Applications (INVA2017), Miyako Island in Okinawa, (2017/3/17).
  4. Makoto Mizuguchi, Kouta Sekine, and Shin'ichi Oishi: “A numerical verification method for solutions to systems of parabolic equations”, The International Workshop on Numerical Verification and its Applications (INVA2017), Miyako Island in Okinawa, (2017/3/17).
  5. Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, and Shin'ichi Oishi: “Numerical method for estimationg the best constant in Sobolev type inequality on unit square”, The International Workshop on Numerical Verification and its Applications (INVA2017), Miyako Island in Okinawa, (2017/3/17).
  6. Ryo Kobayashi, Kouta Sekine, Masahide Kashiwagi, and Shin'ichi Oishi: “Verified quadrature for integrand with power-type singularity using partial integral”, ANZIAM 2017, Adelaide in Australia, (2017/2/6).
  7. Kouta Sekine, Kazuaki Tanaka, and Shin'ichi Oishi: “Estimation for optimal constant satisfying an inequality for linear operator using minimal eigenvalue”, Nonlinear Analysis and Optimization(NAO-Asia 2016), Toki Messe in Niigata, (2016/8/2).
  8. Makoto Mizuguchi, Kouta Sekine, Akitoshi Takayasu, Takayuki Kubo, and Shin'ichi Oishi: “Verification algorithm for enclosing a mild solution of semilinear heat equations”, Nonlinear Analysis and Optimization(NAO-Asia 2016), Toki Messe in Niigata, (2016/8/2).
  9. Yuuka Yanagisawa, Kouta Sekine, Shoji Shinoda, and Shin'ichi Oishi: “A pivoting algorithm based on Gram–Schmidt orthogonalization”, Analysis at Niigata University, Niigata University, (2015/9/3).
  10. Atsushi Minamihata, Kouta Sekine, Takeshi Ogita, Siegfried M. Rump, and Shin'ichi Oishi: “A modified verification method for linear system”, The International Workshop on Numerical Verification and its Applications, Tokyo (2014/3/17).
  11. Kouta Sekine, Akitoshi Takayasu, and Shin'ichi Oishi: “Computer assisted proof for existence of solutions to a system of elliptic partial differential equations”, The International Workshop on Numerical Verification and its Applications (INVA2014), Tokyo (2014/3/16).

査読なし国内発表

  1. 佐々木 勇太朗, 関根 晃太, 柏木 雅英 "AVX-512を用いた高速な区間FMAの実装法", 日本応用数理学会 研究部会連合発表会, 長岡技術科学大学 (2024/3/6)
  2. 橋本 弘治, 水口 信, 関根 晃太, 中尾 充宏 "発展作用素を用いた初期値問題の精度保証付き数値計算～単調性を用いた爆発解検証への適用について～", 日本応用数理学会 研究部会連合発表会, 長岡技術科学大学 (2024/3/6)
  3. 橋本 弘治, 水口 信, 関根 晃太, 中尾 充宏 "発展作用素を用いた初期値問題の精度保証付き数値計算～変則的位相を用いた大域解検証への適用について～", 日本応用数理学会 研究部会連合発表会, 長岡技術科学大学 (2024/3/6)
  4. 高島 陸斗, 関根 晃太 "分数調波解をもつ遅延 van der Pol-Duffing方程式の近似解の精度保証の改良", 2023年度 電子情報通信学会 ソサイエティ大会, 名古屋大学 (2023/9/14)
  5. 布施 太陽, 関根 晃太 "R上における線形偏微分方程式の自己相似解に対する精度保証付き数値計算法", 日本応用数理学会 研究部会連合発表会, 岡山理科大学 (2023/3/8)
  6. 大石 進一, 関根 晃太, 三浦 悠希, 根本 悠太 "周期的時間変動をするHutchinson方程式の分数調波解の 計算機援用存在証明と分岐現象の解析", 日本応用数理学会 研究部会連合発表会, 岡山理科大学 (2023/3/8)
  7. 小幡 優人, 関根 晃太 "BLASを利用しない点行列の行列積の高速な精度保証法", 科学計算・計測工学連携ワークショップ, 北海道 釧路 (2023/3/5)
  8. 倉本 一姫, 大石 進一, 関根 晃太 "Macky-Glass方程式に外力を加えた方程式のシミュレーショ ンと逆作用素のノルム評価について", 2022年度 日本応用数理学会 年会, 北海道大学/オンライン, (2022/9/10)
  9. 中野 夏樹, 大石 進一, 関根 晃太 "外力項を加えた池田遅延微分方程式における分数調波解の精度保証", 2022年度 日本応用数理学会 年会, 北海道大学/オンライン, (2022/9/10)
  10. 高橋 宗久, 関根 晃太, 水口 信 "3つのHilbert空間の組における最良な射影誤差定数について", 2022年度 日本応用数理学会 年会, 北海道大学/オンライン, (2022/9/10)
  11. 三浦 悠希, 大石 進一, 関根 晃太 "遅延連立エルニーニョ方程式に対する逆分岐図を用いた分数調波解の解析", 2022年度 日本応用数理学会 年会, 北海道大学/オンライン, (2022/9/10)
  12. 水口 信, 中尾 充宏, 橋本 弘治, 関根 晃太, 大石 進一 "放物型方程式の全離散近似に対する誤差評価について", 2022年度 日本応用数理学会 年会, 北海道大学/オンライン, (2022/9/10)
  13. 関根 晃太 "有限次元非線形方程式の解の新しい精度保証付き数値計算法", 第3回 若手数学者交流会, オンライン, (2022/3/8)
  14. 三浦 悠希, 大石 進一, 関根 晃太 "遅延連立エルニーニョ方程式の精度保証", 2022年度 日本応用数理学会 研究部会連合発表会, オンライン, (2022/3/8)
  15. 関根 晃太 "有限次元非線形方程式の解の成分ごと評価について", 第5回 精度保証付き数値計算の実問題への応用研究集会, オンライン, (2021/11/28)
  16. 浅井 大晴, 田中 一成, 関根 晃太, 大石 進一 "1次元エノン方程式の分岐図に対する計算機援用解析", 2021年度 日本応用数理学会 年会, オンライン, (2021/9/9)
  17. 水口 信, 中尾 充宏, 関根 晃太, 大石 進一 "楕円型方程式と放物型方程式に対する半離散ガレルキン近似の誤差定数について", 2021年度 日本応用数理学会 年会, オンライン, (2021/9/9)
  18. 齊藤 優輝, 高松 尚輝, 大石 進一, 関根 晃太 "遅延van der Pol-Duffing方程式に対する逆分岐図を用いた分数調波解の解析", 2021年度 日本応用数理学会 年会, オンライン, (2021/9/9)
  19. 高松 尚輝, 齊藤 優輝, 大石 進一, 関根 晃太, 倉本 一姫, 中野 夏樹, 三浦 悠希 "遅延van der Pol-Duffing方程式の非周期解の数値計算", 2021年度 日本応用数理学会 年会, オンライン, (2021/9/9)
  20. 齊藤 優輝, 高松 尚輝, 大石 進一, 関根 晃太 "遅延van der Pol-Duffing方程式の分岐と精度保証", 2021年度 日本応用数理学会 研究部会連合発表会, オンライン, (2021/3/4)
  21. 高松 尚輝, 齊藤 優輝, 大石 進一, 関根 晃太 "遅延van der Pol-Duffing方程式の精度保証", 2021年度 日本応用数理学会 研究部会連合発表会, オンライン, (2021/3/4)
  22. 大石 進一, 関根 晃太 "強制遅延Duffing方程式の逆分岐図問題と精度保証", 2021年度 日本応用数理学会 研究部会連合発表会, オンライン, (2021/3/4)
  23. 水口信, 関根 晃太, 橋本 弘治, 中尾充宏, 大石 進一 "藤田型方程式の解の爆発時間に対する計算機を用いた数値的包含方法について", 2020年度 応用数学合同研究集会, オンライン, (2020/12/19)
  24. 大石進一, 関根 晃太 "強制外力のある遅延Duffing方程式の逆分岐ダイアグラム問題と分数調波解の存在の計算機援用証明", 第4回 精度保証付き数値計算の実問題への応用研究集会, オンライン, (2020/11/29)
  25. 大石進一, 関根 晃太 "エルニーニョを記述する強制遅延微分方程式の分数調波解の存在の計算機援用証明", 第4回 精度保証付き数値計算の実問題への応用研究集会, オンライン, (2020/11/29)
  26. 関根 晃太, 中尾充宏, 大石進一 "半線形楕円型偏微分方程式の線形化作用素L:D(Δ)→L2に対するSchur補元を用いた逆作用素の表現方法", 第4回 精度保証付き数値計算の実問題への応用研究集会, オンライン, (2020/11/28)
  27. 関根 晃太, 中尾充宏, 大石進一 "半線形楕円型偏微分方程式の解の局所非存在証明法", 2020年日本応用数理学会年会, オンライン, (2020/9/10)
  28. 関根 晃太, 中尾充宏, 大石進一 "簡易Newton法の収束定理からみた偏微分方程式の解の精度保証付き数値計算法", 第3回 精度保証付き数値計算の実問題への応用研究集会, サンポートホール高松, (2019/11/30)
  29. 小林 領, 関根 晃太, 柏木 雅英 "３項漸化式を用いたガウス求積における分点と重みの精度保証法", 第3回 精度保証付き数値計算の実問題への応用研究集会, サンポートホール高松, (2019/11/30)
  30. 水口信, 関根 晃太, 中尾充宏 "半線形熱方程式の解の精度保証付き数値計算法について", 第2回 精度保証付き数値計算の実問題への応用研究集会, 広島インテリジェントホテル スタジアム前 (本館), (2018/12/1)
  31. 関根晃太, 中尾 充宏 "線形化作用素の逆作用素のノルム評価を利用しない楕円型偏微分方程式の解に対する計算機援用証明法", 第2回 精度保証付き数値計算の実問題への応用研究集会, 広島インテリジェントホテル スタジアム前 (本館), (2018/12/1)
  32. 関根晃太, "C++11によるポリシーを導入した数値線形代数クラスの作成とその応用", 第1回 精度保証付き数値計算の実問題への応用研究集会, 北九州 西日本総合展示場, (2017/12/9)
  33. 若山馨太, 金子直樹, 田中一成, 関根晃太, 尾崎克久, 大石進一, ”前処理ソート付き逐次添加法によるドロネー性保証付き三角形分割法”, 2017年日本応用数理学会年会, 武蔵野大学, (2017/9/6)
  34. 小林領, 関根晃太, 柏木雅英, 大石進一, ”部分積分とEuler-Maclaurinの公式を用いたベキ型特異点を持つ関数の精度保証付き数値積分”, 2016年日本応用数理学会年会, 北九州国際会議場, (2016/9/14).
  35. 森倉悠介, 野澤優介, 関根晃太, 柏木雅英, 大石進一, ”CUDAの丸めモード指定演算を用いた行列積の高速な包含方法”, 2016年日本応用数理学会年会, 北九州国際会議場, (2016/9/14).
  36. 水口信, 関根晃太,大石進一, ”Lotka-Volterra型偏微分方程式の初期値境界値問題の解に対する精度保証付き数値計算法について”, 2016年日本応用数理学会年会, 北九州国際会議場, (2016/9/14).
  37. 若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一, ”Delaunay三角形分割の精度保証付き数値計算手法に対する考察(ポスター講演)”, 2016年日本応用数理学会年会, 北九州国際会議場, (2016/9/13)(優秀ポスター賞を受賞).
  38. 木村翔矢, 関根晃太, 大石進一, ”一次元領域における非線形各参考を伴う方程式の定常解に対する精度保証付き数値計算法(ポスター講演)”, 2016年日本応用数理学会年会, 北九州国際会議場, (2016/9/13)(優秀ポスター賞を受賞).
  39. 若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一, ”逐次添加法による三角形分割のDelaunay性に対する数値的検証法”, 2015年日本応用数理学会年会, 金沢大学, (2015/9/10).
  40. 水口信, 関根晃太, 高安亮紀, 久保 隆徹, 大石進一, ”ある自己共役作用素から生成される解析半群を用いた半線形熱方程式の解の数値的検証法”, 2015年日本応用数理学会年会, 金沢大学, (2015/9/9).
  41. 田中一成, 関根晃太, 水口信, 大石進一, ”楕円型偏微分方程式の解の正値性に対する数値的検証法”, 2015年日本応用数理学会年会, 金沢大学, (2015/9/9).
  42. 新井航, 山崎憲, 関根晃太, ”数値積分法を離散化に使用した破面合成法の研究-三次元での検証-”, 2015年春季日本音響学会研究発表講演, 中央大学後楽園キャンパス, (2015/3/17).
  43. 田中一成, 関根晃太, 水口信, 大石進一, ”偏微分方程式の解の正値性に対する数値的検証法”, 精度保証付き数値計算の最近の展開, 北九州国際会議場, (2015/3/9).
  44. 関根晃太, 田中一成, 大石進一, 山崎憲, ”シグマノルムを利用した精度保証付き数値計算法の連立楕円型偏微分方程式への応用”, 日本大学生産工学部第47回学術講演会, (2014/12/6).
  45. 新井航, 山崎憲, 関根晃太, ”第二種レイリー積分を想定したNIM-WFS”, 日本大学生産工学部第47回学術講演会, (2014/12/6).
  46. 関根晃太, 田中一成, 高安亮紀, 大石進一, ”重み付きノルムによる特異摂動問題の精度保証付き数値計算結果の改善”, 2014年日本応用数理学会年会, 政策研究大学院大学, (2014/9/3).
  47. 南畑淳史, 関根晃太, 荻田武史, Siegfried M. Rump, 大石進一, ”連立一次方程式の数値解に対する高速精度保証法の改良”, 2014年日本応用数理学会年会, 政策研究大学院大学, (2014/9/3).
  48. Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi and Shin'ichi Oishi: " An a priori estimation of the Sobolev embedding constant and its application to numerical verification for solutions to PDEs. "2014年研究部会連合発表会, 京都大学,(2014/3/20).
  49. 新井航, 関根晃太, 山崎憲, "数値積分法による波面合成法の離散化の提案とその誤差に関する検討", 2014年春季日本音響学会研究発表講演, 日本大学お茶の水キャンパス,(2014/3/10).
  50. 新井航, 関根晃太, 山崎憲, 大石進一, ”台形公式及びシンプソン公式を用いた波面合成法の離散化の提案とその誤差に関する研究”, 日本大学生産工学部第46回学術講演会, (2013/12/7).
  51. 関根晃太, 高安亮紀, 大石進一, 山崎憲, ”連立非線形楕円型偏微分方程式の精度保証付き数値計算に対する線形化逆作用素の一評価”, 日本大学生産工学部第46回学術講演会, (2013/12/7).
  52. 田中一成, 水口信, 関根晃太, 大石進一, "拡張作用素を用いたLipschitz領域における埋め込み定数の評価法",2013年日本応用数理学会年会, アクロス福岡, (2013/9/10).
  53. 関根晃太, 高安亮紀, 大石進一, "反応拡散方程式の定常解に対する精度保証付き数値計算 ", 2013年日本応用数理学会年会, アクロス福岡,(2013/9/9).
  54. 南畑淳史, 関根晃太, 荻田武史, 大石進一, "連立一次方程式における成分毎の評価に関する一考察", 2013年度数値線形代数研究集会, (2013/8/21).
  55. 南畑淳史, 関根晃太, 荻田武史, 大石進一, "H行列における連立一次方程式の高速精度保証", 数値解析シンポジウム2013, (2013/6/12).
  56. 南畑淳史, 関根晃太, 荻田武史, 大石進一, "区間連立一次方程式に対する精度保証付き事後誤差評価法", 2013年研究部会連合発表会, 東洋大学 白山キャンパス, (2013/3/15).
  57. 関根晃太, 大石進一, 山崎憲, ”数値積分法からみた波面合成法の離散化について”, 日本大学生産工学部第45回学術講演会, (2012/12/1).
  58. 南畑淳史, 関根晃太, 荻田武史, 大石進一, "区間連立一次方程式に関する誤差評価", 環瀬戸内ワークショップ, 土庄町総合会館「フレトピアホール」,(2012/11/17).
  59. 関根晃太, 高安亮紀, 大石進一, "ある連立2階楕円型偏微分方程式系の解に対する計算機援用証明", 2012年日本応用数理学会年会, (2012/8/31).
  60. 中村祐太郎, 関根晃太, 森倉悠介, 大石進一, "成分毎評価を用いた近似逆行列の精度保証法(ポスター講演)", 2012年日本応用数理学会年会, (2012/8/30), (優秀ポスター賞を受賞).
  61. 小林郷平, 山崎憲, 関根晃太, "アクティブノイズコントロールの実験と波面合成法によるシミュレーションの検討", 2012年春季日本音響学会研究発表会講演論文集, (2012/3/15).
  62. 関根晃太, 大石進一, "3次元音響散乱問題におけるLippmann-Schwinger方程式の非自明解の存在と一意性の計算機援用証明", 日本応用数理学会2012年度研究部会連合発表会, (2012/3/8).
  63. 小林郷平, 山崎憲, 関根晃太, "騒音制御への一つの試み", 第44回日本大学生産工学部学術講演会電気電子部会, (2011/12/3).
  64. 小林郷平, 山崎憲, 関根晃太, "アクティブノイズコントロールへの一つの試み", 2011年秋季日本音響学会研究発表会講演論文集, (2011/9/21).
  65. 関根晃太, 大石進一, "3次元音響散乱問題におけるLippmann-Schwinger方程式の精度保証付き数値計算(ポスター講演)", 2011年度数値解析研究集会, (2011).
  66. 関根晃太, 山崎憲, " TLM法を用いた波面合成法の応用―反射壁がある場合―", 2011年春季日本音響学会研究発表会講演論文集, (2011/3/11).
  67. 関根晃太, 山崎憲, "TLM法を用いた波面合成法の応用", 第43回日本大学生産工学部学術講演会電気電子部会, (2010/12/3).
  68. 関根晃太, 小林郷平, 山崎憲, "3 次元TLM 法を用いた波面合成法の解析", 2010年秋季日本音響学会研究発表会講演論文集, (2010/9/14).
  69. 関根晃太, 山崎憲, "波面合成法におけるスピーカの離散化による影響に関する検討", 2010年春季日本音響学会研究発表会講演論文集, (2010/3/8).
  70. 関根晃太, 山崎憲, "TLM法を用いた波面合成法の検討", 第42回日本大学生産工学部学術講演会電気電子部会, (2009/12/5.)
  71. 関根晃太, 田中洸平, 山崎憲, "音楽CDに超音波領域を加えた場合の人間に与える生理の影響~非侵襲測定を用いた場合~", 2009年秋季日本音響学会研究発表会講演論文集, (2009/9/17).

セミナー講演

  1. 関根 晃太 , “C++で学ぶ精度保証付き数値計算法の初歩”, 日本応用数理学会 三部会連携「応用数理セミナー」, オンライン, (2020/12/23).
  2. 関根 晃太 , “偏微分方程式の精度保証付き数値計算法 (II):半線形楕円型境界値問題”, 日本応用数理学会 三部会連携「応用数理セミナー」, 東京大学, (2018/12/26).
  3. 関根 晃太 , “偏微分方程式の解に対する精度保証付き数値計算法について”, 早稲田大学 理工学研究所「精度保証付きワークショップ」, (2016/9/12).
  4. Kouta Sekine, “Introduction to verified computation (II)”, Joint Seminar on Numerical Analysis at Niigata University, Niigata University, (2015/9/4).
  5. Kouta Sekine, “Introduction to verified computation (I)”, Joint Seminar on Numerical Analysis at Niigata University, Niigata University, (2015/9/1).
  6. 関根 晃太, “楕円型連立半線形偏微分方程式の解に対する精度保証付き数値計算法”, 日本応用数理学会 三部会連携「応用数理セミナー」, 早稲田大学, (2014/12/26).