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

所属
システム情報系
職名
准教授
ORCID
0009-0005-5087-4894
URL
eメール
)K8B@KFJ?@ZieI@JBcKJLBL98c8:cAG
研究分野
数学基礎・応用数学
計算科学
研究キーワード
数値解析
精度保証付き数値計算
無限次元力学系
研究課題
無限次元力学系に対する厳密な数値求積法の研究2022-04 -- 2026-03高安亮紀日本学術振興会/科学研究費補助金 基盤研究(C)
無限次元力学系に対する計算機援用証明を通した国際共同研究2021-04 -- 2024-03高安 亮紀科学技術振興機構(JST)/研究＋αの活動支援プログラム
双曲型偏微分方程式に対する解の精度保証付き数値計算理論の研究2018-04 -- 2022-03高安亮紀日本学術振興会/科学研究費補助金　若手研究
非線形放物型方程式に対する解の精度保証付き数値計算理論の研究2015-04 -- 2018-03高安亮紀日本学術振興会/科学研究費　若手研究(B)
取得学位
2012-03-15博士（理学）早稲田大学
所属学協会
2012 -- (現在)日本数学会
2011 -- 2021日本シミュレーション学会
2009 -- (現在)日本応用数理学会
受賞
2023-09令和5年度 筑波大学若手教員奨励賞
2020-04令和元年度システム情報系教育貢献賞
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
会議発表等
  • Verified computation using complex moments for Mathieu and Schrödinger eigenvalue problems
    Akira Imakura; Keiichi Morikuni; Akitoshi Takayasu
    Nagoya International Workshop on Numerical Analysis 2024, Nagoya, Japan/2024-10-11--2024-10-11
  • A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
    Takayasu Akitoshi
    Workshop of Computational Science and Information Engineering 2024 (SCIE2024)/2024-03-23--2024-03-23
  • Julia言語を用いたヤコビ多項式による補間とその精度保証
    阪田 智也; 高安 亮紀
    日本応用数理学会若手の会 第9回学生研究発表会/2024-03-07--2024-03-07
  • 第二種チェビシェフ点に基づくスペクトル選点法を用いた微分方程式の数値計算
    二平 泰知; 高安 亮紀
    日本応用数理学会若手の会 第9回学生研究発表会/2024-03-07--2024-03-07
  • 一般化固有値問題の精度保証付き数値計算の並列実装とその評価
    瀬戸 翔太; 高安 亮紀
    日本応用数理学会若手の会 第9回学生研究発表会/2024-03-07--2024-03-07
  • チェビシェフ補間を用いた数学関数の精度保証付き数値計算
    近藤 慎佑; 高安 亮紀
    日本応用数理学会 第20回 研究部会連合発表会/2024-03-06--2024-03-06
  • 二次非線形性を持つ複素数値発展方程式のヘテロクリニック軌道と特異性の計算機援用証明
    高安 亮紀
    第67回拡大MCMEセミナー One day workshop on differential equations in the complex domain/2024-02-21--2024-02-21
  • 時間発展方程式の厳密な数値求積法の零点探索問題としての定式化
    高安 亮紀
    2023年度応用数学合同研究集会/2023-12-16--2023-12-16
  • 半線形放物型方程式の時間大域解の計算機援用証明
    高安 亮紀; Duchesne Gabriel; Lessard Jean-Philippe
    日本数学会2023年度秋季総合分科会/2023-09-23--2023-09-23
  • Global Dynamics and Blowup in Some Quadratic PDEs
    Jaquette Jonathan; Lessard Jean-Philippe; Takayasu Aki...
    10th International Congress on Industrial and Applied Mathematics (ICIAM 2023 TOKYO)/2023-08-24--2023-08-24
  • Rigorous numerics for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces
    Takayasu Akitoshi; Ishige Toshimasa
    10th International Congress on Industrial and Applied Mathematics (ICIAM 2023 TOKYO)/2023-08-21--2023-08-21
  • Rigorous forward numerical integration of general evolutionary partial differential equations based on semigroup theory
    Takayasu Akitoshi; Duchesne Gabriel; Lessard Jean-Phil...
    IUTAM Symposium on Nonlinear dynamics for design of mechanical systems across different length/time scales (IUTAM 2023)/2023-08-02--2023-08-02
  • Rigorous numerics for synchronized solutions of coupled time delay Duffing systems
    Takahashi Kazuki; Takayasu Akitoshi
    IUTAM Symposium on Nonlinear dynamics for design of mechanical systems across different length/time scales (IUTAM 2023)/2023-08-01--2023-08-01
  • Parallel Implementation of a rigorous contour integral based eigensolver and its performance evaluation
    Seto Shota; Takayasu Akitoshi
    IUTAM Symposium on Nonlinear dynamics for design of mechanical systems across different length/time scales (IUTAM 2023)/2023-08-01--2023-08-01
  • Rigorous numerical computations with the Chebyshev interpolation using the Julia language
    Kondo Shinsuke; Takayasu Akitoshi
    IUTAM Symposium on Nonlinear dynamics for design of mechanical systems across different length/time scales (IUTAM 2023)/2023-08-01--2023-08-01
  • 遅延微分方程式系の周期解の数値的存在証明
    高安 亮紀
    第3回微分方程式セミナー/2023-07-26--2023-07-26
  • 遅延Duffing方程式の結合系の同期解の精度保証付き数値計算
    高橋 和暉; 高安 亮紀
    第49回数値解析シンポジウム/2023-07-13--2023-07-13
  • Chebyshev 補間を用いた精度保証付き数値計算
    近藤 慎佑; 高安 亮紀
    第49回数値解析シンポジウム/2023-07-13--2023-07-13
  • 自己共役な微分作用素の固有値に対する周回積分型精度保証付き数値解法
    今倉 暁; 保國 惠一; 高安 亮紀
    第49回数値解析シンポジウム, 岩手/2023-07-13--2023-07-13
  • 二次非線形性を持つ複素数値発展方程式の大域的なダイナミクスの計算機援用証明
    高安 亮紀
    秋田発展方程式小研究集会/2023-07-08--2023-07-08
  • 二次の非線形性を持つ複素数値発展方程式の大域的なダイナミクスの計算機援用証明と未解決問題
    高安 亮紀
    「有限時間特異性」勉強会 第8回/2023-07-05--2023-07-05
  • Recent Results of Rigorous Numerical Integration for Higher Spatial Dimensional PDEs
    Takayasu Akitoshi; Duchesne Gabriel; Lessard Jean-Phil...
    SIAM Conference on Applications of Dynamical Systems (DS23)/2023-05-18--2023-05-18
  • 微分作用素の固有値に対する複素モーメントを用いた精度保証付き数値計算
    今倉 暁; 保國 惠一; 高安 亮紀
    2023年並列／分散／協調処理に関するサマー・ワークショップ（SWoPP 2023）, 第35回「行列・固有値問題の解法とその応用」研究部会 単独研究会, 函館/2023-08-03--2023-08-03
  • 常微分方程式の爆発解の漸近展開と無限遠ダイナミクスの対応
    松江要; 落合啓之; 小谷久寿; 高安 亮紀
    日本数学会2023年度年会/2023-03-17--2023-03-17
  • あるK3曲面族についてのPicard-Fuchs微分方程式のモノドロミーに対する精度保証付き数値計算
    石毛利昌; 高安 亮紀
    日本数学会2023年度年会/2023-03-17--2023-03-17
  • さらに表示...
