関根晃太 Sekine Kouta

研究者番号	80732239
その他のID	https://orcid.org/0000-0002-9201-0964
所属 (現在)	2024年度: 千葉工業大学, 情報変革科学部, 准教授
所属 (過去の研究課題情報に基づく) *注記	2024年度: 千葉工業大学, 情報変革科学部, 准教授 2021年度 – 2023年度: 千葉工業大学, 情報科学部, 准教授 2017年度 – 2018年度: 東洋大学, 情報連携学部, 助教 2016年度: 早稲田大学, 理工学術院, 助教
審査区分/研究分野	研究代表者小区分12040:応用数学および統計数学関連 / 数学基礎・応用数学研究代表者以外小区分12040:応用数学および統計数学関連
キーワード	研究代表者計算機援用証明法 / 関数方程式 / 解の非存在証明 / 精度保証数値計算 / 応用数学 / 分数冪 / 連立非線形楕円型偏微分方程式 / ラプラス作用素の分数冪 / 固有値問題 / 線形化作用素 … もっと見る / 計算機援用存在証明法 / 数値解析 / 楕円型偏微分方程式 / 精度保証付き数値計算 … もっと見る研究代表者以外有限要素法 / Hypercircle法 / Divergence-free条件 / 並列計算 / 鞍点型の固有値問題 / 非自己共役作用素 / 計算機援用証明法 / ナビエ・ストークス方程式の定常解 / 精度保証付き数値計算 / 固有値問題の厳密評価 / 厳密計算ライブラリ / 計算機援用証明 / ナビエ・ストークス方程式隠す

関数方程式の解に対する効率的な計算機援用「非」存在証明法の開発研究代表者
- 研究代表者
  
  関根晃太
- 研究期間 (年度)
  2023 – 2025
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分12040:応用数学および統計数学関連
- 研究機関
  千葉工業大学
3次元領域におけるレイノルズ数の大きい流れの計算機援用証明
- 研究代表者
  
  劉雪峰
- 研究期間 (年度)
  2021 – 2024
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分12040:応用数学および統計数学関連
- 研究機関
  東京女子大学
   新潟大学
大規模な連立非線形楕円型偏微分方程式の解の存在性を検証する計算機援用証明法の開発研究代表者
- 研究代表者
  
  関根晃太
- 研究期間 (年度)
  2016 – 2018
- 研究種目
  
  若手研究(B)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  東洋大学
   早稲田大学

すべて 2024 2023 2019 2018 2017 2016

すべて雑誌論文学会発表図書

[図書] 精度保証付き数値計算の基礎2018
- 著者名/発表者名
  大石進一，荻田武史，柏木雅英，劉雪峰，尾崎克久，山中脩也，高安亮紀，関根晃太，木村拓馬，市原一裕，正井秀俊，森倉悠介，Siegfried M. Rump
- 総ページ数
  311
- 出版者
  コロナ社
- ISBN
  9784339028874
- データソース
  KAKENHI-PROJECT-16K17651
[雑誌論文] 抽象的なHilbert空間の有限次元部分空間への直交射影の誤差に対する最良定数2024
- 著者名/発表者名
  高橋宗久, 関根晃太, 水口信
- 雑誌名
  
  日本応用数理学会論文誌
  
  巻: 34 号: 1 ページ: 19-32
- DOI
  10.11540/jsiamt.34.1_19
- ISSN
  2424-0982
- 言語
  日本語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-23K13018, KAKENHI-PROJECT-23K03237
[雑誌論文] Sharp numerical inclusion of the best constant for embedding H10(Ω)->Lp(Ω) on bounded convex domain2017
- 著者名/発表者名
  Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, and Shin'ichi Oishi
- 雑誌名
  
  Journal of Computational and Applied Mathematics
  
  巻: Vol.311 ページ: 306-313
