TAKAYASU Akitoshi

Affiliation
Institute of Systems and Information Engineering
Official title
Associate Professor
ORCID
0009-0005-5087-4894
URL
Email
C1|(&1,0%&@OK/&0(I102(2}|I| I'-
Research fields
Foundations of mathematics/Applied mathematics
Computational science
Research keywords
Numerical analysis
Computer-assisted proofs
Infinite dimensional dynamical systems
Research projects
無限次元力学系に対する時間変数境界値問題の計算機援用証明の研究2026-04 -- 2030-03高安亮紀Japan Society of for the Promotion of Science/Grant-in-Aid for Scientific Research (B)
計算機援用証明によるナヴィエ-ストークス方程式の解析2025-10 -- (current)高安亮紀Japan Science and Technology Agency (JST)/JST創発的研究支援事業
無限次元力学系に対する厳密な数値求積法の研究2022-04 -- 2026-03高安亮紀日本学術振興会/科学研究費補助金 基盤研究(C)
無限次元力学系に対する計算機援用証明を通した国際共同研究2021-04 -- 2024-03Akitoshi TakayasuJapan Science and Technology Agency/研究＋αの活動支援プログラム
双曲型偏微分方程式に対する解の精度保証付き数値計算理論の研究2018-04 -- 2022-03高安亮紀Japan Society of for the Promotion of Science/Grant-in-Aid for Early-Career Scientists
非線形放物型方程式に対する解の精度保証付き数値計算理論の研究2015-04 -- 2018-03高安亮紀Japan Society of for the Promotion of Science/Grant-in-Aid for Scientific Research
Degree
2012-03-15博士（理学）早稲田大学
Academic societies
2012 -- (current)The Mathematical Society of Japan
2011 -- 2021JAPAN SOCIETY FOR SIMULATION TECHNOLOGY
2009 -- (current)The Japan Society for Industrial and Applied Mathematics
Honors & Awards
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回大川功記念論文賞
Articles
Books
  • 非線形方程式の精度保証付き数値解法
    高安 亮紀
    精度保証付き数値計算の基礎/pp.136-164, 2018-07
Conference, etc.
  • 非整数階微分方程式のスペクトル法を用いた数値計算
    坂本凌; 高安 亮紀
    日本応用数理学会若手の会 第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
  • Verified numerical computation using complex moments for eigenvalue problems of differential operators and its applications to Mathieu and Schrödinger equations
    Akira Imakura; Keiichi Morikuni; Akitoshi Takayasu
    JSIAM Annual Meeting 2025, Tokyo, Japan, Book of Abstracts 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
  • more...
Teaching
2026-01 -- 2026-02Calculus 3University of Tsukuba.
2025-04 -- 2025-07Advanced Course on Mathematical Model AnalysisUniversity of Tsukuba.
2025-10 -- 2025-11Applied Mathematics BUniversity of Tsukuba.
2025-10 -- 2026-02Advanced Research in Risk EngineeringUniversity of Tsukuba.
2025-04 -- 2025-08Advanced Research in Risk EngineeringUniversity of Tsukuba.
2025-10 -- 2026-02Advanced Seminar in Risk EngineeringUniversity of Tsukuba.
2025-04 -- 2025-08Advanced Seminar in Risk EngineeringUniversity of Tsukuba.
2025-10 -- 2026-02Project Research in Risk EngineeringUniversity of Tsukuba.
2025-04 -- 2025-08Project Research in Risk EngineeringUniversity of Tsukuba.
2025-10 -- 2026-02Internship B in Risk Engineering in Doctoral ProgramUniversity of Tsukuba.
more...
Professional activities
2024-04 -- (current)応用数学合同研究集会解析系運営委員
2023-10 -- (current)日本数学会応用数学分科会委員
2023-04 -- 2024-03日本応用数理学会学会誌「応用数理」学術会合報告・書評部門主査
2022-04 -- (current)The Japan Society for Industrial and Applied MathematicsJSIAM Letters 編集委員
2021-04 -- 2024-03The Japan Society for Industrial and Applied Mathematics学会誌「応用数理」編集委員
2020-04 -- (current)The Japan Society for Industrial and Applied Mathematics計算の品質 運営幹事
2019-04 -- 2023-03The Japan Society for Industrial and Applied Mathematics若手の会 運営幹事
2018-04 -- 2022-03The Japan Society for Industrial and Applied MathematicsJSIAM Letters 幹事編集委員
2017-04 -- 2018-03The Japan Society for Industrial and Applied MathematicsJSIAM Letters 編集委員
2015-09 -- 2016-09The Japan Society for Industrial and Applied Mathematics2016年度年会 実行委員
more...
University Management
2025-04 -- (current)カリキュラム委員会（リスク・レジリエンス工学学位P）
2025-04 -- (current)学務委員会・学年主担当（リスク・レジリエンス工学学位P）
2024-04 -- 2025-03総務委員会（委員長・リスク・レジリエンス工学学位P）
2024-04 -- 2025-03予算委員会（委員長・リスク・レジリエンス工学学位P）
2023-04 -- (current)リカレント教育推進WG（リスク・レジリエンス工学学位P）
2024-04 -- (current)新入生オリエンテーション委員会兼大学説明会担当（工学システム学類）
2022-04 -- 2024-03広報委員会（工学システム学類）
2021-04 -- 2025-03学年担任（工学システム学類）
2021-04 -- 2023-03就職委員会（リスク・レジリエンス工学学位P）
2021-04 -- 2024-03学務委員会（リスク・レジリエンス工学学位P）
more...

(Last updated: 2026-04-20)