高安 亮紀(タカヤス アキトシ)

所属
システム情報系
職名
助教
URL
eメール
%O<FDOJNCD^miMDNFgONPFP=<g<>gEK
研究分野
数学基礎・応用数学
計算科学
研究キーワード
数値解析
精度保証付き数値計算
無限次元力学系
研究課題
無限次元力学系に対する厳密な数値求積法の研究2022-04 -- 2026-03高安亮紀日本学術振興会/科学研究費補助金 基盤研究(C)
無限次元力学系に対する計算機援用証明を通した国際共同研究2021-04 -- 2024-03高安 亮紀科学技術振興機構(JST)/研究+αの活動支援プログラム
双曲型偏微分方程式に対する解の精度保証付き数値計算理論の研究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
会議発表等
  • Chebyshev interpolation for rigorous integrator of differential equations
    Takayasu Akitoshi
    International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)/2022-03-14--2022-03-14
  • Julia言語を用いたChebyshev補間とその応用
    近藤慎佑; 高安 亮紀
    日本応用数理学会若手の会 第7回学生研究発表会/2022-03-10--2022-03-10
  • Julia言語を用いた常微分方程式の周期解の精度保証付き数値計算
    高橋和暉; 高安 亮紀
    日本応用数理学会若手の会 第7回学生研究発表会/2022-03-10--2022-03-10
  • ベッセル関数のType-ll PSAの計算について
    宮内洋明; 高安 亮紀; 柏木雅英; 浅井大晴
    日本応用数理学会 第18回 研究部会連合発表会/2022-03-08--2022-03-08
  • フーリエスペクトル法を用いた遅延Duffing方程式の周期解の精度保証付き数値計算について
    市川葵; 高安 亮紀
    日本応用数理学会 第18回 研究部会連合発表会/2022-03-08--2022-03-08
  • Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity
    高安 亮紀
    2021年度応用数学合同研究集会/2021-12-17--2021-12-17
  • Julia言語を用いた精度保証付き数値計算の実践
    高安 亮紀
    第5回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2021)
  • ある連立遅延微分方程式系の星形周期解ー数値的根拠と精度保証ー
    高安 亮紀
    RIMS 共同研究(公開型)時間遅れ系と数理科学:理論と応用の新たな展開に向けて/2021-11-18--2021-11-18
  • Eigensolvers using complex moments for operators
    Imakura Akira; Morikuni Keiichi; Takayasu Akitoshi
    Numerical Methods and Scientific Computing (NMSC21)/2021-11-08--2021-11-12
  • A rigorous forward integration method for time-dependent PDEs
    Takayasu Akitoshi; Lessard Jean-Philippe
    The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2020)/2021-09-13--2021-09-13
  • Swift-Hohenberg方程式の厳密な数値求積法
    高安 亮紀
    日本応用数理学会2021年度年会/2021-09-09--2021-09-09
  • A spectral method for viscous Burgers equation with a time delay
    高安 亮紀; 久保隆徹
    日本応用数理学会2021年度年会/2021-09-09--2021-09-09
  • 無限次元固有値問題に対する複素モーメント型解法
    今倉 暁; 保國 惠一; 高安 亮紀
    2021年並列/分散/協調処理に関するサマー・ワークショップ (SWoPP2021), オンライン/2021-07-19--2021-07-21
  • Rigorous integrator for dissipative PDEs using the Chebyshev-Fourier spectral method
    高安 亮紀; Lessard Jean-Philippe
    SIAM Conference on Applications of Dynamical Systems (DS21)/2021-05-27--2021-05-27
  • Complex Moment-Based Methods for Differential Eigenvalue Problems
    Imakura A.; Morikuni K.; Takayasu A.
    SIAM Conference on Applied Linear Algebra (LA21)/2021-05-17--2021-05-23
  • Global dynamics in nonconservative nonlinear Schrödinger equations
    高安 亮紀
    京都大学 NLPDE セミナー/2021-05-14--2021-05-14
  • 非線形熱方程式の複素時間領域における解の精度保証付き数値計算
    高安 亮紀
    数値解析セミナー(東京大学大学院 数理科学研究科/情報理工学系研究科)/2021-04-27--2021-04-27
  • Global dynamics in a quadratic nonlinear Schrödinger equation
    J. Jaquette; J.-P. Lessard; 高安 亮紀
    日本数学会2021年度年会/2021-03-17--2021-03-17
  • 単位円盤領域上における半線形楕円型偏微分方程式の解の精度保証付き数値計算
    宮内洋明; 高安 亮紀
    日本応用数理学会若手の会 第6回学生研究発表会/2021-03-08--2021-03-08
  • フーリエスペクトル法を用いた遅延Duffing方程式の周期解の精度保証付き数値計算について
    市川葵; 高安 亮紀
    日本応用数理学会若手の会 第6回学生研究発表会/2021-03-08--2021-03-08
  • 遅延微分方程式に対する精度保証付き数値計算ー現状と課題ー
    高安 亮紀
    第2回 時間遅れと数理セミナー/2021-01-25--2021-01-25
  • Global existence and heteloclinics/homoclinics to a quadratic nonlinear Schrödinger equation
    Takayasu Akitoshi
    Czech-Japanese Seminar in Applied Mathematics/2021-01-06--2021-01-06
  • Computer-assisted proofs of heteloclinic orbits to a quadratic nonlinear Schrödinger equation
    高安 亮紀; J. Jaquette; J.-P. Lessard
    2020年度応用数学合同研究集会/2020-12-18--2020-12-18
  • Global dynamics in a quadratic nonlinear Schrödinger equation
    高安 亮紀
    第4回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2020)/2020-11-29--2020-11-29
  • Computer-assisted proofs for finding the monodromy of hypergeometric differential equations
    Takayasu Akitoshi
    16th Seminar Series of CRM CAMP in Nonlinear Analysis/2020-10-06--2020-10-06
  • さらに表示...
担当授業科目
2022-04 -- 2022-08リスク工学前期特別研究II筑波大学
2022-10 -- 2023-02リスク工学前期特別研究II筑波大学
2022-10 -- 2023-02リスク・レジリエンス工学修士インターンシップB筑波大学
2022-04 -- 2022-08リスク・レジリエンス工学修士インターンシップB筑波大学
2022-04 -- 2022-08リスク工学後期インターンシップB筑波大学
2022-10 -- 2023-02リスク工学後期インターンシップB筑波大学
2022-10 -- 2022-12リスク工学基礎筑波大学
2022-10 -- 2023-02リスク・レジリエンス工学博士PBL演習筑波大学
2022-04 -- 2022-08リスク・レジリエンス工学博士PBL演習筑波大学
2022-04 -- 2022-08リスク工学前期特別研究I筑波大学
さらに表示...

(最終更新日: 2022-06-18)