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

所属
システム情報系
職名
准教授
ORCID
0009-0005-5087-4894
URL
eメール
5?,64?:>34N]Y=4>6W?>@6@-,W,.W5;
研究分野
数学基礎・応用数学
計算科学
研究キーワード
数値解析
計算機援用証明
無限次元力学系
研究課題
無限次元力学系に対する時間変数境界値問題の計算機援用証明の研究2026-04 -- 2030-03高安亮紀日本学術振興会/科学研究費助成事業 基盤研究(B)
計算機援用証明によるナヴィエ-ストークス方程式の解析2025-10 -- (現在)高安亮紀科学技術振興機構/JST創発的研究支援事業
無限次元力学系に対する厳密な数値求積法の研究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
会議発表等
  • 非整数階微分方程式のスペクトル法を用いた数値計算
    坂本凌; 高安 亮紀
    日本応用数理学会若手の会 第11回学生研究発表会/2026-03-12
  • Physics-Informed Neural Networksを用いたCCF方程式の自己相似解の数値探索
    八木祥ノ介; 高安 亮紀
    日本応用数理学会若手の会 第11回学生研究発表会/2026-03-12
  • 区間チェビシェフ補間に基づく級数演算法：実装の現状と初等関数計算への展望
    大森正心; 高安 亮紀
    日本応用数理学会若手の会 第11回学生研究発表会/2026-03-12
  • 定理証明支援系 Lean を用いた数値計算誤差の形式的検証
    鬼頭隼人; 高安 亮紀
    日本応用数理学会 第22回 研究部会連合発表会/2026-03-10
  • Bernsteinの不等式による累積丸め誤差の確率的解析
    勝原裕大; 荻田武史; 高安 亮紀
    日本応用数理学会 第22回 研究部会連合発表会/2026-03-10
  • 精度保証アルゴリズムに基づく制御のための区間サンプル値モデルの提案
    大島達也; 高安 亮紀; 河合新; グエン ヴァン チエト
    日本応用数理学会 第22回 研究部会連合発表会/2026-03-10
  • 円盤領域にノイマン境界条件を課した楕円型偏微分方程式に対する精度保証付き数値計算
    高安 亮紀
    2025年度応用数学合同研究集会/2025-12-20
  • 放物型偏微分方程式のサドル・サドル型不安定接続軌道の計算機援用証明
    高安 亮紀
    研究集会「力学系とその周辺」/2025-12-15
  • 球対称解に対するベッセル関数を用いた半線形楕円型偏微分方程式の精度保証付き数値計算
    宮内洋明; 高安 亮紀
    RIMS 共同研究（公開型）数値解析が切り開く新たな情報社会〜データ駆動型から「富岳NEXT」〜/2025-10-09
  • Semigroup approach for validating solutions to semilinear parabolic PDEs
    TAKAYASU Akitoshi
    20th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2025)/2025-09-24
  • Constructing the Bessel function rigorously via the power series arithmetic
    Miyauchi Hiroaki; TAKAYASU Akitoshi
    20th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2025)/2025-09-22
  • Swift-Hohenberg方程式におけるサドル・サドル型不安定接続軌道の計算機援用証明
    高安 亮紀
    日本数学会 2025年度秋季総合分科会/2025-09-18
  • 非自励半群アプローチによる半線形放物型PDEの解の長時間存在証明
    高安 亮紀
    日本応用数理学会 2025年度年会/2025-09-02
  • 微分作用素の固有値問題に対する複素モーメントを用いた精度保証付き数値計算とMathieu方程式およびSchrödinger方程式への応用
    Akira Imakura; Keiichi Morikuni; Akitoshi Takayasu
    日本応用数理学会 2025年度年会, 東京, 講演予稿集 1A-5-3/2025-09-02--2025-09-02
  • Rigorous integrator for semilinear parabolic PDEs via evolution operator approach
    TAKAYASU Akitoshi
    Frontiers in Applied & Computational Mathematics (FACM 2025)/2025-06-06
  • An Improvement of Rigorous Integrator for Semilinear Parabolic PDEs via Evolution Operator Approach
    TAKAYASU Akitoshi; LESSARD Jean-Philippe
    SIAM Conference on Applications of Dynamical Systems (DS25)/2025-05-12
  • Zernike多項式による計算機援用証明: 重み付き点列空間におけるBanach環の証明
    Matthieu Cadiot; Jonathan Jaquette; Jean-Philippe Less...
    日本数学会 2025年度年会/2025-03-20--2025-03-20
  • 円盤領域上に斉次ノイマン境界条件を課した楕円型偏微分方程式の球対称解の数値計算
    阪田 智也; 高安 亮紀
    日本応用数理学会若手の会 第10回学生研究発表会/2025-03-08--2025-03-08
  • 微分方程式の前進自己相似解に対する選点法と行列積変換を用いた近似解法の提案
    中村 廷優; 関根 晃太; 高安 亮紀
    日本応用数理学会若手の会 第10回学生研究発表会/2025-03-08--2025-03-08
  • Zernike多項式による計算機援用証明: Gauss求積を用いたMMTアプローチ
    高安 亮紀
    日本応用数理学会 第21回 研究部会連合発表会/2025-03-07--2025-03-07
  • 周回積分に基づく精度保証付きRayleigh-Ritz型固有値解法の並列実装
    瀬戸 翔太; 今倉 暁; 保國 惠一; 高安 亮紀
    日本応用数理学会 第21回研究部会連合発表会, 岡山/2025-03-06--2025-03-06
  • 無限次元力学系に対する計算機援用証明
    高安 亮紀
    第231回リスク工学研究会/2025-01-20--2025-01-20
  • Computer-assisted proofs for a projected boundary value problem
    TAKAYASU Akitoshi
    Workshop - Computer-assisted proofs in nonlinear analysis/2024-09-11--2024-09-11
  • 周回積分に基づく精度保証付き固有値解法の並列実装
    瀬戸 翔太; 今倉 暁; 保國 惠一; 高安 亮紀
    2024年並列／分散／協調処理に関するサマー・ワークショップ（SWoPP 2024）/2024-08-09--2024-08-09
  • 厳密な数値求積による微分方程式のモノドロミーの構築
    高安 亮紀
    第4回京都応用力学系セミナー/2024-07-26--2024-07-26
  • さらに表示...
