Takayasu Akitoshi

Affiliation
Institute of Systems and Information Engineering
Official title
Assistant Professor
URL
Email
=7$.,726+,FUQ5,6.O768.8%$O$&O-3
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
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.
  • 常微分方程式の爆発解の漸近展開と無限遠ダイナミクスの対応
    松江要; 落合啓之; 小谷久寿; 高安 亮紀
    日本数学会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
  • 遅延Duffing方程式の結合系に対する同期周期解の精度保証付き数値計算
    高橋和暉; 高安 亮紀
    日本応用数理学会若手の会 第8回学生研究発表会/2023-03-11--2023-03-11
  • Julia 言語を用いた周回積分型固有値解法の並列実装と性能評価
    瀬戸翔太; 高安 亮紀
    日本応用数理学会若手の会 第8回学生研究発表会/2023-03-11--2023-03-11
  • ジブロック共重合体モデルの厳密な数値求積法
    高安 亮紀
    日本応用数理学会 第19回 研究部会連合発表会/2023-03-08--2023-03-08
  • 精度保証付き数値計算の実装環境の現状 - MATLAB, Julia, C++ -
    高安 亮紀
    第1回区間解析研究会/2023-01-06--2023-01-06
  • 常微分方程式の爆発解の漸近展開と無限遠ダイナミクスの対応
    松江要; 落合啓之; 小谷久寿; 高安 亮紀
    2022年度応用数学合同研究集会/2022-12-15--2022-12-15
  • 半群理論に基づく一般的な時間発展方程式に対する厳密な数値求積法
    高安 亮紀
    2022年度応用数学合同研究集会/2022-12-15--2022-12-15
  • 無限次元固有値問題に対する複素モーメント型解法とその性能評価
    今倉暁; 保國惠一; 高安 亮紀
    日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第34回研究会/2022-12-06--2022-12-06
  • 遅延Duffing方程式の結合系の完全同期解に対する精度保証付き数値計算
    高橋和暉; 高安 亮紀
    RIMS 共同研究（公開型）時間遅れ系と数理科学：理論と応用の新たな展開に向けて/2022-11-17--2022-11-17
  • 時間発展方程式に対する厳密な数値求積法の最近の進展
    高安 亮紀
    RIMS 共同研究（公開型）数値解析が拓く次世代情報社会～エッジから富岳まで～/2022-10-14--2022-10-14
  • A general approach for rigorously integrating PDEs using semigroup theory
    Takayasu Akitoshi
    CRM Applied Mathematics Seminars/2022-09-27--2022-09-27
  • 一般化エルミート固有値問題に対するRayleigh-Ritz版の周回積分型精度保証付き部分固有対計算
    今倉暁; 保國惠一; 高安 亮紀
    日本応用数理学会2022年度年会/2022-09-10--2022-09-10
  • 遅延Duffing方程式の結合系に対する同期解の精度保証付き数値計算
    高橋和暉; 高安 亮紀
    日本応用数理学会2022年度年会/2022-09-10--2022-09-10
  • Chebyshev補間の最大値最小値の精度保証付き数値計算
    近藤慎佑; 高安 亮紀
    日本応用数理学会2022年度年会/2022-09-10--2022-09-10
  • Rigorous integrator for higher spatial dimensional PDEs
    Takayasu Akitoshi; Lessard Jean-Philippe
    SIAM Conference on Nonlinear Waves and Coherent Structures (NWCS22)/2022-09-01--2022-09-01
  • Chebyshev interpolation for rigorous integrator of differential equations
    Takayasu Akitoshi
    International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)/2022-03-14--2022-03-14
  • Julia言語を用いたChebyshev補間とその応用
    近藤慎佑; 高安 亮紀
    日本応用数理学会若手の会 第7回学生研究発表会/2022-03-10--2022-03-10
  • Julia言語を用いた常微分方程式の周期解の精度保証付き数値計算
    高橋和暉; 高安 亮紀
    日本応用数理学会若手の会 第7回学生研究発表会/2022-03-10--2022-03-10
  • ベッセル関数のType-ll PSAの計算について
    宮内洋明; 高安 亮紀; 柏木雅英; 浅井大晴
    日本応用数理学会 第18回 研究部会連合発表会/2022-03-08--2022-03-08
  • フーリエスペクトル法を用いた遅延Duffing方程式の周期解の精度保証付き数値計算について
    市川葵; 高安 亮紀
    日本応用数理学会 第18回 研究部会連合発表会/2022-03-08--2022-03-08
  • Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity
    高安 亮紀
    2021年度応用数学合同研究集会/2021-12-17--2021-12-17
  • Julia言語を用いた精度保証付き数値計算の実践
    高安 亮紀
    第5回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2021)
  • ある連立遅延微分方程式系の星形周期解ー数値的根拠と精度保証ー
    高安 亮紀
    RIMS 共同研究（公開型）時間遅れ系と数理科学：理論と応用の新たな展開に向けて/2021-11-18--2021-11-18
  • more...
Teaching
2022-04 -- (current)Research in Risk Engineering IIUniversity of Tsukuba.
2022-10 -- (current)Internship B in Risk and Resilience Engineering in Master's ProgramUniversity of Tsukuba.
2022-04 -- (current)Internship B in Risk and Resilience Engineering in Master's ProgramUniversity of Tsukuba.
2022-04 -- (current)Internship B in Risk Engineering in Doctoral ProgramUniversity of Tsukuba.
2022-10 -- (current)Internship B in Risk Engineering in Doctoral ProgramUniversity of Tsukuba.
2022-10 -- (current)Fundamentals of Risk EngineeringUniversity of Tsukuba.
2022-10 -- (current)Advanced Group Project Based Learning in Risk and Resilience EngineeringUniversity of Tsukuba.
2022-04 -- (current)Advanced Group Project Based Learning in Risk and Resilience EngineeringUniversity of Tsukuba.
2022-04 -- (current)Research in Risk Engineering IUniversity of Tsukuba.
2022-10 -- (current)Research in Risk Engineering IUniversity of Tsukuba.
more...

(Last updated: 2023-05-11)