現在地

高安 亮紀(タカヤス アキトシ; Takayasu, Akitoshi)

face
所属
システム情報系
職名
助教
URL
eメール
 
研究分野
数学基礎・応用数学
計算科学
研究キーワード
数値解析
精度保証付き数値計算
無限次元力学系
研究課題
双曲型偏微分方程式に対する解の精度保証付き数値計算理論の研究2018-04 -- 2022-03高安亮紀日本学術振興会/科学研究費補助金 若手研究
非線形放物型方程式に対する解の精度保証付き数値計算理論の研究2015-04 -- 2018-03高安亮紀日本学術振興会/科学研究費 若手研究(B)
取得学位
2012-03-15博士(理学)早稲田大学
所属学協会
2012 -- (現在)日本数学会
2011 -- (現在)日本シミュレーション学会
2009 -- (現在)日本応用数理学会
受賞
2017-09日本応用数理学会2017年度年会最優秀賞ポスター賞
2016-10JSST 2016 Outstanding Presentation Award
2016-062015年度若手優秀講演賞
2016-04第4回 WASEDA e-Teaching Award
2011-10日本シミュレーション学会奨励賞
2011-06EASIAM 2011 Student Paper Competition 3rd Prize
2009第20回大川功記念論文賞
論文
著書
  • 非線形方程式の精度保証付き数値解法
    高安 亮紀
    精度保証付き数値計算の基礎, pp.136-164, 2018-07
会議発表等
  • Rigorous numerics for nonlinear heat equations in the complex plane of time
    高安 亮紀; J.-P. Lessard; J. Jaquette; 岡本 久
    日本数学会2020年度年会/2020-3
  • 遅延微分方程式の周期解の精度保証付き数値計算
    高安 亮紀
    第1回 時間遅れが誘導する現象と数理/2019-9
  • Computer-assisted proofs for a nonlinear heat equation in the complex plane of time
    Takayasu Akitoshi
    CRM Applied Mathematics Seminars/2019-9
  • チェビシェフ級数を用いたタイムステッピングによる常微分方程式系の精度保証付き数値解法
    船越 康太; 高安 亮紀
    日本応用数理学会2019年度年会/2019-9
  • Gaussの超幾何微分方程式のモノドロミー行列に対する精度保証付き数値計算
    井上 直也; 石毛 利昌; 高安 亮紀
    日本応用数理学会2019年度年会/2019-9
  • RNNによる現象を記述した微分方程式の解のふるまいのモデルフリー予測
    遠藤 靖典; 木南 優希; 高安 亮紀
    第35回ファジィシステムシンポジウム (FSS2019)/2019-08-29--2019-08-31
  • RNNによるDuffing方程式の解のふるまいのモデルフリー予測
    遠藤 靖典; 野澤 健三; 高安 亮紀
    第35回ファジィシステムシンポジウム (FSS2019)/2019-08-29--2019-08-31
  • Rigorous numerics for a singular solution of advection equations with variable coefficients
    Takayasu Akitoshi
    The 9th International Congress on Industrial and Applied Mathematics (ICIAM 2019)/2019-7
  • Numerical validation of blow-up solutions of ODEs
    Takayasu Akitoshi
    The 9th International Congress on Industrial and Applied Mathematics (ICIAM 2019)/2019-7
  • Rigorous numerics for nonlinear heat equations in the complex plane of time
    Takayasu Akitoshi
    Equadiff 2019/2019-7
  • Global existence of a solution for the nonlinear heat equation in the complex plane of time
    Takayasu Akitoshi
    RIMS 共同研究 (公開型)「偏微分方程式の臨界現象と正則性理論及び漸近解析」/2019-5
  • Numerical validation of periodic orbit to delay differential equations via Newton-Kantorovich argument
    Takayasu Akitoshi
    The 1st Hungary-Japan Workshop on Delay Equations and Mathematical Epidemiology/2019-4
  • Rigorous integrator for nonlinear heat equations in the complex plane of time using semigroup theory
    Takayasu Akitoshi
    Workshop: Rigorous Computational Dynamics in Infinite Dimensions/2019-4
  • 複素Ginzburg-Landau方程式に対する解の精度保証付き数値計算
    高安 亮紀
    日本数学会2019年度年会/2019-3-17--2019-3-20
  • チェビシェフ級数を用いた非線形常微分方程式系の精度保証付き数値解法
    舩越康太; 高安 亮紀
    日本応用数理学会 第15回 研究部会連合発表会/2019-3-4--2019-3-5
  • 時間発展方程式の線形化問題に対する解作用素の厳密評価
    高安 亮紀
    日本応用数理学会 第15回 研究部会連合発表会/2019-3-4--2019-3-5
  • 一般化エルミート固有値問題の部分固有値計算における周回積分に基づく精度保証法の改良
    今倉 暁; 保國 惠一; 高安 亮紀
    日本応用数理学会 第15回研究部会連合発表会, つくば/2019-03-04--2019-03-05
  • Rigorous spectral methods for initial value problems of ordinary differential equations
    高安 亮紀
    Numerical Verification (NIVEA) 2019/2019-2-26--2019-3-3
  • 非線形熱方程式の複素時間領域における解の挙動と精度保証付き数値計算
    高安 亮紀
    千葉大学解析セミナー/2019-02-12--2019-02-12
  • 精度保証付き数値計算を利用する偏微分方程式の解の数値的検証法
    高安 亮紀
    第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
担当授業科目
2020-10 -- 2021-02リスク・レジリエンス工学博士PBL演習筑波大学
2020-04 -- 2020-08リスク・レジリエンス工学博士PBL演習筑波大学
2020-10 -- 2021-02リスク・レジリエンス工学博士プロジェクト研究筑波大学
2020-04 -- 2020-08リスク・レジリエンス工学博士プロジェクト研究筑波大学
2020-10 -- 2021-02リスク工学後期インターンシップB筑波大学
2020-04 -- 2020-08リスク工学後期インターンシップB筑波大学
2020-10 -- 2021-02リスク工学後期インターンシップA筑波大学
2020-04 -- 2020-08リスク工学後期インターンシップA筑波大学
2020-10 -- 2021-02リスク・ケーススタディ研究筑波大学
2020-04 -- 2020-08リスク・ケーススタディ研究筑波大学

(最終更新日: 2020-08-08)