関根晃太 (Kouta Sekine) - マイポータル - researchmap

基本情報

所属: 千葉工業大学情報変革科学部情報工学科准教授

学位: 博士(工学)(2014年3月早稲田大学)

研究者番号: 80732239
ORCID iD: https://orcid.org/0000-0002-9201-0964
J-GLOBAL ID: 202101020783604404
researchmap会員ID: R000018263

外部リンク: https://271.jp

研究キーワード

4

経歴

5

2024年4月 - 現在

千葉工業大学情報変革科学部情報工学科, 准教授
2021年9月 - 2024年3月

千葉工業大学情報科学部情報工学科, 准教授
2017年4月 - 2021年8月

東洋大学, 情報連携学部情報連携学科, 助教
2015年4月 - 2017年3月

早稲田大学, 基幹理工学部応用数理学科, 助教
2014年4月 - 2015年4月

早稲田大学, 基幹理工学部応用数理学科, 助手

学歴

3

2011年4月 - 2014年3月

早稲田大学, 基幹理工学研究科 (博士後期課程), 数学応用数理専攻
2009年4月 - 2011年3月

日本大学, 生産工学研究科 (修士課程), 電気電子工学専攻
2005年4月 - 2009年3月

日本大学, 生産工学部, 電気電子工学科

委員歴

4

2022年6月 - 現在

日本応用数理学会, 理事
2017年4月 - 現在

日本応用数理学会, ネットワーク委員会
2022年4月 - 2025年3月

日本応用数理学会, 学会誌「応用数理」編集委員会
2021年4月 - 2025年3月

日本応用数理学会, 「若手の会」研究部会幹事

受賞

3

2016年9月

優秀ポスター賞, 一次元領域における非線形各参考を伴う方程式の定常解に対する精度保証付き数値計算法, 日本応用数理学会

木村翔矢, 関根晃太, 大石進一
2016年9月

優秀ポスター賞, Delaunay三角形分割の精度保証付き数値計算手法に対する考察, 日本応用数理学会

若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一
2012年9月

優秀ポスター賞, 成分毎評価を用いた近似逆行列の精度保証法, 日本応用数理学会

中村祐太郎, 関根晃太, 森倉悠介, 大石進一

主要な論文

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月5日査読有り
A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems

Kouta Sekine, Mitsuhiro T. Nakao, Shin'ichi Oishi, Masahide Kashiwagi

Applied Numerical Mathematics 169 87-107 2021年11月査読有り筆頭著者
Numerical verification methods for a system of elliptic PDEs, and their software library

Kouta Sekine, Mitsuhiro T. Nakao, Shin'ichi Oishi

Nonlinear Theory and Its Applications, IEICE 12(1) 41-74 2021年査読有り招待有り筆頭著者
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

Sekine, K., Nakao, M.T., Oishi, S.

Numerische Mathematik 146(4) 907-926 2020年査読有り筆頭著者

もっとみる

MISC

4

偏微分方程式の解の計算機援用存在証明法のためのC++を用いた精度保証付き数値計算ライブラリの構築

関根晃太

情報処理学会プログラミング・シンポジウム予稿集 59th 2018年筆頭著者
Numerical verification method for positivity of solutions to elliptic equations (現象解明に向けた数値解析学の新展開(2))

Tanaka Kazuaki, Sekine Kouta, Oishi Shin'ichi

数理解析研究所講究録 (2037) 125-140 2017年7月
ある無限次元固有値を用いた楕円型偏微分方程式の解の存在性に対する計算機援用証明法 (現象解明に向けた数値解析学の新展開(2))

関根晃太, 田中一成, 大石進一

数理解析研究所講究録 (2037) 96-105 2017年7月筆頭著者
有界な凸領域における連立楕円型偏微分方程式の解の計算機援用存在証明法

関根晃太, 田中一成, 大石進一

Proceedings of the Twenty-Eighth RAMP Symposium 2016年10月筆頭著者

書籍等出版物

3

The Art of High Performance Computing for Computational Science, Vol. 1: Techniques of speedup and parallelization for genereal purposes

(担当:共著, 範囲:Chapter 10)

Springer 2019年5月 (ISBN: 9789811361937)
精度保証付き数値計算の基礎

大石, 進一, 荻田, 武史, 柏木, 雅英, 劉, 雪峰, 尾崎, 克久, 山中, 脩也, 高安, 亮紀, 関根, 晃太, 木村, 拓馬, 市原, 一裕, 正井, 秀俊, 森倉, 悠介, Rump, Siegfried M.

コロナ社 2018年7月 (ISBN: 9784339028874)
計算科学のためのHPC技術

下司, 雅章, 片桐, 孝洋, 中田, 真秀, 渡辺, 宙志, 山本, 有作, 吉井, 範行, 鄭, 載運, 杉田, 有治, 石村, 和也, 大石, 進一, 南, 一生, 高橋, 大介, 尾崎, 泰助, 安藤, 嘉倫, 小林, 正人, 成瀬, 彰, 黒澤, 一平, 関根, 晃太, 森倉, 悠介, 黒田, 久泰

大阪大学出版会 2017年3月 (ISBN: 9784872595864)

所属学協会

1

2012年7月 - 現在

日本応用数理学会

共同研究・競争的資金等の研究課題

4

関数方程式の解に対する効率的な計算機援用「非」存在証明法の開発

日本学術振興会科学研究費助成事業基盤研究(C) 2023年4月 - 2026年3月

関根晃太
3次元領域におけるレイノルズ数の大きい流れの計算機援用証明

日本学術振興会科学研究費助成事業基盤研究(B) 2021年4月 - 2025年3月

劉雪峰, 荻田武史, 中尾充宏, 小林健太, 関根晃太, 渡部善隆
3次元領域におけるレイノルズ数の大きい流れの計算機援用証明

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 2021年4月 - 2025年3月

劉雪峰, 中尾充宏, 渡部善隆, 荻田武史, 小林健太, 関根晃太
大規模な連立非線形楕円型偏微分方程式の解の存在性を検証する計算機援用証明法の開発

日本学術振興会科学研究費助成事業若手研究(B) 若手研究(B) 2016年4月 - 2019年3月

関根晃太