Research Experience
-
2023.04-Now
Waseda University Faculty of Science and Engineering
Details of a Researcher
Updated on 2024/12/21
Waseda University Faculty of Science and Engineering
Waseda University Graduate School of Fundamental Science and Engineering
Waseda University Graduate School of Fundamental Science and Engineering
Waseda University School of Fundamental Science and Engineering
日本応用数理学会
感謝状
2024.09 日本応用数理学会 第10回国際産業数理・応用数理会議(ICIAM2023)のSecretary(Local Arrangement)として献身ご尽力され会議の開催に多大な貢献されました
小野梓記念学術賞
2023.03
大川功記念特別優秀賞
2022
Student Presentation Award
2019.11 JSST2019 International Conference
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.01
エノン型方程式の解の多重性の考察: 全解探索アプローチの適用
浅井大晴, 田中一成, 田中敏, 大石進一 [Invited]
RIMS共同研究(公開型)「計算科学に資する数値解析学の展開」
Presentation date: 2024.10
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
Presentation date: 2024.09
計算機援用によるエノン型方程式の正値対称解の多重性解析
浅井大晴, 田中一成, 大石進一
日本応用数理学会2024年度年会
Presentation date: 2024.09
エノン型方程式の正値対称解の多重性に関する考察-計算機援用アプローチ
浅井大晴, 田中一成, 大石進一 [Invited]
RIMS共同研究(公開型)「新時代における高性能科学技術計算法の探究」
Presentation date: 2023.10
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)
Presentation date: 2023.08
Batt-Faltenbacher-Horst方程式の解の精度保証付き数値計算
多田秀介, 浅井大晴, 田中一成, 大石進一
日本応用数理学会2022年度年会
Presentation date: 2022.09
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)
Presentation date: 2022.08
常微分方程式の爆発解の複数項漸近展開
松江要, 落合啓之, 小谷久寿, 佐々木多希子, 浅井大晴
日本数学会2022年度年会
Presentation date: 2022.03
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)
Presentation date: 2022.03
ベッセル関数のType-ll PSAの計算について
宮内洋明, 高安亮紀, 柏木雅英, 浅井大晴
第18回(2021年度)日本応用数理学会研究部会連合発表会
Presentation date: 2022.03
常微分方程式の爆発解の複数項漸近展開
松江要, 落合啓之, 小谷久寿, 佐々木多希子, 浅井大晴
2021年度応用数学合同研究集会
Presentation date: 2021.12
精度保証付き数値計算を用いた1次元エノン方程式の分岐図の解析
浅井大晴, 田中一成, 関根晃太, 大石進一 [Invited]
第5回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2021)
Presentation date: 2021.11
精度保証付き数値計算を用いた1次元エノン型方程式に対する分岐解析
浅井大晴, 田中一成, 関根晃太, 大石進一 [Invited]
RIMS共同研究(公開型)「常微分方程式の定性的理論とその応用」
Presentation date: 2021.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)
Presentation date: 2021.09
1次元エノン方程式の分岐図に対する計算機援用解析
浅井大晴, 田中一成, 大石進一
日本応用数理学会2021年度年会
Presentation date: 2021.09
Numerical verification for positive solutions of the Hénon equation on some bounded domain
Taisei Asai, Kazuaki Tanaka, Shin’ichi Oishi
The 40th JSST Annual International Conference on Simulation Technology
Presentation date: 2021.09
特異関数を用いた1次元エノン方程式の解の精度保証付き数値計算
浅井大晴, 田中一成, 大石進一
応用数理学会2021年研究部会連合発表会
Presentation date: 2021.03
精度保証付き数値計算を用いたHénon方程式の対称性に関する考察
浅井大晴, 田中一成, 大石進一 [Invited]
精度保証付き数値計算の実問題への応用研究集会 (NVR 2020)
Presentation date: 2020.11
楕円型境界値問題に対する解符号の事後検証法
田中一成, 浅井大晴
日本応用数理学会2020年度年会
Presentation date: 2020.09
精度保証付き数値計算を用いたHenon方程式の多重解の存在証明
浅井大晴, 田中一成, 大石進一
日本応用数理学会2020年度年会
Presentation date: 2020.09
Existence proofs for asymmetric solutions of Hénon equation using verified numerical computations
Taisei Asai, Kazuaki Tanaka, Shin’ichi Oishi
International Workshop on the Verified Numerical Computations and its Applications (INVA)
精度保証付き数値計算を用いた Henon 方程式の非対称解の存在証明
浅井大晴, 田中一成, 大石進一
2019年度応用数学合同研究集会
Presentation date: 2019.12
Numerical verification for asymmetric solutions of the Henon equation
Taisei Asai, Kazuaki Tanaka, Shin’ichi Oishi
The 38th JSST Annual International Conference on Simulation Technology
Presentation date: 2019.11
Henon方程式の非対称解に対する精度保証付き数値計算
浅井大晴, 田中一成, 大石進一
日本応用数理学会2019年度年会
Construction of an automatic search tool with verification for mathematical models with singularity
Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research
Project Year :
高精度な熱拡散シミュレーションのためのベッセル関数の精度保証付き数値計算
早稲田大学 理工学術院総合研究所 若手研究者育成・支援事業 第12期アーリーバードプログラム
Project Year :
内部特異性を持つ現象に対する精度保証付き数値計算を用いた予測解析法の開発
早稲田大学 早稲田オープン・イノベーション・エコシステム挑戦的研究プログラム(W-SPRING)
Project Year :
回転する天体の内部構造シミュレーションのための特異関数を用いた精度保証付き数値計算
早稲田大学 理工学術院総合研究所 若手研究者育成・支援事業 第10期アーリーバードプログラム
Project Year :
Science and Engineering Laboratory 1A
School of Fundamental Science and Engineering
2024 spring semester
Exercises in Modern Mathematics [S Grade]
School of Fundamental Science and Engineering
2024 fall semester
現代数学演習
理工学基礎実験1A(物理)
数学B1(微分積分)
数学A1(線形代数)
学会誌『応用数理』編集委員
Executive Committee, Secretary ,10th International Congress on Industrial and Applied Mathematics(ICIAM2023)
Student Staff of International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)
Click to view the Scopus page. The data was downloaded from Scopus API in December 20, 2024, via http://api.elsevier.com and http://www.scopus.com .