高安 亮紀(タカヤス アキトシ)
- 会議発表等
- Verified computation of partial eigenvalues using contour integrals
Imakura K.; Morikuni K.; Takayasu A.
SIAM Conference on Applied Linear Algebra (SIAM-ALA18)/2018-05-04--2018-05-08 - Numerical validation of blow-up solutions via quasi-parabolic compactifications
Takayasu Akitoshi; Matsue Kaname
The International Workshop on Numerical Verification and its Applications 2017 (INVA 2017)/2017-03-14--2017-03-18 - スペクトル法を用いた変数係数1次元移流方程式の精度保証付き解法
尹 授老; 高安 亮紀
日本応用数理学会2017年 研究部会連合発表会/2017-03-06--2017-03-07 - 放物型方程式の初期値問題に対する精度保証付き数値計算法について
高安 亮紀
非線形現象と高精度高品質数値解析/2017-02-14--2017-02-15 - 非線形方程式に対する解の精度保証付き数値計算
高安 亮紀
日本応用数理学会3部会連携「応用数理セミナー」/2016-12-27--2016-12-27 - 時間発展問題の精度保証付き数値計算に現れる誤差伝搬の縮小技術
高安 亮紀; 水口 信; 久保 隆徹; 大石 進一
2016年度応用数学合同研究集会/2016-12-15--2016-12-17 - 常微分方程式の爆発解に対する数値的検証法
高安 亮紀
日本学術会議 第6回 計算力学シンポジウム/2016-12-05--2016-12-05 - 放物型方程式に対する解の精度保証付き数値計算法について
高安 亮紀; 水口 信; 久保 隆徹; 大石 進一
SADO Workshop on Numerical Analysis and Related Topics/2016-11-18--2016-11-21 - Computable norm bounds of the evolution operator using spectral properties
Takayasu Akitoshi; Mizuguchi Makoto; Kubo Takayuki; Oishi...
The 35th JSST Annual Conference International Conference on Simulation Technology (JSST2016)/2016-10-27--2016-10-29 - 発展作用素に基づく非線形熱方程式に対する解の精度保証付き数値計算法
高安 亮紀
東京理科大学 理工学部数学科 談話会/2016-10-27--2016-10-27 - On verification methods for parabolic partial differential equations using the evolution operator
Takayasu Akitoshi; Makoto Mizuguchi; Kubo Takayuki; Oishi...
The 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2016)/2016-09-26--2016-09-29 - Verified numerical computations for blow-up solutions of ODEs
Takayasu Akitoshi; Matsue Kaname; Sasaki Takiko; Tanaka ...
The 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2016)/2016-09-26--2016-09-29 - Computable estimates of the evolution operator based on the operator theory
Takayasu Akitoshi; Mizuguchi Makoto; Kubo Takayuki; Oishi...
Czech-Japanese-Polish Seminar in Applied Mathematics 2016 (CJPS 2016)/2016-09-05--2016-09-09 - Verification algorithm for enclosing a mild solution of semilinear heat equations
Mizuguchi Makoto; Takayasu Akitoshi; Kubo Takayuki; Oishi...
The fifth Asian conference on Nonlinear Analysis and Optimization (NAO-Asia 2016)/2016-08-01--2016-08-06 - Concatenation scheme for verified inclusion of solutions to semilinear heat equations
Takayasu Akitoshi; Makoto Mizuguchi; Kubo Takayuki; Oishi...
The fifth Asian conference on Nonlinear Analysis and Optimization (NAO-Asia 2016)/2016-08-01--2016-08-06 - Verified Computations for Solutions to Nonlinear Heat Equations Based on Fractional Powers of a Positive Operator and the Evolution Operator
Takayasu Akitoshi; Mizuguchi Makoto; Kubo Takayuki; Oishi...
5th European Seminar on Computing (ESCO 2016)/2016-06-05--2016-06-10 - 間違える数値計算とその対策
高安 亮紀
第144回リスク工学研究会（RERM）/2016-05-16--2016-05-16 - 重み付きラプラス作用素の分数べきに対する計算可能なソボレフの埋め込み定数
水口 信; 高安 亮紀; 久保隆徹; 大石 進一
日本数学会2016年度年会/2016-03-16--2016-03-19 - 正値作用素の分数冪と発展作用素を用いる非線形熱方程式に対する解の精度保証付き数値計算法
高安 亮紀; 水口 信; 久保隆徹; 大石 進一
日本数学会2016年度年会/2016-03-16--2016-03-19 - 常微分方程式の爆発解に対する数値的検証法について
高安 亮紀
応用数学セミナー@芝浦工大「爆発問題の数値解析」/2016-03-07--2016-03-07 - 放物面コンパクト化を用いる常微分方程式の爆発解の数値的検証法
高安 亮紀; 松江 要; 佐々木 多希子; 田中 一成; 水口 信; 大石 進一
日本応用数理学会 2016年研究部会連合発表会/2016-03-04--2016-03-05 - 発展作用素を用いた半線形放物型方程式に対する解の精度保証付き数値計算法
高安 亮紀; 水口 信; 久保 隆徹; 大石 進一
京都大学数理解析研究所RIMS研究集会「現象解明に向けた数値解析学の新展開」/2015-11-18--2015-11-20 - Numerical existence theorem for solutions of semilinear parabolic equations using the evolution operator
Takayasu Akitoshi; Mizuguchi Makoto; Kubo Takayuki; Oishi Sh...
The 34th JSST Annual Conference International Conference on Simulation Technology (JSST2015)/2015-10-12--2015-10-14 - Verified computations for solutions of semilinear heat equations using an analytic semigroup generated by a self-adjoint operator
Mizuguchi Makoto; Sekine Kouta; Takayasu Akitoshi; Kubo Taka...
The 34th JSST Annual Conference International Conference on Simulation Technology (JSST2015)/2015-10-12--2015-10-14 - Verified numerical enclosure of blow-up time for ODEs
高安 亮紀; 松江 要; 佐々木 多希子; 田中 一成; 水口 信; 大石 進一
日本数学会2015年度秋季総合分科会/2015-09-13--2015-09-16 - さらに表示...
- Verified computation of partial eigenvalues using contour integrals