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
無限次元力学系に対する厳密な数値求積法の研究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.
  • 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
  • Rigorous integrator and computer-assisted proofs for semilinear parabolic PDEs in higher dimensions
    TAKAYASU Akitoshi
    Workshop on Numerical Methods and Analysis for PDEs/2024-06-26--2024-06-26
  • Construction of the monodromy action via rigorous forward integration of differential equations
    TAKAYASU Akitoshi
    Equadiff 2024/2024-06-12--2024-06-12
  • 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
  • more...
Teaching
2024-10 -- 2025-02Advanced Seminar in Risk EngineeringUniversity of Tsukuba.
2024-04 -- 2024-08Advanced Seminar in Risk EngineeringUniversity of Tsukuba.
2024-04 -- 2024-08Internship A in Risk and Resilience Engineering in Doctoral ProgramUniversity of Tsukuba.
2024-10 -- 2025-02Internship A in Risk and Resilience Engineering in Doctoral ProgramUniversity of Tsukuba.
2024-10 -- 2025-02Risk Case StudyUniversity of Tsukuba.
2024-04 -- 2024-08Risk Case StudyUniversity of Tsukuba.
2024-10 -- 2025-02Internship B in Risk and Resilience Engineering in Doctoral ProgramUniversity of Tsukuba.
2024-04 -- 2024-08Internship B in Risk and Resilience Engineering in Doctoral ProgramUniversity of Tsukuba.
2024-10 -- 2025-02Internship B in Risk Engineering in Doctoral ProgramUniversity of Tsukuba.
2024-04 -- 2024-08Internship 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: 2025-05-16)