Taisei Asai received the Ph.D. degree in applied mathematics from Waseda University, Tokyo, Japan, in 2023. He is currently a Lecturer at the Center for Data Science, Yamagata University. His research interests include numerical analysis, verified numerical computation, computer-assisted proof, and nonlinear boundary value problems. He received the Student Presentation Award of the 38th JSST Annual Conference (International Conference on Simulation Technology) in 2019 and the Ono Azusa Memorial Academic Award in 2023.
Address: S703, 7th Floor, Advanced Science Experimental Building, Faculty of Science, Yamagata University,
1-4-12 Kojirakawa-machi, Yamagata-shi, Yamagata 990-8560, Japan
Tel.: +81- 23-628-4525
E-mail: captino__◎__ fuji.waseda.jp __◎__→@
asai__◎__ cc.yamagata-u.ac.jp __◎__→@
partial differential equations, numerical analysis, verified numerical computation, computer-assisted proof
None.
Taisei Asai, Kazuaki Tanaka, Shin'ichi Oishi: Numerical verification for asymmetric solutions of the Hénon equation on bounded domains, Journal of Computational and Applied Mathematics, 399, 113708 (2022). Journal (Open Access)
Kazuaki Tanaka, Taisei Asai: A posteriori verification of the positivity of solutions to elliptic boundary value problems, Partial Differential Equations and Application, 3, 9 (2022). Journal (Open Access)
Taisei Asai, Hisatoshi Kodani, Kaname Matsue, Hiroyuki Ochiai, Takiko Sasaki, Multi-order asymptotic expansion of blow-up solutions for autonomous ODEs: I. Method and justification, Nonlinearity, 38, 4 (2025) . Journal (Open Access)
Taisei Asai, Kazuaki Tanaka, Satoshi Tanaka and Shin'ichi Oishi: Verified Computation of All Positive Solutions to a Henon-Type Boundary Value Problem, 20th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2025), September 24, 2025.
Taisei Asai, Kazuaki Tanaka, and Shin’ichi Oishi: Numerical verification for multiple positive even solutions for the Hénon-type equation, The 43rd JSST Annual International Conference on Simulation Technology & The 23rd Asia Simulation Conference, September 17, 2024.
Taisei Asai, Kazuaki Tanaka, Shin’ichi Oishi: Verified Numerical Computations for multiple solutions of the Henon equation, 10th International Congress on Industrial and Applied Mathematics (ICIAM2023), Aug. 22, 2023
Kazuaki Tanaka, Kohei Yatabe, Taisei Asai, Sora Sawai: Rigorous simulation of reaction-diffusion models with neural networks, The 41st JSST Annual International Conference on Simulation Technology (JSST 2022), Online, Aug. 31, 2022.
Taisei Asai, Kazuaki Tanaka, Kouta Sekine and Shin'ichi Oishi: Computer-assisted analysis for the bifurcation phenomena of the one-dimensional Henon-type equation, International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022), March 16, 2022.
Taisei Asai, Kazuaki Tanaka, Kouta Sekine and Shin'ichi Oishi: Computer-assisted analysis for bifurcation diagrams of the one-dimensional Henon equation, The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2020), September 14, 2021.
Taisei Asai, Kazuaki Tanaka, and Shin’ichi Oishi: Numerical verification for positive solutions of the Hénon equation on some bounded domain, The 40th JSST Annual International Conference on Simulation Technology, September 2, 2021.
Existence proofs for asymmetric solutions of Hénon equation using verified numerical computations, International Workshop on the Verified Numerical Computations and its Applications (INVA), March 6-12, 2020 (conference cancelled).
Taisei Asai, Kazuaki Tanaka, and Shin’ichi Oishi: Numerical verification for asymmetric solutions of the Henon equation, The 38th JSST Annual International Conference on Simulation Technology, November 5th, 2019.
Student Presentation Award, JSST Annual International Conference on Simulation Technology, 2019．