高安 亮紀(タカヤス アキトシ)
- 会議発表等
- Rigorous integrator and computer-assisted proofs for semilinear parabolic PDEs in higher dimensions
TAKAYASU Akitoshi
Workshop on Numerical Methods and Analysis for PDEs/2024-06-26--2024-06-26 - Construction of the monodromy action via rigorous forward integration of differential equations
TAKAYASU Akitoshi
Equadiff 2024/2024-06-12--2024-06-12 - 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...
SIAM Conference on Applications of Dynamical Systems (DS23)/2023-05-18--2023-05-18 - 微分作用素の固有値に対する複素モーメントを用いた精度保証付き数値計算
今倉 暁; 保國 惠一; 高安 亮紀
2023年並列／分散／協調処理に関するサマー・ワークショップ（SWoPP 2023）, 第35回「行列・固有値問題の解法とその応用」研究部会 単独研究会, 函館/2023-08-03--2023-08-03 - さらに表示...
- Rigorous integrator and computer-assisted proofs for semilinear parabolic PDEs in higher dimensions