Takayasu Akitoshi
- Conference, etc.
- 遅延微分方程式の周期解の精度保証付き数値計算
高安 亮紀
第1回 時間遅れが誘導する現象と数理/2019-9 - Computer-assisted proofs for a nonlinear heat equation in the complex plane of time
Takayasu Akitoshi
CRM Applied Mathematics Seminars/2019-9 - チェビシェフ級数を用いたタイムステッピングによる常微分方程式系の精度保証付き数値解法
船越 康太; 高安 亮紀
日本応用数理学会2019年度年会/2019-9 - Gaussの超幾何微分方程式のモノドロミー行列に対する精度保証付き数値計算
井上 直也; 石毛 利昌; 高安 亮紀
日本応用数理学会2019年度年会/2019-9 - RNNによる現象を記述した微分方程式の解のふるまいのモデルフリー予測
遠藤 靖典; 木南 優希; 高安 亮紀
第35回ファジィシステムシンポジウム (FSS2019)/2019-08-29--2019-08-31 - RNNによるDuffing方程式の解のふるまいのモデルフリー予測
遠藤 靖典; 野澤 健三; 高安 亮紀
第35回ファジィシステムシンポジウム (FSS2019)/2019-08-29--2019-08-31 - Rigorous numerics for a singular solution of advection equations with variable coefficients
Takayasu Akitoshi
The 9th International Congress on Industrial and Applied Mathematics (ICIAM 2019)/2019-7 - Numerical validation of blow-up solutions of ODEs
Takayasu Akitoshi
The 9th International Congress on Industrial and Applied Mathematics (ICIAM 2019)/2019-7 - Rigorous numerics for nonlinear heat equations in the complex plane of time
Takayasu Akitoshi
Equadiff 2019/2019-7 - Global existence of a solution for the nonlinear heat equation in the complex plane of time
Takayasu Akitoshi
RIMS 共同研究 (公開型)「偏微分方程式の臨界現象と正則性理論及び漸近解析」/2019-5 - Numerical validation of periodic orbit to delay differential equations via Newton-Kantorovich argument
Takayasu Akitoshi
The 1st Hungary-Japan Workshop on Delay Equations and Mathematical Epidemiology/2019-4 - Rigorous integrator for nonlinear heat equations in the complex plane of time using semigroup theory
Takayasu Akitoshi
Workshop: Rigorous Computational Dynamics in Infinite Dimensions/2019-4 - 複素Ginzburg-Landau方程式に対する解の精度保証付き数値計算
高安 亮紀
日本数学会2019年度年会/2019-3-17--2019-3-20 - チェビシェフ級数を用いた非線形常微分方程式系の精度保証付き数値解法
舩越康太; 高安 亮紀
日本応用数理学会 第15回 研究部会連合発表会/2019-3-4--2019-3-5 - 時間発展方程式の線形化問題に対する解作用素の厳密評価
高安 亮紀
日本応用数理学会 第15回 研究部会連合発表会/2019-3-4--2019-3-5 - 一般化エルミート固有値問題の部分固有値計算における周回積分に基づく精度保証法の改良
今倉 暁; 保國 惠一; 高安 亮紀
日本応用数理学会 第15回研究部会連合発表会, つくば/2019-03-04--2019-03-05 - Rigorous spectral methods for initial value problems of ordinary differential equations
高安 亮紀
Numerical Verification (NIVEA) 2019/2019-2-26--2019-3-3 - 非線形熱方程式の複素時間領域における解の挙動と精度保証付き数値計算
高安 亮紀
千葉大学解析セミナー/2019-02-12--2019-02-12 - 精度保証付き数値計算を利用する偏微分方程式の解の数値的検証法
高安 亮紀
第3回RCMSサロン「精度保証付き数値計算の有用性」/2018-12-12--2018-12-12 - 非線形熱方程式の複素時間における解の精度保証付き数値計算
高安 亮紀
京都大学数理解析研究所RIMS研究集会/2018-11-14--2018-11-16 - "微分方程式の爆発解の精度保証付き数値計算:指数関数非線型項を持つ場合"
松江要; 高安 亮紀
日本数学会2018年度秋季総合分科会/2018-9-24--2018-9-27 - 非線形熱方程式の複素時間における解の挙動：精度保証付き数値計算によるアプローチ
高安 亮紀
大分微分方程式研究集会/2018-09-22--2018-09-23 - Generation of
semigroup on sequence spaces for rigorous spectral methods in PDEs
Takayasu Akitoshi; Motohiro sobajima
18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations/2018-9-10--2018-9-15 - Verified computing for partial eigenvalues using a contour integral-type eigensolver
Takayasu A.; Imakura A.; Morikuni Keiichi
18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, Tokyo, Japan/2018-09-10--2018-09-15 - 非線形方程式の精度保証付き数値解法
高安 亮紀
「精度保証付き数値計算の基礎」チュートリアル/2018-09-10--2018-09-10 - more...
- 遅延微分方程式の周期解の精度保証付き数値計算