Takayasu Akitoshi

Affiliation
Institute of Systems and Information Engineering
Official title
Associate Professor
ORCID
0009-0005-5087-4894
URL
Email
I+v" +&*} :IE) *"C+*,",wvCvxC!'
Research fields
Foundations of mathematics/Applied mathematics
Computational science
Research keywords
Numerical analysis
Rigorous numerics
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.
  • 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...
    DoubleTree by Hilton Hotel Portland/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
  • チェビシェフ補間の厳密な求根方法のJulia言語を用いた高速実装
    二平泰知; 近藤慎佑; 高安 亮紀
    日本応用数理学会若手の会 第8回学生研究発表会/2023-03-11--2023-03-11
  • more...
Teaching
2023-04 -- 2023-08Internship B in Risk Engineering in Doctoral ProgramUniversity of Tsukuba.
2023-10 -- 2024-02Internship B in Risk Engineering in Doctoral ProgramUniversity of Tsukuba.
2023-04 -- 2023-08Internship B in Risk and Resilience Engineering in Master's ProgramUniversity of Tsukuba.
2023-10 -- 2024-02Internship B in Risk and Resilience Engineering in Master's ProgramUniversity of Tsukuba.
2023-04 -- 2023-08Project Research in Risk EngineeringUniversity of Tsukuba.
2023-10 -- 2024-02Project Research in Risk EngineeringUniversity of Tsukuba.
2023-10 -- 2024-02Advanced Project Research in Risk and Resilience EngineeringUniversity of Tsukuba.
2023-04 -- 2023-08Advanced Project Research in Risk and Resilience EngineeringUniversity of Tsukuba.
2023-04 -- 2023-07Introduction to Risk EngineeringUniversity of Tsukuba.
2023-04 -- 2023-08Internship A in Risk Engineering in Doctoral ProgramUniversity of Tsukuba.
more...
Professional activities
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年度年会 実行委員
2015-10 -- 2016-07The Institute of Electronics, Information and Communication Enineers (IEICE)Secretary of the Special Section on NOLTA journal
more...
University Management
2024-04 -- (current)総務委員会(委員長・リスク・レジリエンス工学学位P)
2024-04 -- (current)予算委員会(委員長・リスク・レジリエンス工学学位P)
2023-04 -- (current)リカレント教育推進WG(リスク・レジリエンス工学学位P)
2024-04 -- (current)新入生オリエンテーション委員会兼大学説明会担当(工学システム学類)
2022-04 -- 2024-03広報委員会(工学システム学類)
2021-04 -- (current)学年担任(工学システム学類)
2021-04 -- 2023-03就職委員会(リスク・レジリエンス工学学位P)
2021-04 -- 2024-03学務委員会(リスク・レジリエンス工学学位P)
2021-04 -- 2022-03カリキュラム委員会(リスク・レジリエンス工学学位P)
2020-04 -- (current)広報委員会(リスク・レジリエンス工学学位P)
more...

(Last updated: 2024-04-28)