教員情報 - 関根　晃太 | 千葉工業大学

学位

専門分野

メールアドレス

所属学会

著書・論文・作品

ホームページ

委員会・協会等

（最終更新日：2024-03-28 10:27:49）

  セキネ　コウタ
  関根　晃太
   所属   千葉工業大学情報変革科学部情報工学科

千葉工業大学情報科学研究科情報科学専攻

職種准教授

■ 学位

2011/04～2014/03

早稲田大学基幹理工学研究科数学応用数理専攻博士課程修了博士(工学)

■ 専門分野

キーワード：数値解析、精度保証付き数値計算、計算機援用証明

■ メールアドレス

■ 所属学会

1.		日本応用数理学会
2.	2022/06～	∟ 理事

■ 著書・論文・作品

1.	著書	The Art of High Performance Computing for Computational Science, Vol. 1: Techniques of speedup and parallelization for genereal purposes （共著） 2019/05
2.	著書	精度保証付き数値計算の基礎（共著） 2018/07
3.	著書	計算科学のためのHPC技術（共著） 2017/03
4.	論文	抽象的なHilbert空間の有限次元部分空間への直交射影の誤差に対する最良定数日本応用数理学会論文誌 34(1),19-32頁（共著） 2024/03/25
5.	論文	連立遅延エルニーニョ方程式における分数調波解の存在の計算機援用証明日本応用数理学会論文誌 34(1),1-18頁（共著） 2024/03/25
6.	論文	外力項を加えた池田遅延微分方程式における分数調波解の精度保証付き数値計算日本応用数理学会論文誌 33(4),132-148頁（共著） 2023/12/25
7.	論文	Rigorous numerical inclusion of the blow-up time for the Fujita-type equation Japan Journal of Industrial and Applied Mathematics 40(1),pp.665-689 （共著） 2023/01
8.	論文	Rigorous Numerical Enclosures for Positive Solutions of Lane-Emden's Equation with Sub-Square Exponents NUMERICAL FUNCTIONAL ANALYSIS AND OPTIMIZATION 43(3),pp.322-349 （共著） 2022/04
9.	論文	Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems Computers & Mathematics with Applications 106,pp.18-26 （共著） 2022/01
10.	論文	A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems Applied Numerical Mathematics 169,pp.87-107 （共著） 2021/11
11.	論文	Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation Journal of Scientific Computing 89(2) （共著） 2021/09
12.	論文	Inclusion of periodic solutions for forced delay differential equation modeling El Niño Nonlinear Theory and Its Applications, IEICE 12(3),pp.575-610 （共著） 2021
13.	論文	Numerical verification methods for a system of elliptic PDEs, and their software library Nonlinear Theory and Its Applications, IEICE 12(1),pp.41-74 （共著） 2021
14.	論文	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 Numerische Mathematik 146(4),pp.907-926 （共著） 2020
15.	論文	偏微分方程式の解の計算機援用存在証明法のためのC++を用いた精度保証付き数値計算ライブラリの構築情報処理学会プログラミング・シンポジウム予稿集 59th （単著） 2018
16.	論文	Numerical verification method for positivity of solutions to elliptic equations (現象解明に向けた数値解析学の新展開(2)) 数理解析研究所講究録 (2037),pp.125-140 （共著） 2017/07
17.	論文	ある無限次元固有値を用いた楕円型偏微分方程式の解の存在性に対する計算機援用証明法 (現象解明に向けた数値解析学の新展開(2)) 数理解析研究所講究録 (2037),96-105頁（共著） 2017/07
18.	論文	Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains Journal of Inequalities and Applications 2017(1),pp.1-18 （共著） 2017
19.	論文	Sharp numerical inclusion of the best constant for embedding H<inf>0</inf>¹(Ω)↪L^p(Ω) on bounded convex domain Journal of Computational and Applied Mathematics 311,pp.306-313 （共著） 2017
20.	論文	有界な凸領域における連立楕円型偏微分方程式の解の計算機援用存在証明法 Proceedings of the Twenty-Eighth RAMP Symposium （共著） 2016/10
21.	論文	Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator Journal of Inequalities and Applications 2015(1),pp.1-23 （共著） 2015
22.	論文	Improved error bounds for linear systems with H-matrices Nonlinear Theory and Its Applications, IEICE 6(3),pp.377-382 （共著） 2015
23.	論文	Numerical verification of positiveness for solutions to semilinear elliptic problems JSIAM Letters 7(0),pp.73-76 （共著） 2015
24.	論文	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 5(1),pp.64-79 （共著） 2014
25.	論文	Fast verified solutions of sparse linear systems with H-matrices Reliable Computing 19(2),pp.127-141 （共著） 2013
5件表示
全件表示(25件)

■ ホームページ

https://271.jp

■ 委員会・協会等

1.	2022/04/01～	日本応用数理学会ネットワーク委員会委員長
2.	2021/04/01～	日本応用数理学会研究部会若手の会幹事
3.	2017/04/01～	日本応用数理学会ネットワーク委員会委員