TAKAYASU Akitoshi
- Conference, etc.
- 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 - ある自己共役作用素から生成される解析半群を用いた半線形熱方程式の解の数値的検証法
水口 信; 関根 晃太; 高安 亮紀; 久保 隆徹; 大石 進一
日本応用数理学会2015年度年会/2015--2015 - 常微分方程式の爆発解に対する精度保証付き数値計算
高安 亮紀; 松江 要; 佐々木 多希子; 田中 一成; 水口 信; 大石 進一
日本応用数理学会2015年度年会/2015-09-09--2015-09-11 - 常微分方程式の解の爆発時刻に対する精度保証付き数値計算
高安 亮紀; 松江 要; 佐々木 多希子; 田中 一成; 水口 信; 大石 進一
第44回数値解析シンポジウム/2015-06-08--2015-06-10 - 解析半群を利用した半線形放物型方程式に対する解の精度保証付き数値計算法
高安 亮紀
数値解析セミナー/2015-04-27--2015-04-27 - Verified computations for solutions to semilinear parabolic equations using the evolution operator
Takayasu Akitoshi; Mizuguchi Makoto; Kubo Takayuki; Oishi Sh...
Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS2015)/2015-11-11--2015-11-13
- Verified numerical computations for blow-up solutions of ODEs