高安 亮紀(タカヤス アキトシ)
- 会議発表等
- ある自己共役作用素から生成される解析半群を用いた半線形熱方程式の解の数値的検証法
水口 信; 関根 晃太; 高安 亮紀; 久保 隆徹; 大石 進一
日本応用数理学会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
- ある自己共役作用素から生成される解析半群を用いた半線形熱方程式の解の数値的検証法