Rchr
J-GLOBAL ID：202101020783604404
Update date: Mar. 28, 2024
Sekine Kouta
セキネ コウタ | Sekine Kouta
Affiliation and department：
Job title：
Associate Professor
Homepage URL (1)：
https://271.jp
Research keywords (4)：
計算機援用証明
, 偏微分方程式
, 数値解析
, 精度保証付き数値計算
Research theme for competitive and other funds (3)：
- 2023 - 2026 関数方程式の解に対する効率的な計算機援用「非」存在証明法の開発
- 2021 - 2025 Computer-assisted solution verification for 3D flows with large Reynolds numbers
- 2016 - 2019 Development of a computer-assisted proof method to verify the existence of solutions for systems to large-scale nonlinear elliptic partial differential equations
Papers (18)：
-
Munehisa Takahashi, Kouta Sekine, Makoto Mizuguchi. The Best Constant for Error in Orthogonal Projection onto Finite-dimensional Subspaces of Abstract Hilbert Spaces. Transactions of the Japan Society for Industrial and Applied Mathematics. 2024. 34. 1. 19-32
-
Yuki Miura, Shin'ichi Oishi, Kouta Sekine. Computer Assisted Existence Proof of Subharmonic Solutions for the Simultaneous Delayed El Nino Equation. Transactions of the Japan Society for Industrial and Applied Mathematics. 2024. 34. 1. 1-18
-
Nakano Natsuki, Sekine Kouta, Oishi Shin’ichi. Numerical Verification of Subharmonic Solutions in the Ikeda Delay Differential Equation with External Force Term. Transactions of the Japan Society for Industrial and Applied Mathematics. 2023. 33. 4. 132-148
-
Makoto Mizuguchi, Kouta Sekine, Kouji Hashimoto, Mitsuhiro T. Nakao, Shin’ichi Oishi. Rigorous numerical inclusion of the blow-up time for the Fujita-type equation. Japan Journal of Industrial and Applied Mathematics. 2022. 40. 1. 665-689
-
Kazuaki Tanaka, Michael Plum, Kouta Sekine, Masahide Kashiwagi, Shin'ichi Oishi. Rigorous Numerical Enclosures for Positive Solutions of Lane-Emden's Equation with Sub-Square Exponents. NUMERICAL FUNCTIONAL ANALYSIS AND OPTIMIZATION. 2022. 43. 3. 322-349
ｍore...
MISC (4)：
-
関根晃太. 偏微分方程式の解の計算機援用存在証明法のためのC++を用いた精度保証付き数値計算ライブラリの構築. 情報処理学会プログラミング・シンポジウム予稿集. 2018. 59th
-
Tanaka Kazuaki, Sekine Kouta, Oishi Shin'ichi. Numerical verification method for positivity of solutions to elliptic equations (Numerical Analysis : New Developments for Elucidating Interdisciplinary Problems II). 2017. 2037. 125-140
-
Computer-assisted existence proof method for solutions of elliptic partial differential equations using an infinite eigenvalue. 2017. 2037. 96-105
-
関根晃太, 田中一成, 大石進一. 有界な凸領域における連立楕円型偏微分方程式の解の計算機援用存在証明法. Proceedings of the Twenty-Eighth RAMP Symposium. 2016
Books (3)：
-
The Art of High Performance Computing for Computational Science, Vol. 1: Techniques of speedup and parallelization for genereal purposes
Springer 2019 ISBN:9789811361937
-
精度保証付き数値計算の基礎
コロナ社 2018 ISBN:9784339028874
-
計算科学のためのHPC技術
大阪大学出版会 2017 ISBN:9784872595864
Education (3)：
- 2011 - 2014 Waseda University
- 2009 - 2011 日本大学 生産工学研究科 (修士課程) 電気電子工学専攻
- 2005 - 2009 日本大学 生産工学部 電気電子工学科
Professional career (1)：
Work history (4)：
- 2021/09 - 現在 Chiba Institute of Technology
- 2017/04 - 2021/08 Toyo University
- 2015/04 - 2017/03 Waseda University
- 2014/04 - 2015/04 Waseda University
Committee career (4)：
- 2022/06 - 現在 日本応用数理学会 理事
- 2022/04 - 現在 日本応用数理学会 学会誌「応用数理」編集委員会
- 2021/04 - 現在 日本応用数理学会 「若手の会」研究部会 幹事
- 2017/04 - 現在 日本応用数理学会 ネットワーク委員会
Awards (3)：
- 2016/09 - 日本応用数理学会 優秀ポスター賞 一次元領域における非線形各参考を伴う方程式の定常解に対する精度保証付き数値計算法
- 2016/09 - 日本応用数理学会 優秀ポスター賞 Delaunay三角形分割の精度保証付き数値計算手法に対する考察
- 2012/09 - 日本応用数理学会 優秀ポスター賞 成分毎評価を用いた近似逆行列の精度保証法
Association Membership(s) (1)：
Return to Previous Page