- DOI
  10.1016/j.cam.2016.07.021
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-16K17651
[雑誌論文] Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains2017
- 著者名/発表者名
  Mizuguchi Makoto、Tanaka Kazuaki、Sekine Kouta、Oishi Shin’ichi
- 雑誌名
  
  Journal of Inequalities and Applications
  
  巻: 2017 号: 1 ページ: 1-18
- DOI
  10.1186/s13660-017-1571-0
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-16K17651, KAKENHI-PROJECT-17H07188
[雑誌論文] 有界な凸領域における連立楕円型偏微分方程式の解の計算機援用存在証明法2016
- 著者名/発表者名
  関根晃太, 田中一成, 大石進一
- 雑誌名
  
  Proceedings of the Twenty-Eighth RAMP Stmposium
  
  巻: 28th ページ: 77-94
- 謝辞記載あり
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] AVX-512を用いた高速な区間FMAの実装法2024
- 著者名/発表者名
  佐々木勇太朗, 関根晃太, 柏木雅英
- 学会等名
  日本応用数理学会研究部会連合発表会
- データソース
  KAKENHI-PROJECT-23K03237
[学会発表] 発展作用素を用いた初期値問題の精度保証付き数値計算～単調性を用いた爆発解検証への適用について～2024
- 著者名/発表者名
  橋本弘治, 水口信, 関根晃太, 中尾充宏
- 学会等名
  日本応用数理学会第20回研究部会連合発表会
- データソース
  KAKENHI-PROJECT-23K20810
[学会発表] 放物型方程式の全離散近似解に対する定量的な誤差評価2023
- 著者名/発表者名
  水口　信, 中尾充宏, 橋本弘治, 関根晃太, 大石進一
- 学会等名
  日本数学会秋季総合分科会
- データソース
  KAKENHI-PROJECT-23K20810
[学会発表] The best constants for the projection error on triplet Hilbert spaces2023
- 著者名/発表者名
  Munehisa Takahashi, Kouta Sekine and Makoto Mizuguchi
- 学会等名
  Japan Society for Simulation Technology (JSST2023)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K03237
[学会発表] 反応拡散方程式系のDirichlet境界値問題の定常解に対する計算機援用存在証明法2019
- 著者名/発表者名
  関根晃太
- 学会等名
  若手数学者交流会
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] Estimation of Sobolev embedding constant on a bounded convex domain2018
- 著者名/発表者名
  Makoto Mizuguchi, Kazuaki Tanaka, Kouta Sekine, and Shin'ichi Oishi
- 学会等名
  18th GAMM-IMACS International Symposium on Scientific Computing
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] 線形化作用素の逆作用素のノルム評価を利用しない楕円型偏微分方程式の解に対する計算機援用証明法2018
- 著者名/発表者名
  関根晃太, 中尾充宏
- 学会等名
  第2回精度保証付き数値計算の実問題への応用研究集会
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] 偏微分方程式の解の計算機援用存在証明法のためのC++を用いた精度保証付き数値計算ライブラリの構築2018
- 著者名/発表者名
  関根晃太
- 学会等名
  第59回プログラミング・シンポジウム
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] 半線形熱方程式の解の精度保証付き数値計算法について2018
- 著者名/発表者名
  水口信, 関根晃太, 中尾充宏
- 学会等名
  第2回精度保証付き数値計算の実問題への応用研究集会
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] Verified numerical integration for function with power-type singularity using partial integration2017
- 著者名/発表者名
  Ryo Kobayashi, Kouta Sekine, Masahide Kashiwagi, and Shin'ichi Oishi
- 学会等名
  The International Workshop on Numerical Verification and its Applications (INVA2017)
- 発表場所
  Miyako Island in Okinawa
- 年月日
  2017-03-17
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] C++11によるポリシーを導入した数値線形代数クラスの作成とその応用2017
- 著者名/発表者名
  関根晃太
- 学会等名
  第1回精度保証付き数値計算の実問題への応用研究集会
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] Numerical method for estimationg the best constant in Sobolev type inequality on unit square2017
- 著者名/発表者名
  Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, and Shin'ichi Oishi
- 学会等名
  The International Workshop on Numerical Verification and its Applications (INVA2017)
- 発表場所
  Miyako Island in Okinawa
- 年月日
  2017-03-17
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] A numerical verification method for solutions to systems of parabolic equations2017
- 著者名/発表者名
  Makoto Mizuguchi, Kouta Sekine, and Shin'ichi Oishi
- 学会等名
  The International Workshop on Numerical Verification and its Applications (INVA2017)
- 発表場所
  Miyako Island in Okinawa
- 年月日
  2017-03-17
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] Verified quadrature for integrand with power-type singularity using partial integral2017
- 著者名/発表者名
  Ryo Kobayashi, Kouta Sekine, Masahide Kashiwagi, and Shin'ichi Oishi
- 学会等名
  ANZIAM 2017
- 発表場所
  Adelaide in Australia
- 年月日
  2017-02-06
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] 前処理ソート付き逐次添加法によるドロネー性保証付き三角形分割法2017
- 著者名/発表者名
  若山馨太, 金子直樹, 田中一成, 関根晃太, 尾崎克久, 大石進一
- 学会等名
  2017年日本応用数理学会年会
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] Lotka-Volterra型偏微分方程式の初期値境界値問題の解に対する精度保証付き数値計算法について2016
- 著者名/発表者名
  水口信, 関根晃太,大石進一
- 学会等名
  2016年日本応用数理学会年会
- 発表場所
  北九州国際会議場
- 年月日
  2016-09-14
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] Verification algorithm for enclosing a mild solution of semilinear heat equations2016
- 著者名/発表者名
  Makoto Mizuguchi, Kouta Sekine, Akitoshi Takayasu, Takayuki Kubo, and Shin'ichi Oishi
- 学会等名
  Nonlinear Analysis and Optimization(NAO-Asia 2016)
- 発表場所
  Toki Messe in Niigata
- 年月日
  2016-08-02
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] Estimation for optimal constant satisfying an inequality for linear operator using minimal eigenvalue2016
- 著者名/発表者名
  Kouta Sekine, Kazuaki Tanaka, and Shin'ichi Oishi
- 学会等名
  Nonlinear Analysis and Optimization(NAO-Asia 2016)
- 発表場所
  Toki Messe in Niigata
- 年月日
  2016-08-02
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] ”Delaunay三角形分割の精度保証付き数値計算手法に対する考察(ポスター講演)2016
- 著者名/発表者名
  若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一
- 学会等名
  2016年日本応用数理学会年会
- 発表場所
  北九州国際会議場
- 年月日
  2016-09-13
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] Numerically verifiable condition for positivity of solution to elliptic equation2016
- 著者名/発表者名
  Kazuaki Tanaka, Kouta Sekine, and Shin'ichi Oishi
- 学会等名
  The 11th East Asia SIAM Conference
- 発表場所
  University of Macau
- 年月日
  2016-06-20
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] A norm estimation for an inverse of linear operator using a minimal eigenvalue2016
- 著者名/発表者名
  Kouta Sekine, Kazuaki Tanaka, and Shin'ichi Oishi
- 学会等名
  17th GAMM-IMACS International Symposium on Scientific Computing
- 発表場所
  Sweden
- 年月日
  2016-09-28
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] CUDAの丸めモード指定演算を用いた行列積の高速な包含方法2016
- 著者名/発表者名
  森倉悠介, 野澤優介, 関根晃太, 柏木雅英, 大石進一
- 学会等名
  2016年日本応用数理学会年会
- 発表場所
  北九州国際会議場
- 年月日
  2016-09-14
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] Fast enclosure for matrix multiplication on a GPU2016
- 著者名/発表者名
  Yusuke Morikura, Yusuke Nozawa, Kouta Sekine, Masahide Kashiwagi, and Shin'ichi Oishi
