Takayasu Akitoshi

Affiliation
Faculty of Engineering, Information and Systems
Official title
Assistant Professor
URL
Email
5?,64?:>34N]Y=4>6W?>@6@-,W,.W5;
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 -- (current)JAPAN 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.
  • 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
  • Eigensolvers using complex moments for operators
    Imakura Akira; Morikuni Keiichi; Takayasu Akitoshi
    Numerical Methods and Scientific Computing (NMSC21)/2021-11-08--2021-11-12
  • A rigorous forward integration method for time-dependent PDEs
    Takayasu Akitoshi; Lessard Jean-Philippe
    The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2020)/2021-09-13--2021-09-13
  • Swift-Hohenberg方程式の厳密な数値求積法
    高安 亮紀
    日本応用数理学会2021年度年会/2021-09-09--2021-09-09
  • A spectral method for viscous Burgers equation with a time delay
    高安 亮紀; 久保隆徹
    日本応用数理学会2021年度年会/2021-09-09--2021-09-09
  • 無限次元固有値問題に対する複素モーメント型解法
    今倉 暁; 保國 惠一; 高安 亮紀
    2021年並列／分散／協調処理に関するサマー・ワークショップ (SWoPP2021), オンライン/2021-07-19--2021-07-21
  • Rigorous integrator for dissipative PDEs using the Chebyshev-Fourier spectral method
    高安 亮紀; Lessard Jean-Philippe
    SIAM Conference on Applications of Dynamical Systems (DS21)/2021-05-27--2021-05-27
  • Complex Moment-Based Methods for Differential Eigenvalue Problems
    Imakura A.; Morikuni K.; Takayasu A.
    SIAM Conference on Applied Linear Algebra (LA21)/2021-05-17--2021-05-23
  • Global dynamics in nonconservative nonlinear Schrödinger equations
    高安 亮紀
    京都大学 NLPDE セミナー/2021-05-14--2021-05-14
  • 非線形熱方程式の複素時間領域における解の精度保証付き数値計算
    高安 亮紀
    数値解析セミナー（東京大学大学院　数理科学研究科／情報理工学系研究科）/2021-04-27--2021-04-27
  • Global dynamics in a quadratic nonlinear Schrödinger equation
    J. Jaquette; J.-P. Lessard; 高安 亮紀
    日本数学会2021年度年会/2021-03-17--2021-03-17
  • 単位円盤領域上における半線形楕円型偏微分方程式の解の精度保証付き数値計算
    宮内洋明; 高安 亮紀
    日本応用数理学会若手の会 第6回学生研究発表会/2021-03-08--2021-03-08
  • フーリエスペクトル法を用いた遅延Duffing方程式の周期解の精度保証付き数値計算について
    市川葵; 高安 亮紀
    日本応用数理学会若手の会 第6回学生研究発表会/2021-03-08--2021-03-08
  • 遅延微分方程式に対する精度保証付き数値計算ー現状と課題ー
    高安 亮紀
    第2回 時間遅れと数理セミナー/2021-01-25--2021-01-25
  • Global existence and heteloclinics/homoclinics to a quadratic nonlinear Schrödinger equation
    Takayasu Akitoshi
    Czech-Japanese Seminar in Applied Mathematics/2021-01-06--2021-01-06
  • Computer-assisted proofs of heteloclinic orbits to a quadratic nonlinear Schrödinger equation
    高安 亮紀; J. Jaquette; J.-P. Lessard
    2020年度応用数学合同研究集会/2020-12-18--2020-12-18
  • Global dynamics in a quadratic nonlinear Schrödinger equation
    高安 亮紀
    第4回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2020)/2020-11-29--2020-11-29
  • Computer-assisted proofs for finding the monodromy of hypergeometric differential equations
    Takayasu Akitoshi
    16th Seminar Series of CRM CAMP in Nonlinear Analysis/2020-10-06--2020-10-06
  • more...
Teaching
2022-04 -- 2022-08Research in Risk Engineering IIUniversity of Tsukuba.
2022-10 -- 2023-02Research in Risk Engineering IIUniversity of Tsukuba.
2022-10 -- 2023-02Internship B in Risk and Resilience Engineering in Master's ProgramUniversity of Tsukuba.
2022-04 -- 2022-08Internship B in Risk and Resilience Engineering in Master's ProgramUniversity of Tsukuba.
2022-04 -- 2022-08Internship B in Risk Engineering in Doctoral ProgramUniversity of Tsukuba.
2022-10 -- 2023-02Internship B in Risk Engineering in Doctoral ProgramUniversity of Tsukuba.
2022-10 -- 2022-12Fundamentals of Risk EngineeringUniversity of Tsukuba.
2022-10 -- 2023-02Advanced Group Project Based Learning in Risk and Resilience EngineeringUniversity of Tsukuba.
2022-04 -- 2022-08Advanced Group Project Based Learning in Risk and Resilience EngineeringUniversity of Tsukuba.
2022-04 -- 2022-08Research in Risk Engineering IUniversity of Tsukuba.
more...

(Last updated: 2022-06-18)