浅井大晴 (Taisei Asai) - マイポータル

基本情報

所属: 山形大学データサイエンス教育研究推進センター講師

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

研究者番号: 80979823
J-GLOBAL ID: 202401008496199215
researchmap会員ID: R000073813

研究キーワード

研究分野

自然科学一般 / 応用数学、統計数学 /

経歴

2025年10月 - 現在

山形大学, データサイエンス教育研究推進センター, 講師
2023年4月 - 2025年10月

早稲田大学, 理工学術院, 講師

学歴

2020年4月 - 2023年3月

早稲田大学, 大学院基幹理工学研究科, 数学応用数理専攻（博士後期課程）
2019年4月 - 2020年3月

早稲田大学, 大学院基幹理工学研究科, 数学応用数理専攻（修士課程）
2015年4月 - 2019年3月

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

受賞

論文

Multi-order asymptotic expansion of blow-up solutions for autonomous ODEs: I. Method and justification

Taisei Asai, Hisatoshi Kodani, Kaname Matsue, Hiroyuki Ochiai, Takiko Sasaki

NONLINEARITY 38(4) 2025年4月30日
A posteriori verification of the positivity of solutions to elliptic boundary value problems

Kazuaki Tanaka, Taisei Asai

Partial Differential Equations and Applications 3(1) 2022年1月3日
Numerical verification for asymmetric solutions of the Hénon equation on bounded domains

Taisei Asai, Kazuaki Tanaka, Shin’ichi Oishi

Journal of Computational and Applied Mathematics 399 113708-113708 2022年1月

講演・口頭発表等

精度保証付き数値計算と離散数理：計算機援用証明の基礎

浅井大晴

離散数理セミナー 2025年12月4日招待有り
Verified Computation of All Positive Solutions to a Henon-Type Boundary Value Problem

Taisei Asai, Kazuaki Tanaka, Satoshi Tanaka, Shin'ichi Oishi

20th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2025) 2025年9月24日
Constructing the Bessel function rigorously via the power series arithmetic

Hiroaki Miyauchi, Taisei Asai, Masahide Kashiwagi, Akitoshi Takayasu

20th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2025) 2025年9月22日
精度保証付き数値計算と離散数学：計算機援用証明の可能性

浅井大晴

2025年7月18日招待有り
Rigorous Numerical Computation: Bridging Verified Methods with Discrete Mathematics

浅井大晴

2025 早稲田離散数理研究集会 2025年3月16日招待有り
エノン型方程式の解の多重性の考察: 全解探索アプローチの適用

浅井大晴, 田中一成, 田中敏, 大石進一

RIMS共同研究（公開型）「計算科学に資する数値解析学の展開」 2024年10月25日招待有り
Numerical verification for multiple positive even solutions for the Hénon-type equation

Taisei Asai, Kazuaki Tanaka, Shin’ichi Oishi

The 43rd JSST Annual International Conference on Simulation Technology & The 23rd Asia Simulation Conference 2024年9月17日
計算機援用によるエノン型方程式の正値対称解の多重性解析

浅井大晴, 田中一成, 大石進一

日本応用数理学会2024年度年会 2024年9月16日
エノン型方程式の正値対称解の多重性に関する考察－計算機援用アプローチ

浅井大晴, 田中一成, 大石進一

RIMS共同研究（公開型）「新時代における高性能科学技術計算法の探究」 2023年10月19日招待有り
Verified Numerical Computations for multiple solutions of the Henon equation

Taisei Asai, Kazuaki Tanaka, Shin’ichi Oishi

10th International Congress on Industrial and Applied Mathematics (ICIAM2023) 2023年8月22日
Batt-Faltenbacher-Horst方程式の解の精度保証付き数値計算

多田秀介, 浅井大晴, 田中一成, 大石進一

日本応用数理学会2022年度年会 2022年9月10日
Rigorous simulation of reaction-diffusion models with neural networks

Kazuaki Tanaka, Kohei Yatabe, Taisei Asai, Sora Sawai

The 41st JSST Annual International Conference on Simulation Technology (JSST 2022) 2022年8月31日
常微分方程式の爆発解の複数項漸近展開

松江要, 落合啓之, 小谷久寿, 佐々木多希子, 浅井大晴

日本数学会2022年度年会 2022年3月30日
Computer-assisted analysis for the bifurcation phenomena of the one-dimensional Henon-type equation

Taisei Asai, Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi

International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022) 2022年3月16日
ベッセル関数のType-ll PSAの計算について

宮内洋明, 高安亮紀, 柏木雅英, 浅井大晴

第18回(2021年度)日本応用数理学会研究部会連合発表会 2022年3月8日
常微分方程式の爆発解の複数項漸近展開

松江要, 落合啓之, 小谷久寿, 佐々木多希子, 浅井大晴

2021年度応用数学合同研究集会 2021年12月17日
精度保証付き数値計算を用いた1次元エノン方程式の分岐図の解析

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

第5回精度保証付き数値計算の実問題への応用研究集会 (NVR 2021) 2021年11月28日招待有り
精度保証付き数値計算を用いた1次元エノン型方程式に対する分岐解析

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

RIMS共同研究（公開型）「常微分方程式の定性的理論とその応用」 2021年11月11日招待有り
Computer-assisted analysis for bifurcation diagrams of the one-dimensional Henon equation

Taisei Asai, Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi

The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2020) 2021年9月14日
1次元エノン方程式の分岐図に対する計算機援用解析

浅井大晴, 田中一成, 大石進一

日本応用数理学会2021年度年会 2021年9月9日