担当授業科目
2024-10 -- 2025-02リスク工学後期特別演習筑波大学
2024-04 -- 2024-08リスク工学後期特別演習筑波大学
2024-04 -- 2024-08リスク・レジリエンス工学博士インターンシップA筑波大学
2024-10 -- 2025-02リスク・レジリエンス工学博士インターンシップA筑波大学
2024-10 -- 2025-02リスク・ケーススタディ研究筑波大学
2024-04 -- 2024-08リスク・ケーススタディ研究筑波大学
2024-10 -- 2025-02リスク・レジリエンス工学博士インターンシップB筑波大学
2024-04 -- 2024-08リスク・レジリエンス工学博士インターンシップB筑波大学
2024-10 -- 2025-02リスク工学後期インターンシップB筑波大学
2024-04 -- 2024-08リスク工学後期インターンシップB筑波大学
さらに表示...
学協会等委員
2023-10 -- (現在)日本数学会応用数学分科会委員
2023-04 -- 2024-03日本応用数理学会学会誌「応用数理」学術会合報告・書評部門主査
2022-04 -- (現在)日本応用数理学会JSIAM Letters 編集委員
2021-04 -- 2024-03日本応用数理学会学会誌「応用数理」編集委員
2020-04 -- (現在)日本応用数理学会計算の品質 運営幹事
2019-04 -- 2023-03日本応用数理学会若手の会 運営幹事
2018-04 -- 2022-03日本応用数理学会JSIAM Letters 幹事編集委員
2017-04 -- 2018-03日本応用数理学会JSIAM Letters 編集委員
2015-09 -- 2016-09日本応用数理学会2016年度年会 実行委員
2015-10 -- 2016-07電子情報通信学会 (IEICE)Secretary of the Special Section on NOLTA journal
さらに表示...
学内管理運営業績
2024-04 -- (現在)総務委員会（委員長・リスク・レジリエンス工学学位P）
2024-04 -- (現在)予算委員会（委員長・リスク・レジリエンス工学学位P）
2023-04 -- (現在)リカレント教育推進WG（リスク・レジリエンス工学学位P）
2024-04 -- (現在)新入生オリエンテーション委員会兼大学説明会担当（工学システム学類）
2022-04 -- 2024-03広報委員会（工学システム学類）
2021-04 -- (現在)学年担任（工学システム学類）
2021-04 -- 2023-03就職委員会（リスク・レジリエンス工学学位P）
2021-04 -- 2024-03学務委員会（リスク・レジリエンス工学学位P）
2021-04 -- 2022-03カリキュラム委員会（リスク・レジリエンス工学学位P）
2020-04 -- (現在)広報委員会（リスク・レジリエンス工学学位P）
さらに表示...

(最終更新日: 2024-04-28)