• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Sekine Kouta  関根 晃太

Researcher Number 80732239
Other IDs
  • ORCIDhttps://orcid.org/0000-0002-9201-0964
Affiliation (Current) 2025: 千葉工業大学, 情報変革科学部, 准教授
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
  • Research Projects

    (3 results)
  • Research Products

    (32 results)
  • Co-Researchers

    (5 People)
  •  関数方程式の解に対する効率的な計算機援用「非」存在証明法の開発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 2024 2023 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] The Best Constant for Error in Orthogonal Projection onto Finite-dimensional Subspaces of Abstract Hilbert Spaces2024

    • Author(s)
      高橋 宗久, 関根 晃太, 水口 信
    • Journal Title

      Transactions of the Japan Society for Industrial and Applied Mathematics

      Volume: 34 Issue: 1 Pages: 19-32

    • DOI

      10.11540/jsiamt.34.1_19

    • ISSN
      2424-0982
    • Language
      Japanese
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-23K13018, KAKENHI-PROJECT-23K03237
  • [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] AVX-512を用いた高速な区間FMAの実装法2024

    • Author(s)
      佐々木 勇太朗, 関根 晃太, 柏木 雅英
    • Organizer
      日本応用数理学会 研究部会連合発表会
    • Data Source
      KAKENHI-PROJECT-23K03237
  • [Presentation] 発展作用素を用いた初期値問題の精度保証付き数値計算~単調性を用いた爆発解検証への適用について~2024

    • Author(s)
      橋本 弘治, 水口 信, 関根 晃太, 中尾 充宏
    • Organizer
      日本応用数理学会第20回研究部会連合発表会
    • Data Source
      KAKENHI-PROJECT-23K20810
  • [Presentation] 放物型方程式の全離散近似解に対する定量的な誤差評価2023

    • Author(s)
      水口 信, 中尾充宏, 橋本弘治, 関根晃太, 大石進一
    • Organizer
      日本数学会 秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-23K20810
  • [Presentation] The best constants for the projection error on triplet Hilbert spaces2023

    • Author(s)
      Munehisa Takahashi, Kouta Sekine and Makoto Mizuguchi
    • Organizer
      Japan Society for Simulation Technology (JSST2023)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K03237
  • [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: 2 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

URL: 

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi