Takayasu Akitoshi
- Conference, etc.
- Julia言語を用いた精度保証付き数値計算の実践
高安 亮紀
第5回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2021) - ある連立遅延微分方程式系の星形周期解ー数値的根拠と精度保証ー
高安 亮紀
RIMS 共同研究（公開型）時間遅れ系と数理科学：理論と応用の新たな展開に向けて/2021-11-18--2021-11-18 - Eigensolvers using complex moments for operators
Imakura Akira; Morikuni Keiichi; Takayasu Akitoshi
Numerical Methods and Scientific Computing (NMSC21)/2021-11-08--2021-11-12 - A rigorous forward integration method for time-dependent PDEs
Takayasu Akitoshi; Lessard Jean-Philippe
The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2020)/2021-09-13--2021-09-13 - Swift-Hohenberg方程式の厳密な数値求積法
高安 亮紀
日本応用数理学会2021年度年会/2021-09-09--2021-09-09 - A spectral method for viscous Burgers equation with a time delay
高安 亮紀; 久保隆徹
日本応用数理学会2021年度年会/2021-09-09--2021-09-09 - 無限次元固有値問題に対する複素モーメント型解法
今倉 暁; 保國 惠一; 高安 亮紀
2021年並列／分散／協調処理に関するサマー・ワークショップ (SWoPP2021), オンライン/2021-07-19--2021-07-21 - Rigorous integrator for dissipative PDEs using the Chebyshev-Fourier spectral method
高安 亮紀; Lessard Jean-Philippe
SIAM Conference on Applications of Dynamical Systems (DS21)/2021-05-27--2021-05-27 - Complex Moment-Based Methods for Differential Eigenvalue Problems
Imakura A.; Morikuni K.; Takayasu A.
SIAM Conference on Applied Linear Algebra (LA21)/2021-05-17--2021-05-23 - Global dynamics in nonconservative nonlinear Schrödinger equations
高安 亮紀
京都大学 NLPDE セミナー/2021-05-14--2021-05-14 - 非線形熱方程式の複素時間領域における解の精度保証付き数値計算
高安 亮紀
数値解析セミナー（東京大学大学院 数理科学研究科／情報理工学系研究科）/2021-04-27--2021-04-27 - Global dynamics in a quadratic nonlinear Schrödinger equation
J. Jaquette; J.-P. Lessard; 高安 亮紀
日本数学会2021年度年会/2021-03-17--2021-03-17 - 単位円盤領域上における半線形楕円型偏微分方程式の解の精度保証付き数値計算
宮内洋明; 高安 亮紀
日本応用数理学会若手の会 第6回学生研究発表会/2021-03-08--2021-03-08 - フーリエスペクトル法を用いた遅延Duffing方程式の周期解の精度保証付き数値計算について
市川葵; 高安 亮紀
日本応用数理学会若手の会 第6回学生研究発表会/2021-03-08--2021-03-08 - 遅延微分方程式に対する精度保証付き数値計算ー現状と課題ー
高安 亮紀
第2回 時間遅れと数理セミナー/2021-01-25--2021-01-25 - Global existence and heteloclinics/homoclinics to a quadratic nonlinear Schrödinger equation
Takayasu Akitoshi
Czech-Japanese Seminar in Applied Mathematics/2021-01-06--2021-01-06 - Computer-assisted proofs of heteloclinic orbits to a quadratic nonlinear Schrödinger equation
高安 亮紀; J. Jaquette; J.-P. Lessard
2020年度応用数学合同研究集会/2020-12-18--2020-12-18 - Global dynamics in a quadratic nonlinear Schrödinger equation
高安 亮紀
第4回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2020)/2020-11-29--2020-11-29 - Computer-assisted proofs for finding the monodromy of hypergeometric differential equations
Takayasu Akitoshi
16th Seminar Series of CRM CAMP in Nonlinear Analysis/2020-10-06--2020-10-06 - Homoclinics and global existence of solutions to a quadratic nonlinear Schrödinger equation
高安 亮紀; J. Jaquette
日本数学会2020年度秋季総合分科会/2020-09-22--2020-09-22 - ある非線形遅延微分方程式系の星形周期解のフーリエスペクトル法による近似解について
野澤健三; 高安 亮紀
日本応用数理学会2020年度年会/2020-09-10--2020-09-10 - チェビシェフ級数を用いた逐次連立による非線形常微分方程式系の初期値問題の精度保証付き数値解法
舩越康太; 高安 亮紀
日本応用数理学会2020年度年会/2020-09-10--2020-09-10 - 非線形シュレディンガー方程式の厳密な数値求積法
高安 亮紀
日本応用数理学会2020年度年会/2020-09-10--2020-09-10 - Rigorous numerics for nonlinear heat equations in the complex plane of time
高安 亮紀; J.-P. Lessard; J. Jaquette; 岡本 久
日本数学会2020年度年会/2020-3 - Verifying eigenvalues of generalized Hermitian eigenproblems using contour integrals
Imakura A.; Morikuni K.; Takayasu A.
Second Workshop on Numerical Algebra, Algorithms and Analysis, online/2021-03-16--2021-03-17 - more...
- Julia言語を用いた精度保証付き数値計算の実践