TAKAYASU Akitoshi
- Affiliation
- Institute of Systems and Information Engineering
- Official title
- Associate Professor
- ORCID
- 0009-0005-5087-4894
- URL
- ;9&0.948-.HWS7.80Q98:0:'&Q&(Q/5
- 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
2023-09 令和5年度 筑波大学若手教員奨励賞 2020-04 令和元年度システム情報系教育貢献賞 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
- Monodromy approach to pair production of charged black holes and electric fields
Chen Chiang-Mei; Ishige Toshimasa; Kim Sang Pyo; Takay...
CHINESE JOURNAL OF PHYSICS/86/pp.255-268, 2023-12 - 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 - 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/33(3), 2023-03 - Complex moment-based methods for differential eigenvalue problems
Imakura Akira; Morikuni Keiichi; Takayasu Akitoshi
NUMERICAL ALGORITHMS/92(1:SI)/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 - more...
- Monodromy approach to pair production of charged black holes and electric fields
- Books
- 非線形方程式の精度保証付き数値解法
高安 亮紀
精度保証付き数値計算の基礎/pp.136-164, 2018-07
- 非線形方程式の精度保証付き数値解法
- Conference, etc.
- Verified computation using complex moments for Mathieu and Schrödinger eigenvalue problems
Akira Imakura; Keiichi Morikuni; Akitoshi Takayasu
Nagoya International Workshop on Numerical Analysis 2024, Nagoya, Japan/2024-10-11--2024-10-11 - A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
Takayasu Akitoshi
Workshop of Computational Science and Information Engineering 2024 (SCIE2024)/2024-03-23--2024-03-23 - Julia言語を用いたヤコビ多項式による補間とその精度保証
阪田 智也; 高安 亮紀
日本応用数理学会若手の会 第9回学生研究発表会/2024-03-07--2024-03-07 - 第二種チェビシェフ点に基づくスペクトル選点法を用いた微分方程式の数値計算
二平 泰知; 高安 亮紀
日本応用数理学会若手の会 第9回学生研究発表会/2024-03-07--2024-03-07 - 一般化固有値問題の精度保証付き数値計算の並列実装とその評価
瀬戸 翔太; 高安 亮紀
日本応用数理学会若手の会 第9回学生研究発表会/2024-03-07--2024-03-07 - チェビシェフ補間を用いた数学関数の精度保証付き数値計算
近藤 慎佑; 高安 亮紀
日本応用数理学会 第20回 研究部会連合発表会/2024-03-06--2024-03-06 - 二次非線形性を持つ複素数値発展方程式のヘテロクリニック軌道と特異性の計算機援用証明
高安 亮紀
第67回拡大MCMEセミナー One day workshop on differential equations in the complex domain/2024-02-21--2024-02-21 - 時間発展方程式の厳密な数値求積法の零点探索問題としての定式化
高安 亮紀
2023年度応用数学合同研究集会/2023-12-16--2023-12-16 - 半線形放物型方程式の時間大域解の計算機援用証明
高安 亮紀; Duchesne Gabriel; Lessard Jean-Philippe
日本数学会2023年度秋季総合分科会/2023-09-23--2023-09-23 - Global Dynamics and Blowup in Some Quadratic PDEs
Jaquette Jonathan; Lessard Jean-Philippe; Takayasu Aki...
10th International Congress on Industrial and Applied Mathematics (ICIAM 2023 TOKYO)/2023-08-24--2023-08-24 - Rigorous numerics for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces
Takayasu Akitoshi; Ishige Toshimasa
10th International Congress on Industrial and Applied Mathematics (ICIAM 2023 TOKYO)/2023-08-21--2023-08-21 - Rigorous forward numerical integration of general evolutionary partial differential equations based on semigroup theory
Takayasu Akitoshi; Duchesne Gabriel; Lessard Jean-Phil...
IUTAM Symposium on Nonlinear dynamics for design of mechanical systems across different length/time scales (IUTAM 2023)/2023-08-02--2023-08-02 - Rigorous numerics for synchronized solutions of coupled time delay Duffing systems
Takahashi Kazuki; Takayasu Akitoshi
IUTAM Symposium on Nonlinear dynamics for design of mechanical systems across different length/time scales (IUTAM 2023)/2023-08-01--2023-08-01 - Parallel Implementation of a rigorous contour integral based eigensolver and its performance evaluation
Seto Shota; Takayasu Akitoshi
IUTAM Symposium on Nonlinear dynamics for design of mechanical systems across different length/time scales (IUTAM 2023)/2023-08-01--2023-08-01 - Rigorous numerical computations with the Chebyshev interpolation using the Julia language
Kondo Shinsuke; Takayasu Akitoshi
IUTAM Symposium on Nonlinear dynamics for design of mechanical systems across different length/time scales (IUTAM 2023)/2023-08-01--2023-08-01 - 遅延微分方程式系の周期解の数値的存在証明
高安 亮紀
第3回微分方程式セミナー/2023-07-26--2023-07-26 - 遅延Duffing方程式の結合系の同期解の精度保証付き数値計算
高橋 和暉; 高安 亮紀
第49回数値解析シンポジウム/2023-07-13--2023-07-13 - Chebyshev 補間を用いた精度保証付き数値計算
近藤 慎佑; 高安 亮紀
第49回数値解析シンポジウム/2023-07-13--2023-07-13 - 自己共役な微分作用素の固有値に対する周回積分型精度保証付き数値解法
今倉 暁; 保國 惠一; 高安 亮紀
第49回数値解析シンポジウム, 岩手/2023-07-13--2023-07-13 - 二次非線形性を持つ複素数値発展方程式の大域的なダイナミクスの計算機援用証明
高安 亮紀
秋田発展方程式小研究集会/2023-07-08--2023-07-08 - 二次の非線形性を持つ複素数値発展方程式の大域的なダイナミクスの計算機援用証明と未解決問題
高安 亮紀
「有限時間特異性」勉強会 第8回/2023-07-05--2023-07-05 - Recent Results of Rigorous Numerical Integration for Higher Spatial Dimensional PDEs
Takayasu Akitoshi; Duchesne Gabriel; Lessard Jean-Phil...
DoubleTree by Hilton Hotel Portland/2023-05-18--2023-05-18 - 微分作用素の固有値に対する複素モーメントを用いた精度保証付き数値計算
今倉 暁; 保國 惠一; 高安 亮紀
2023年並列/分散/協調処理に関するサマー・ワークショップ(SWoPP 2023), 第35回「行列・固有値問題の解法とその応用」研究部会 単独研究会, 函館/2023-08-03--2023-08-03 - 常微分方程式の爆発解の漸近展開と無限遠ダイナミクスの対応
松江要; 落合啓之; 小谷久寿; 高安 亮紀
日本数学会2023年度年会/2023-03-17--2023-03-17 - あるK3曲面族についてのPicard-Fuchs微分方程式のモノドロミーに対する精度保証付き数値計算
石毛利昌; 高安 亮紀
日本数学会2023年度年会/2023-03-17--2023-03-17 - more...
- Verified computation using complex moments for Mathieu and Schrödinger eigenvalue problems
- Teaching
2024-10 -- 2025-02 Advanced Seminar in Risk Engineering University of Tsukuba. 2024-04 -- 2024-08 Advanced Seminar in Risk Engineering University of Tsukuba. 2024-04 -- 2024-08 Internship A in Risk and Resilience Engineering in Doctoral Program University of Tsukuba. 2024-10 -- 2025-02 Internship A in Risk and Resilience Engineering in Doctoral Program University of Tsukuba. 2024-10 -- 2025-02 Risk Case Study University of Tsukuba. 2024-04 -- 2024-08 Risk Case Study University of Tsukuba. 2024-10 -- 2025-02 Internship B in Risk and Resilience Engineering in Doctoral Program University of Tsukuba. 2024-04 -- 2024-08 Internship B in Risk and Resilience Engineering in Doctoral Program University of Tsukuba. 2024-10 -- 2025-02 Internship B in Risk Engineering in Doctoral Program University of Tsukuba. 2024-04 -- 2024-08 Internship B in Risk Engineering in Doctoral Program University of Tsukuba. more... - Professional activities
2023-10 -- (current) 日本数学会 応用数学分科会委員 2023-04 -- 2024-03 日本応用数理学会 学会誌「応用数理」学術会合報告・書評部門主査 2022-04 -- (current) The Japan Society for Industrial and Applied Mathematics JSIAM Letters 編集委員 2021-04 -- 2024-03 The Japan Society for Industrial and Applied Mathematics 学会誌「応用数理」編集委員 2020-04 -- (current) The Japan Society for Industrial and Applied Mathematics 計算の品質 運営幹事 2019-04 -- 2023-03 The Japan Society for Industrial and Applied Mathematics 若手の会 運営幹事 2018-04 -- 2022-03 The Japan Society for Industrial and Applied Mathematics JSIAM Letters 幹事編集委員 2017-04 -- 2018-03 The Japan Society for Industrial and Applied Mathematics JSIAM Letters 編集委員 2015-09 -- 2016-09 The Japan Society for Industrial and Applied Mathematics 2016年度年会 実行委員 2015-10 -- 2016-07 The Institute of Electronics, Information and Communication Enineers (IEICE) Secretary of the Special Section on NOLTA journal more... - University Management
2024-04 -- (current) 総務委員会(委員長・リスク・レジリエンス工学学位P) 2024-04 -- (current) 予算委員会(委員長・リスク・レジリエンス工学学位P) 2023-04 -- (current) リカレント教育推進WG(リスク・レジリエンス工学学位P) 2024-04 -- (current) 新入生オリエンテーション委員会兼大学説明会担当(工学システム学類) 2022-04 -- 2024-03 広報委員会(工学システム学類) 2021-04 -- (current) 学年担任(工学システム学類) 2021-04 -- 2023-03 就職委員会(リスク・レジリエンス工学学位P) 2021-04 -- 2024-03 学務委員会(リスク・レジリエンス工学学位P) 2021-04 -- 2022-03 カリキュラム委員会(リスク・レジリエンス工学学位P) 2020-04 -- (current) 広報委員会(リスク・レジリエンス工学学位P) more...
(Last updated: 2024-04-28)