高安 亮紀(タカヤス アキトシ)
- 会議発表等
- 精度保証付き数値計算を利用する偏微分方程式の解の数値的検証法
高安 亮紀
第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 - フーリエ係数の時間発展方程式に対する解の精度保証付き数値計算
高安 亮紀
日本応用数理学会2018年度年会/2018-9-3--2018-9-5 - 微分方程式の爆発解の精度保証付き数値計算：ケーススタディ - 指数関数非線型項を持つ場合
松江要; 高安 亮紀
日本応用数理学会2018年度年会/2018-9-3--2018-9-5 - 一般化エルミート固有値問題の周回積分型精度保証付き部分固有値計算
今倉 暁; 保國 惠一; 高安 亮紀
日本応用数理学会2018年度年会, 名古屋/2018-09-03--2018-09-05 - Verified Partial Eigenvalue Computation for Generalized Hermitian Eigenproblems Using Contour Integrals
今倉 暁 (Imakura A.); 保國 惠一 (Morikuni K.); 高安 亮紀 (Takayasu A.)
第47回数値解析シンポジウム (NAS2018)/2018-06-06--2018-06-08 - スイッチトリラクタンスモータにおけるモータ形状がインダクタンスに及ぼす影響
高橋勇人; 新宅勇一; 高安亮紀; 高橋徹
日本機械学会 第30回計算力学講演会/2017-09-16--2017-09-18 - 点列空間上での変数係数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 - さらに表示...
- 精度保証付き数値計算を利用する偏微分方程式の解の数値的検証法