担当授業科目
2026-01 -- 2026-02微積分3筑波大学
2025-04 -- 2025-07数理モデル解析特論筑波大学
2025-10 -- 2025-11応用数学B筑波大学
2025-10 -- 2026-02リスク工学後期特別研究筑波大学
2025-04 -- 2025-08リスク工学後期特別研究筑波大学
2025-10 -- 2026-02リスク工学後期特別演習筑波大学
2025-04 -- 2025-08リスク工学後期特別演習筑波大学
2025-10 -- 2026-02リスク工学後期プロジェクト研究筑波大学
2025-04 -- 2025-08リスク工学後期プロジェクト研究筑波大学
2025-10 -- 2026-02リスク工学後期インターンシップB筑波大学
さらに表示...
学協会等委員
2024-04 -- (現在)応用数学合同研究集会解析系運営委員
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年度年会 実行委員
さらに表示...
学内管理運営業績
2025-04 -- (現在)カリキュラム委員会（リスク・レジリエンス工学学位P）
2025-04 -- (現在)学務委員会・学年主担当（リスク・レジリエンス工学学位P）
2024-04 -- 2025-03総務委員会（委員長・リスク・レジリエンス工学学位P）
2024-04 -- 2025-03予算委員会（委員長・リスク・レジリエンス工学学位P）
2023-04 -- (現在)リカレント教育推進WG（リスク・レジリエンス工学学位P）
2024-04 -- (現在)新入生オリエンテーション委員会兼大学説明会担当（工学システム学類）
2022-04 -- 2024-03広報委員会（工学システム学類）
2021-04 -- 2025-03学年担任（工学システム学類）
2021-04 -- 2023-03就職委員会（リスク・レジリエンス工学学位P）
2021-04 -- 2024-03学務委員会（リスク・レジリエンス工学学位P）
さらに表示...

(最終更新日: 2026-04-20)