Sekine Kouta 関根晃太

Researcher Number	80732239
Other IDs	https://orcid.org/0000-0002-9201-0964
Affiliation (Current)	2024: 千葉工業大学, 情報変革科学部, 准教授
Affiliation (based on the past Project Information) *help	2024: 千葉工業大学, 情報変革科学部, 准教授 2021 – 2023: 千葉工業大学, 情報科学部, 准教授 2017 – 2018: 東洋大学, 情報連携学部, 助教 2016: 早稲田大学, 理工学術院, 助教
Review Section/Research Field	Principal Investigator Basic Section 12040:Applied mathematics and statistics-related / Foundations of mathematics/Applied mathematics Except Principal Investigator Basic Section 12040:Applied mathematics and statistics-related
Keywords	Principal Investigator 計算機援用証明法 / 関数方程式 / 解の非存在証明 / 精度保証数値計算 / 応用数学 / 分数冪 / 連立非線形楕円型偏微分方程式 / ラプラス作用素の分数冪 / 固有値問題 / 線形化作用素 … More / 計算機援用存在証明法 / 数値解析 / 楕円型偏微分方程式 / 精度保証付き数値計算 … More Except Principal Investigator 有限要素法 / 並列計算 / 鞍点型の固有値問題 / 非自己共役作用素 / 計算機援用証明法 / ナビエ・ストークス方程式の定常解 / Hypercircle法 / Divergence-free条件 / 精度保証付き数値計算 / 固有値問題の厳密評価 / 厳密計算ライブラリ / 計算機援用証明 / ナビエ・ストークス方程式 Less

関数方程式の解に対する効率的な計算機援用「非」存在証明法の開発Principal Investigator
- Principal Investigator
  
  関根晃太
- Project Period (FY)
  2023 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  Chiba Institute of Technology
Computer-assisted solution verification for 3D flows with large Reynolds numbers
- Principal Investigator
  
  劉雪峰
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  Tokyo Woman's Christian University
  Niigata University
Development of a computer-assisted proof method to verify the existence of solutions for systems to large-scale nonlinear elliptic partial differential equationsPrincipal Investigator
- Principal Investigator
  
  Sekine Kouta
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Toyo University
  Waseda University

All 2019 2018 2017 2016

All Journal Article Presentation Book

[Book] 精度保証付き数値計算の基礎2018
- Author(s)
  大石進一，荻田武史，柏木雅英，劉雪峰，尾崎克久，山中脩也，高安亮紀，関根晃太，木村拓馬，市原一裕，正井秀俊，森倉悠介，Siegfried M. Rump
- Total Pages
  311
- Publisher
  コロナ社
- ISBN
  9784339028874
- Data Source
  KAKENHI-PROJECT-16K17651
[Journal Article] Sharp numerical inclusion of the best constant for embedding H10(Ω)->Lp(Ω) on bounded convex domain2017
- Author(s)
  Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, and Shin'ichi Oishi
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: Vol.311 Pages: 306-313
- DOI
  10.1016/j.cam.2016.07.021
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-16K17651
[Journal Article] Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains2017
- Author(s)
  Mizuguchi Makoto、Tanaka Kazuaki、Sekine Kouta、Oishi Shin’ichi
- Journal Title
  
  Journal of Inequalities and Applications
  
  Volume: 2017 Issue: 1 Pages: 1-18
- DOI
  10.1186/s13660-017-1571-0
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K17651, KAKENHI-PROJECT-17H07188
[Journal Article] 有界な凸領域における連立楕円型偏微分方程式の解の計算機援用存在証明法2016
- Author(s)
  関根晃太, 田中一成, 大石進一
- Journal Title
  
  Proceedings of the Twenty-Eighth RAMP Stmposium
  
  Volume: 28th Pages: 77-94
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] 反応拡散方程式系のDirichlet境界値問題の定常解に対する計算機援用存在証明法2019
- Author(s)
  関根晃太
- Organizer
  若手数学者交流会
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] Estimation of Sobolev embedding constant on a bounded convex domain2018
- Author(s)
  Makoto Mizuguchi, Kazuaki Tanaka, Kouta Sekine, and Shin'ichi Oishi
