Takayasu Akitoshi
- Conference, etc.
- 点列空間上での変数係数1次元移流方程式に対する解の精度保証付き数値計算
尹 授老; 高安 亮紀; 遠藤 靖典
日本応用数理学会2017年度年会/2017-09-06--2017-09-08 - 非線形熱方程式の複素時間変数における解の挙動とその精度保証付き数値計算について
高安 亮紀
2018年軽井沢グラフと解析研究集会/2018-02-12--2018-02-15 - Fourier-Chebyshevスペクトル法を用いた変数係数1次元移流方程式の精度保証付き解法
高安 亮紀; 尹 授老; 遠藤 靖典
第46回数値解析シンポジウム/2017-06-28--2017-06-30 - 擬斉次コンパクト化を利用する爆発解の精度保証付き数値計算
高安 亮紀; 松江 要
2017年度応用数学合同研究集会/2017-12-14--2017-12-16 - Rigorous numerical computations for 1-dimensional advection equations with variable coefficients
高安 亮紀
Workshop for young scholars Control and inverse problems on waves, oscillations and ows - Mathematical analysis and computational methods -/2017-08-21--2017-08-23 - 擬斉次コンパクト化を利用する爆発解の数値的検証理論と応用
高安 亮紀
筑波大学エネルギー環境学域懇談会/2017-09-26--2017-09-26 - 常微分方程式系に対する爆発解の精度保証付き数値計算
高安 亮紀
東大数理情報第3研究室輪講/2017-10-18--2017-10-18 - Verified computations for solutions to 1-dimensional advection equations with variable coefficients
Takayasu Akitoshi
Dagstuhl Seminar 17481/2017-11-26--2017-12-01 - 非線形熱方程式の複素時間における解の挙動と精度保証付き数値計算
高安 亮紀
第1回精度保証付き数値計算の実問題への応用研究集会(NVR2017)/2017-12-09--2017-12-10 - 半群理論を利用する発展方程式に対する解の精度保証付き数値計算
高安 亮紀
日本数学会2018年度年会/2018-03-18--2018-03-21 - Influence of Stator Pole on Magnetic Field Distribution of Switched Reluctance Motor
Takahashi Toru; Shintaku Yuichi; Takayasu Akitoshi
The International Conference on Electrical Engineering 2017/2017-07-04--2017-07-07 - スイッチトリラクタンスモータのステータ極歯形状に関する予備的検討
高橋徹; 新宅勇一; 高安亮紀; 藤野貴康
平成29年電気学会全国大会/2017-03-15--2017-03-17 - Contour integral-based verified computing for partial eigenvalues
Takayasu A.; Imakura A.; Morikuni Keiichi
SIAM Conference on Parallel Processing for Scientific Computing (SIAM PP18), Tokyo, Japan/2018-03-07--2018-03-10 - 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 - more...
- 点列空間上での変数係数1次元移流方程式に対する解の精度保証付き数値計算