Akitoshi Takayasu - My portal

Profile Information

Affiliation: Associate Professor, Institute of Systems and Information Engineering, University of Tsukuba

Degree: 博士（理学）(Mar, 2012, 早稲田大学)

J-GLOBAL ID: 201301084573341023
researchmap Member ID: 7000004944

External link: http://www.risk.tsukuba.ac.jp/~takitoshi/

Research Interests

Research Areas

Awards

Sep, 2017

日本応用数理学会2017年度年会最優秀賞ポスター賞, 日本応用数理学会

高安亮紀
Oct, 2016

JSST 2016 Outstanding Presentation Award
Jun, 2016

2015年度若手優秀講演賞, 日本応用数理学会

高安亮紀
Apr, 2016

第4回 WASEDA e-Teaching Award
Oct, 2011

日本シミュレーション学会奨励賞
Jun, 2011

EASIAM 2011 Student Paper Competition 3rd Prize
2009

第20回大川功記念論文賞

Papers

Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems

Akira, Imakura, Keiichi, Morikuni, Akitoshi, Takayasu

JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 424 1-18, May, 2023 Peer-reviewed
Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature

Lessard, Jean-Philippe, Matsue, Kaname, Takayasu, Akitoshi

JOURNAL OF NONLINEAR SCIENCE, 33(3), Mar, 2023 Peer-reviewed
Complex moment-based methods for differential eigenvalue problems

Imakura, Akira, Morikuni, Keiichi, Takayasu, Akitoshi

NUMERICAL ALGORITHMS, 92(1:SI) 693-721, Jan, 2023 Peer-reviewed
Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity

Jaquette, Jonathan, Lessard, Jean-Philippe, Takayasu, Akitoshi

Communications in Nonlinear Science and Numerical Simulation, 107, Apr, 2022 Peer-reviewedCorresponding author
A geometric characterization of unstable blow-up solutions with computer-assisted proof

Lessard, Jean-Philippe, Matsue, Kaname, Takayasu, Akitoshi

arXiv:2103.12390 [math.DS], Mar, 2021
Numerical validation of blow-up solutions with quasi-homogeneous compactifications

Matsue, Kaname, Takayasu, Akitoshi

NUMERISCHE MATHEMATIK, 145(3) 605-654, Jul, 2020 Peer-reviewed
A computer-assisted proof for nonlinear heat equations in the complex plane time

Takayasu, Akitoshi

RIMS Kôkyûroku Bessatsu, B82 47-66, 2020 Peer-reviewedCorresponding author
Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems

Imakura, A, Morikuni, K, Takayasu, A

Journal of Computational and Applied Mathematics, 369(1), Oct, 2019 Peer-reviewedCorresponding author
Rigorous numerical computations for 1D advection equations with variable coefficients

Takayasu, Akitoshi, Yoon, Suro, Endo, Yasunori

Japan Journal of Industrial and Applied Mathematics, 36(2) 357-384, Jul, 2019 Peer-reviewedCorresponding author
Model Free Prediction Using RNN for Behavior of the solution of Duﬃng Equation

Nozawa,Kenzo, Takayasu,Akitoshi, Endo,Yasunori

Proceedings of the Fuzzy System Symposium, 35 179-184, 2019
Behavior of Solutions of Model-Free Prediction of the Differential Equation describing the Phenomenon using RNN

Kinami,Yuki, Endo,Yasunori, Takayasu,Akitoshi

Proceedings of the Fuzzy System Symposium, 35 185-190, 2019
一般化エルミート固有値問題の周回積分型精度保証付き部分固有値計算

今倉, 暁, 保國, 惠一, 高安, 亮紀

日本応用数理学会2018年度年会予稿集, 189-190, Sep, 2018
Verified Partial Eigenvalue Computation for Generalized Hermitian Eigenproblems Using Contour Integrals

今倉暁, Imakura, A, 保國惠一, ikuni, K, 高安亮紀, Takayasu, A

Book of Abstracts, 47th Numerical Analysis Symposium (NAS2018), 1-4, Jun, 2018
スイッチトリラクタンスモータのインダクタンスに及ぼす巻線角度の影響

高橋勇人, 新宅勇一, 高安亮紀, 高橋徹

電気学会全国大会, (5-063), Mar, 2018
擬斉次コンパクト化を利用する爆発解の精度保証付き数値計算

高安, 亮紀, 松江, 要

2017年度応用数学合同研究集会講演予稿集, Dec, 2017 Corresponding author
Influence of Stator Pole on Magnetic Field Distribution of Switched Reluctance Motor

Takahashi, Toru, Shintaku, Yuichi, Takayasu, Akitoshi

Proceedings of 24th International Conference on Electrical Engineering, Jul, 2017 Peer-reviewed
Accurate method of verified computing for solutions of semilinear heat equations

Takayasu, Akitoshi, Mizuguchi, Makoto, Kubo, Takayuki, Shin'ichi, Oishi

Reliable computing, 25 74-99, Jul, 2017 Peer-reviewedCorresponding author
Fourier-Chebyshevスペクトル法を用いた変数係数1次元移流方程式の精度保証付き解法

高安, 亮紀, 尹, 授老, 遠藤, 靖典

Book of Abstracts, 46th Numerical Analysis Symposium (NAS2017), 111-114, Jun, 2017 Corresponding author
Numerical verification for existence of a global-in-time solution to semilinear parabolic equations

Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi

JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 315 1-16, May, 2017 Peer-reviewed
Numerical validation of blow-up solutions of ordinary differential equations

Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin'ichi Oishi

JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 314 10-29, Apr, 2017 Peer-reviewed

Books and Other Publications

精度保証付き数値計算の基礎

高安,亮紀 (Role: Contributor, 非線形方程式の精度保証付き数値解法)

Jul, 2018 (ISBN: 9784339028874)

Presentations

101

微分作用素の固有値に対する複素モーメントを用いた精度保証付き数値計算

今倉, 暁, 保國, 惠一, 高安, 亮紀

2023年並列／分散／協調処理に関するサマー・ワークショップ（SWoPP 2023）, 第35回「行列・固有値問題の解法とその応用」研究部会単独研究会, 函館
自己共役な微分作用素の固有値に対する周回積分型精度保証付き数値解法

今倉, 暁, 保國, 惠一, 高安, 亮紀

第49回数値解析シンポジウム, 岩手
あるK3曲面族についてのPicard-Fuchs微分方程式のモノドロミーに対する精度保証付き数値計算

石毛利昌, 高安, 亮紀

日本数学会2023年度年会
常微分方程式の爆発解の漸近展開と無限遠ダイナミクスの対応

松江要, 落合啓之, 小谷久寿, 高安, 亮紀

日本数学会2023年度年会
Julia 言語を用いた周回積分型固有値解法の並列実装と性能評価

瀬戸翔太, 高安, 亮紀

日本応用数理学会若手の会第8回学生研究発表会
遅延Duffing方程式の結合系に対する同期周期解の精度保証付き数値計算

高橋和暉, 高安, 亮紀

日本応用数理学会若手の会第8回学生研究発表会
チェビシェフ補間の厳密な求根方法のJulia言語を用いた高速実装

二平泰知, 近藤慎佑, 高安, 亮紀

日本応用数理学会若手の会第8回学生研究発表会
ジブロック共重合体モデルの厳密な数値求積法

高安, 亮紀

日本応用数理学会第19回研究部会連合発表会
精度保証付き数値計算の実装環境の現状 - MATLAB, Julia, C++ -

高安, 亮紀

第1回区間解析研究会
半群理論に基づく一般的な時間発展方程式に対する厳密な数値求積法

高安, 亮紀

2022年度応用数学合同研究集会
常微分方程式の爆発解の漸近展開と無限遠ダイナミクスの対応

松江要, 落合啓之, 小谷久寿, 高安, 亮紀

2022年度応用数学合同研究集会
無限次元固有値問題に対する複素モーメント型解法とその性能評価

今倉暁, 保國惠一, 高安, 亮紀

日本応用数理学会「行列・固有値問題の解法とその応用」研究部会第34回研究会
遅延Duffing方程式の結合系の完全同期解に対する精度保証付き数値計算

高橋和暉, 高安, 亮紀

RIMS 共同研究（公開型）時間遅れ系と数理科学：理論と応用の新たな展開に向けて
時間発展方程式に対する厳密な数値求積法の最近の進展

高安, 亮紀

RIMS 共同研究（公開型）数値解析が拓く次世代情報社会～エッジから富岳まで～ Invited
A general approach for rigorously integrating PDEs using semigroup theory

Takayasu, Akitoshi

CRM Applied Mathematics Seminars Invited
Chebyshev補間の最大値最小値の精度保証付き数値計算

近藤慎佑, 高安, 亮紀

日本応用数理学会2022年度年会
遅延Duffing方程式の結合系に対する同期解の精度保証付き数値計算

高橋和暉, 高安, 亮紀

日本応用数理学会2022年度年会
一般化エルミート固有値問題に対するRayleigh-Ritz版の周回積分型精度保証付き部分固有対計算

今倉暁, 保國惠一, 高安, 亮紀

日本応用数理学会2022年度年会
Rigorous integrator for higher spatial dimensional PDEs

Takayasu, Akitoshi, Lessard, Jean-Philippe

SIAM Conference on Nonlinear Waves and Coherent Structures (NWCS22)
Chebyshev interpolation for rigorous integrator of differential equations

Takayasu, Akitoshi

International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022), Mar 14, 2022

Professional Memberships

2012 - Present

The Mathematical Society of Japan
2009 - Present

The Japan Society for Industrial and Applied Mathematics
2011 - 2021

JAPAN SOCIETY FOR SIMULATION TECHNOLOGY

Research Projects

Studies on rigorous integrator for infinite dimensional dynamical systems

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2022 - Mar, 2026
無限次元力学系に対する計算機援用証明を通した国際共同研究

研究＋αの活動支援プログラム, 科学技術振興機構(JST), Apr, 2021 - Mar, 2024

高安亮紀
双曲型偏微分方程式に対する解の精度保証付き数値計算理論の研究

科学研究費補助金若手研究, 日本学術振興会, Apr, 2018 - Mar, 2022

高安亮紀
Studies on verified numerical computations for nonlinear parabolic partial differential equations

Grants-in-Aid for Scientific Research, Grant-in-Aid for Young Scientists (B), Japan Society for the Promotion of Science, Apr, 2015 - Mar, 2018

Takayasu Akitoshi, OISHI SHIN'ICHI, KUBO TAKAYUKI, MATSUE KANAME, MIZUGUCHI MAKOTO