- Organizer
  18th GAMM-IMACS International Symposium on Scientific Computing
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] 線形化作用素の逆作用素のノルム評価を利用しない楕円型偏微分方程式の解に対する計算機援用証明法2018
- Author(s)
  関根晃太, 中尾充宏
- Organizer
  第2回精度保証付き数値計算の実問題への応用研究集会
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] 偏微分方程式の解の計算機援用存在証明法のためのC++を用いた精度保証付き数値計算ライブラリの構築2018
- Author(s)
  関根晃太
- Organizer
  第59回プログラミング・シンポジウム
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] 半線形熱方程式の解の精度保証付き数値計算法について2018
- Author(s)
  水口信, 関根晃太, 中尾充宏
- Organizer
  第2回精度保証付き数値計算の実問題への応用研究集会
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] Verified numerical integration for function with power-type singularity using partial integration2017
- Author(s)
  Ryo Kobayashi, Kouta Sekine, Masahide Kashiwagi, and Shin'ichi Oishi
- Organizer
  The International Workshop on Numerical Verification and its Applications (INVA2017)
- Place of Presentation
  Miyako Island in Okinawa
- Year and Date
  2017-03-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] C++11によるポリシーを導入した数値線形代数クラスの作成とその応用2017
- Author(s)
  関根晃太
- Organizer
  第1回精度保証付き数値計算の実問題への応用研究集会
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] Numerical method for estimationg the best constant in Sobolev type inequality on unit square2017
- Author(s)
  Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, and Shin'ichi Oishi
- Organizer
  The International Workshop on Numerical Verification and its Applications (INVA2017)
- Place of Presentation
  Miyako Island in Okinawa
- Year and Date
  2017-03-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] A numerical verification method for solutions to systems of parabolic equations2017
- Author(s)
  Makoto Mizuguchi, Kouta Sekine, and Shin'ichi Oishi
- Organizer
  The International Workshop on Numerical Verification and its Applications (INVA2017)
- Place of Presentation
  Miyako Island in Okinawa
- Year and Date
  2017-03-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] Verified quadrature for integrand with power-type singularity using partial integral2017
- Author(s)
  Ryo Kobayashi, Kouta Sekine, Masahide Kashiwagi, and Shin'ichi Oishi
- Organizer
  ANZIAM 2017
- Place of Presentation
  Adelaide in Australia
- Year and Date
  2017-02-06
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] 前処理ソート付き逐次添加法によるドロネー性保証付き三角形分割法2017
- Author(s)
  若山馨太, 金子直樹, 田中一成, 関根晃太, 尾崎克久, 大石進一
- Organizer
  2017年日本応用数理学会年会
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] Lotka-Volterra型偏微分方程式の初期値境界値問題の解に対する精度保証付き数値計算法について2016
- Author(s)
  水口信, 関根晃太,大石進一
- Organizer
  2016年日本応用数理学会年会
- Place of Presentation
  北九州国際会議場
- Year and Date
  2016-09-14
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] Verification algorithm for enclosing a mild solution of semilinear heat equations2016
- Author(s)
  Makoto Mizuguchi, Kouta Sekine, Akitoshi Takayasu, Takayuki Kubo, and Shin'ichi Oishi
- Organizer
  Nonlinear Analysis and Optimization(NAO-Asia 2016)
- Place of Presentation
  Toki Messe in Niigata
- Year and Date
  2016-08-02
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] Estimation for optimal constant satisfying an inequality for linear operator using minimal eigenvalue2016
- Author(s)
  Kouta Sekine, Kazuaki Tanaka, and Shin'ichi Oishi
- Organizer
  Nonlinear Analysis and Optimization(NAO-Asia 2016)
- Place of Presentation
  Toki Messe in Niigata
- Year and Date
  2016-08-02
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] ”Delaunay三角形分割の精度保証付き数値計算手法に対する考察(ポスター講演)2016
- Author(s)
  若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一
- Organizer
  2016年日本応用数理学会年会
- Place of Presentation
  北九州国際会議場
- Year and Date
  2016-09-13
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] Numerically verifiable condition for positivity of solution to elliptic equation2016
- Author(s)
  Kazuaki Tanaka, Kouta Sekine, and Shin'ichi Oishi
- Organizer
  The 11th East Asia SIAM Conference
- Place of Presentation
  University of Macau
- Year and Date
  2016-06-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] A norm estimation for an inverse of linear operator using a minimal eigenvalue2016
- Author(s)
  Kouta Sekine, Kazuaki Tanaka, and Shin'ichi Oishi
- Organizer
  17th GAMM-IMACS International Symposium on Scientific Computing
- Place of Presentation
  Sweden
- Year and Date
  2016-09-28
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] CUDAの丸めモード指定演算を用いた行列積の高速な包含方法2016
- Author(s)
  森倉悠介, 野澤優介, 関根晃太, 柏木雅英, 大石進一
- Organizer
  2016年日本応用数理学会年会
- Place of Presentation
  北九州国際会議場
- Year and Date
  2016-09-14
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] Fast enclosure for matrix multiplication on a GPU2016
- Author(s)
  Yusuke Morikura, Yusuke Nozawa, Kouta Sekine, Masahide Kashiwagi, and Shin'ichi Oishi
- Organizer
  17th GAMM-IMACS International Symposium on Scientific Computing
- Place of Presentation
  Sweden
- Year and Date
  2016-09-27
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] 一次元領域における非線形各参考を伴う方程式の定常解に対する精度保証付き数値計算法(ポスター講演)2016
- Author(s)
  木村翔矢, 関根晃太, 大石進一
- Organizer
  2016年日本応用数理学会年会
- Place of Presentation
  北九州国際会議場
- Year and Date
  2016-09-13
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] 部分積分とEuler-Maclaurinの公式を用いたベキ型特異点を持つ関数の精度保証付き数値積分2016
- Author(s)
  小林領, 関根晃太, 柏木雅英, 大石進一
- Organizer
  2016年日本応用数理学会年会
- Place of Presentation
  北九州国際会議場
- Year and Date
  2016-09-14
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] 偏微分方程式の解に対する精度保証付き数値計算法について2016
- Author(s)
  関根晃太
- Organizer
  早稲田大学理工学研究所「精度保証付きワークショップ」
- Place of Presentation
  北九州国際会議場
- Year and Date
  2016-09-12
- Invited
- Data Source
  KAKENHI-PROJECT-16K17651
[Presentation] On verified numerical computation for positive solutions to elliptic boundary value problems2016
- Author(s)
  Kazuaki Tanaka, Kouta Sekine, and Shin'ichi Oishi
- Organizer
  17th GAMM-IMACS International Symposium on Scientific Computing
- Place of Presentation
  Sweden
- Year and Date
  2016-09-28
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K17651

1. 劉雪峰 (50571220)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
2. 荻田武史 (00339615)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. 中尾充宏 (10136418)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 小林健太 (60432902)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 渡部善隆 (90243972)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Sekine Kouta 関根 晃太

Research Projects

Research Products

Co-Researchers

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Computer-assisted solution verification for 3D flows with large Reynolds numbers

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of a computer-assisted proof method to verify the existence of solutions for systems to large-scale nonlinear elliptic partial differential equationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Journal Article] Sharp numerical inclusion of the best constant for embedding H10(Ω)->Lp(Ω) on bounded convex domain2017

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains2017

Author(s)

Journal Title

DOI

Data Source

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

Author(s)

Journal Title

Data Source

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

Author(s)

Organizer

Data Source

[Presentation] Estimation of Sobolev embedding constant on a bounded convex domain2018

Author(s)

Organizer

Data Source

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

Author(s)

Organizer

Data Source

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

Author(s)

Organizer

Data Source

[Presentation] 半線形熱方程式の解の精度保証付き数値計算法について2018

Author(s)

Organizer

Data Source

[Presentation] Verified numerical integration for function with power-type singularity using partial integration2017

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] C++11によるポリシーを導入した数値線形代数クラスの作成とその応用2017

Author(s)

Organizer

Data Source

[Presentation] Numerical method for estimationg the best constant in Sobolev type inequality on unit square2017

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] A numerical verification method for solutions to systems of parabolic equations2017

Author(s)

Sekine Kouta 関根晃太