Takayasu Akitoshi
- Affiliation
- Institute of Systems and Information Engineering
- Official title
- Assistant Professor
- URL
- =7$.,726+,FUQ5,6.O768.8%$O$&O-3
- Research fields
Foundations of mathematics/Applied mathematics Computational science - Research keywords
Numerical analysis Rigorous numerics Infinite dimensional dynamical systems - Research projects
無限次元力学系に対する厳密な数値求積法の研究 2022-04 -- 2026-03 高安亮紀 日本学術振興会/科学研究費補助金 基盤研究(C) 無限次元力学系に対する計算機援用証明を通した国際共同研究 2021-04 -- 2024-03 Akitoshi Takayasu Japan Science and Technology Agency/研究+αの活動支援プログラム 双曲型偏微分方程式に対する解の精度保証付き数値計算理論の研究 2018-04 -- 2022-03 高安亮紀 Japan Society of for the Promotion of Science/Grant-in-Aid for Early-Career Scientists 非線形放物型方程式に対する解の精度保証付き数値計算理論の研究 2015-04 -- 2018-03 高安亮紀 Japan Society of for the Promotion of Science/Grant-in-Aid for Scientific Research - Degree
2012-03-15 博士(理学) 早稲田大学 - Academic societies
2012 -- (current) The Mathematical Society of Japan 2011 -- 2021 JAPAN SOCIETY FOR SIMULATION TECHNOLOGY 2009 -- (current) The Japan Society for Industrial and Applied Mathematics - Honors & Awards
2017-09 日本応用数理学会2017年度年会最優秀賞ポスター賞 2016-10 JSST 2016 Outstanding Presentation Award 2016-06 2015年度若手優秀講演賞 2016-04 第4回 WASEDA e-Teaching Award 2011-10 日本シミュレーション学会奨励賞 2011-06 EASIAM 2011 Student Paper Competition 3rd Prize 2009 第20回大川功記念論文賞 - Articles
- Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature
Lessard Jean-Philippe; Matsue Kaname; Takayasu Akitoshi
Journal of Nonlinear Science volume/33, 2023-03 - Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems
Akira Imakura; Keiichi Morikuni; Akitoshi Takayasu
Journal of Computational and Applied Mathematics/424, 2023-05 - Complex moment-based methods for differential eigenvalue problems
Imakura Akira; Morikuni Keiichi; Takayasu Akitoshi
Numerical Algorithms/92/pp.693-721, 2023-01 - Rigorous numerics for nonlinear heat equations in the complex plane of time
Takayasu Akitoshi; Lessard Jean-Philippe; Jaquette Jonat...
NUMERISCHE MATHEMATIK/151(3)/pp.693-750, 2022-05 - Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity
Jaquette Jonathan; Lessard Jean-Philippe; Takayasu Akitoshi
Communications in Nonlinear Science and Numerical Simulation/107, 2022-04 - Global dynamics in nonconservative nonlinear Schrödinger equations
Jaquette Jonathan; Lessard Jean-Philippe; Takayasu Akitoshi
Advances in Mathematics/398, 2022-03 - Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity
Matsue Kaname; Takayasu Akitoshi
Journal of Computational and Applied Mathematics/374, 2020-08 - Numerical validation of blow-up solutions with quasi-homogeneous compactifications
Matsue Kaname; Takayasu Akitoshi
NUMERISCHE MATHEMATIK/145(3)/pp.605-654, 2020-07 - A computer-assisted proof for nonlinear heat equations in the complex plane time
Takayasu Akitoshi
RIMS Kôkyûroku Bessatsu/B82/pp.47-66, 2020 - Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems
Imakura A.; Morikuni K.; Takayasu A.
Journal of Computational and Applied Mathematics/369(1), 2019-10 - Behavior of Solutions of Model-Free Prediction of the Differential Equation describing the Phenomenon using RNN
木南 優希; 遠藤 靖典; 高安 亮紀
Proceedings of the Fuzzy System Symposium/35/pp.185-190, 2019 - Model Free Prediction Using RNN for Behavior of the solution of Duffing Equation
野澤 健三; 遠藤 靖典; 高安 亮紀
Proceedings of the Fuzzy System Symposium/35/pp.179-184, 2019 - Rigorous numerical computations for 1D advection equations with variable coefficients
Takayasu Akitoshi; Yoon Suro; Endo Yasunori
Japan Journal of Industrial and Applied Mathematics/36(2)/pp.357-384, 2019-07 - Accurate method of verified computing for solutions of semilinear heat equations
Takayasu Akitoshi; Mizuguchi Makoto; Kubo Takayuki; Shin'...
Reliable computing/25/pp.74-99, 2017-07 - A method of verified computations for solutions to semilinear parabolic equations using semigroup theory
Mizuguchi Makoto; Takayasu Akitoshi; Kubo Takayuki; Oishi...
SIAM Journal on Numerical Analysis/55(2)/pp.980-1001, 2017-04 - Numerical verification for existence of a global-in-time solution to semilinear parabolic equations
Mizuguchi Makoto; Takayasu Akitoshi; Kubo Takayuki; Oishi...
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS/315/pp.1-16, 2017-05 - Numerical validation of blow-up solutions of ordinary differential equations
Takayasu Akitoshi; Matsue Kaname; Sasaki Takiko; Tanaka ...
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS/314/pp.10-29, 2017-04 - On the embedding constant of the Sobolev type inequality for fractional derivatives
Mizuguchi Makoto; Takayasu Akitoshi; Kubo Takayuki; Oishi...
Nonlinear Theory and Its Applications, IEICE/7(3)/pp.386-394, 2016-07 - Verified computations for hyperbolic 3-manifolds
Hoffman Neil; Ichihara Kazuhiro; Kashiwagi Masahide; Masai H...
Experimental Mathematics/25(1)/pp.66-78, 2015-10 - 一般化エルミート固有値問題の周回積分型精度保証付き部分固有値計算
今倉 暁; 保國 惠一; 高安 亮紀
日本応用数理学会2018年度年会 予稿集/pp.189-190, 2018-09 - スイッチトリラクタンスモータのインダクタンスに及ぼす巻線角度の影響
高橋勇人; 新宅勇一; 高安亮紀; 高橋徹
電気学会全国大会/(5-063 ), 2018-03 - 擬斉次コンパクト化を利用する爆発解の精度保証付き数値計算
高安 亮紀; 松江 要
2017年度応用数学合同研究集会 講演予稿集, 2017-12 - Fourier-Chebyshevスペクトル法を用いた変数係数1次元移流方程式の精度保証付き解法
高安 亮紀; 尹 授老; 遠藤 靖典
Book of Abstracts, 46th Numerical Analysis Symposium (NAS2017)/pp.111-114, 2017-06 - Verified Partial Eigenvalue Computation for Generalized Hermitian Eigenproblems Using Contour Integrals
今倉 暁 (Imakura A.); 保國 惠一 (Morikuni K.); 高安 亮紀 (Takayasu A.)
Book of Abstracts, 47th Numerical Analysis Symposium (NAS2018)/pp.1-4, 2018-06 - Influence of Stator Pole on Magnetic Field Distribution of Switched Reluctance Motor
Takahashi Toru; Shintaku Yuichi; Takayasu Akitoshi
Proceedings of 24th International Conference on Electrical Engineering, 2017-07 - more...
- Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature
- Books
- 非線形方程式の精度保証付き数値解法
高安 亮紀
精度保証付き数値計算の基礎/pp.136-164, 2018-07
- 非線形方程式の精度保証付き数値解法
- Conference, etc.
- 常微分方程式の爆発解の漸近展開と無限遠ダイナミクスの対応
松江要; 落合啓之; 小谷久寿; 高安 亮紀
日本数学会2023年度年会/2023-03-17--2023-03-17 - あるK3曲面族についてのPicard-Fuchs微分方程式のモノドロミーに対する精度保証付き数値計算
石毛利昌; 高安 亮紀
日本数学会2023年度年会/2023-03-17--2023-03-17 - チェビシェフ補間の厳密な求根方法のJulia言語を用いた高速実装
二平泰知; 近藤慎佑; 高安 亮紀
日本応用数理学会若手の会 第8回学生研究発表会/2023-03-11--2023-03-11 - 遅延Duffing方程式の結合系に対する同期周期解の精度保証付き数値計算
高橋和暉; 高安 亮紀
日本応用数理学会若手の会 第8回学生研究発表会/2023-03-11--2023-03-11 - Julia 言語を用いた周回積分型固有値解法の並列実装と性能評価
瀬戸翔太; 高安 亮紀
日本応用数理学会若手の会 第8回学生研究発表会/2023-03-11--2023-03-11 - ジブロック共重合体モデルの厳密な数値求積法
高安 亮紀
日本応用数理学会 第19回 研究部会連合発表会/2023-03-08--2023-03-08 - 精度保証付き数値計算の実装環境の現状 - MATLAB, Julia, C++ -
高安 亮紀
第1回区間解析研究会/2023-01-06--2023-01-06 - 常微分方程式の爆発解の漸近展開と無限遠ダイナミクスの対応
松江要; 落合啓之; 小谷久寿; 高安 亮紀
2022年度応用数学合同研究集会/2022-12-15--2022-12-15 - 半群理論に基づく一般的な時間発展方程式に対する厳密な数値求積法
高安 亮紀
2022年度応用数学合同研究集会/2022-12-15--2022-12-15 - 無限次元固有値問題に対する複素モーメント型解法とその性能評価
今倉暁; 保國惠一; 高安 亮紀
日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第34回研究会/2022-12-06--2022-12-06 - 遅延Duffing方程式の結合系の完全同期解に対する精度保証付き数値計算
高橋和暉; 高安 亮紀
RIMS 共同研究(公開型)時間遅れ系と数理科学:理論と応用の新たな展開に向けて/2022-11-17--2022-11-17 - 時間発展方程式に対する厳密な数値求積法の最近の進展
高安 亮紀
RIMS 共同研究(公開型)数値解析が拓く次世代情報社会~エッジから富岳まで~/2022-10-14--2022-10-14 - A general approach for rigorously integrating PDEs using semigroup theory
Takayasu Akitoshi
CRM Applied Mathematics Seminars/2022-09-27--2022-09-27 - 一般化エルミート固有値問題に対するRayleigh-Ritz版の周回積分型精度保証付き部分固有対計算
今倉暁; 保國惠一; 高安 亮紀
日本応用数理学会2022年度年会/2022-09-10--2022-09-10 - 遅延Duffing方程式の結合系に対する同期解の精度保証付き数値計算
高橋和暉; 高安 亮紀
日本応用数理学会2022年度年会/2022-09-10--2022-09-10 - Chebyshev補間の最大値最小値の精度保証付き数値計算
近藤慎佑; 高安 亮紀
日本応用数理学会2022年度年会/2022-09-10--2022-09-10 - Rigorous integrator for higher spatial dimensional PDEs
Takayasu Akitoshi; Lessard Jean-Philippe
SIAM Conference on Nonlinear Waves and Coherent Structures (NWCS22)/2022-09-01--2022-09-01 - Chebyshev interpolation for rigorous integrator of differential equations
Takayasu Akitoshi
International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)/2022-03-14--2022-03-14 - Julia言語を用いたChebyshev補間とその応用
近藤慎佑; 高安 亮紀
日本応用数理学会若手の会 第7回学生研究発表会/2022-03-10--2022-03-10 - Julia言語を用いた常微分方程式の周期解の精度保証付き数値計算
高橋和暉; 高安 亮紀
日本応用数理学会若手の会 第7回学生研究発表会/2022-03-10--2022-03-10 - ベッセル関数のType-ll PSAの計算について
宮内洋明; 高安 亮紀; 柏木雅英; 浅井大晴
日本応用数理学会 第18回 研究部会連合発表会/2022-03-08--2022-03-08 - フーリエスペクトル法を用いた遅延Duffing方程式の周期解の精度保証付き数値計算について
市川葵; 高安 亮紀
日本応用数理学会 第18回 研究部会連合発表会/2022-03-08--2022-03-08 - Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity
高安 亮紀
2021年度応用数学合同研究集会/2021-12-17--2021-12-17 - Julia言語を用いた精度保証付き数値計算の実践
高安 亮紀
第5回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2021) - ある連立遅延微分方程式系の星形周期解ー数値的根拠と精度保証ー
高安 亮紀
RIMS 共同研究(公開型)時間遅れ系と数理科学:理論と応用の新たな展開に向けて/2021-11-18--2021-11-18 - more...
- 常微分方程式の爆発解の漸近展開と無限遠ダイナミクスの対応
- Teaching
2022-04 -- (current) Research in Risk Engineering II University of Tsukuba. 2022-10 -- (current) Internship B in Risk and Resilience Engineering in Master's Program University of Tsukuba. 2022-04 -- (current) Internship B in Risk and Resilience Engineering in Master's Program University of Tsukuba. 2022-04 -- (current) Internship B in Risk Engineering in Doctoral Program University of Tsukuba. 2022-10 -- (current) Internship B in Risk Engineering in Doctoral Program University of Tsukuba. 2022-10 -- (current) Fundamentals of Risk Engineering University of Tsukuba. 2022-10 -- (current) Advanced Group Project Based Learning in Risk and Resilience Engineering University of Tsukuba. 2022-04 -- (current) Advanced Group Project Based Learning in Risk and Resilience Engineering University of Tsukuba. 2022-04 -- (current) Research in Risk Engineering I University of Tsukuba. 2022-10 -- (current) Research in Risk Engineering I University of Tsukuba. more...
(Last updated: 2023-05-11)