- 学会等名
  17th GAMM-IMACS International Symposium on Scientific Computing
- 発表場所
  Sweden
- 年月日
  2016-09-27
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] 一次元領域における非線形各参考を伴う方程式の定常解に対する精度保証付き数値計算法(ポスター講演)2016
- 著者名/発表者名
  木村翔矢, 関根晃太, 大石進一
- 学会等名
  2016年日本応用数理学会年会
- 発表場所
  北九州国際会議場
- 年月日
  2016-09-13
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] 部分積分とEuler-Maclaurinの公式を用いたベキ型特異点を持つ関数の精度保証付き数値積分2016
- 著者名/発表者名
  小林領, 関根晃太, 柏木雅英, 大石進一
- 学会等名
  2016年日本応用数理学会年会
- 発表場所
  北九州国際会議場
- 年月日
  2016-09-14
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] 偏微分方程式の解に対する精度保証付き数値計算法について2016
- 著者名/発表者名
  関根晃太
- 学会等名
  早稲田大学理工学研究所「精度保証付きワークショップ」
- 発表場所
  北九州国際会議場
- 年月日
  2016-09-12
- 招待講演
- データソース
  KAKENHI-PROJECT-16K17651
[学会発表] On verified numerical computation for positive solutions to elliptic boundary value problems2016
- 著者名/発表者名
  Kazuaki Tanaka, Kouta Sekine, and Shin'ichi Oishi
- 学会等名
  17th GAMM-IMACS International Symposium on Scientific Computing
- 発表場所
  Sweden
- 年月日
  2016-09-28
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K17651

1. 劉雪峰 (50571220)

共同の研究課題数: 1件

共同の研究成果数: 0件
2. 荻田武史 (00339615)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 中尾充宏 (10136418)

共同の研究課題数: 1件

共同の研究成果数: 2件
4. 小林健太 (60432902)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 渡部善隆 (90243972)

共同の研究課題数: 1件

共同の研究成果数: 0件

関根 晃太 Sekine Kouta

研究課題

研究成果

共同研究者

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

大規模な連立非線形楕円型偏微分方程式の解の存在性を検証する計算機援用証明法の開発研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[図書] 精度保証付き数値計算の基礎2018

著者名/発表者名

総ページ数

出版者

ISBN

データソース

[雑誌論文] 抽象的なHilbert空間の有限次元部分空間への直交射影の誤差に対する最良定数2024

著者名/発表者名

雑誌名

DOI

ISSN

言語

データソース

[雑誌論文] Sharp numerical inclusion of the best constant for embedding H10(Ω)->Lp(Ω) on bounded convex domain2017

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains2017

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] 有界な凸領域における連立楕円型偏微分方程式の解の計算機援用存在証明法2016

著者名/発表者名

雑誌名

データソース

[学会発表] AVX-512を用いた高速な区間FMAの実装法2024

著者名/発表者名

学会等名

データソース

[学会発表] 発展作用素を用いた初期値問題の精度保証付き数値計算～単調性を用いた爆発解検証への適用について～2024

著者名/発表者名

学会等名

データソース

[学会発表] 放物型方程式の全離散近似解に対する定量的な誤差評価2023

著者名/発表者名

学会等名

データソース

[学会発表] The best constants for the projection error on triplet Hilbert spaces2023

著者名/発表者名

学会等名

データソース

[学会発表] 反応拡散方程式系のDirichlet境界値問題の定常解に対する計算機援用存在証明法2019

著者名/発表者名

学会等名

データソース

[学会発表] Estimation of Sobolev embedding constant on a bounded convex domain2018

著者名/発表者名

学会等名

データソース

[学会発表] 線形化作用素の逆作用素のノルム評価を利用しない楕円型偏微分方程式の解に対する計算機援用証明法2018

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

関根晃太 Sekine Kouta