高安亮紀 (Akitoshi Takayasu) - マイポータル

基本情報

所属: 筑波大学システム情報系准教授

学位: 博士（理学）(2012年3月早稲田大学)

J-GLOBAL ID: 201301084573341023
researchmap会員ID: 7000004944

外部リンク: http://www.risk.tsukuba.ac.jp/~takitoshi/

研究キーワード

研究分野

受賞

2017年9月

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

高安亮紀
2016年10月

JSST 2016 Outstanding Presentation Award
2016年6月

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

高安亮紀
2016年4月

第4回 WASEDA e-Teaching Award
2011年10月

日本シミュレーション学会奨励賞
2011年6月

EASIAM 2011 Student Paper Competition 3rd Prize
2009年

第20回大川功記念論文賞

論文

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 2023年5月査読有り
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) 2023年3月査読有り
Complex moment-based methods for differential eigenvalue problems

Imakura, Akira, Morikuni, Keiichi, Takayasu, Akitoshi

NUMERICAL ALGORITHMS 92(1:SI) 693-721 2023年1月査読有り
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 2022年4月査読有り責任著者
A geometric characterization of unstable blow-up solutions with computer-assisted proof

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

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

Matsue, Kaname, Takayasu, Akitoshi

NUMERISCHE MATHEMATIK 145(3) 605-654 2020年7月査読有り
A computer-assisted proof for nonlinear heat equations in the complex plane time

Takayasu, Akitoshi

RIMS Kôkyûroku Bessatsu B82 47-66 2020年査読有り責任著者
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) 2019年10月査読有り責任著者
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 2019年7月査読有り責任著者
RNN による Duﬃng 方程式の解のふるまいのモデルフリー予測

野澤,健三, 遠藤,靖典, 高安,亮紀

日本知能情報ファジィ学会ファジィシステムシンポジウム講演論文集 35 179-184 2019年
RNN による現象を記述した微分方程式の解のふるまいのモデルフリー予測

木南, 優希, 遠藤, 靖典, 高安, 亮紀

日本知能情報ファジィ学会ファジィシステムシンポジウム講演論文集 35 185-190 2019年
一般化エルミート固有値問題の周回積分型精度保証付き部分固有値計算

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

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

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

第47回数値解析シンポジウム講演予稿集 1-4 2018年6月
スイッチトリラクタンスモータのインダクタンスに及ぼす巻線角度の影響

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

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

高安, 亮紀, 松江, 要

2017年度応用数学合同研究集会講演予稿集 2017年12月責任著者
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 2017年7月査読有り
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 2017年7月査読有り責任著者
Fourier-Chebyshevスペクトル法を用いた変数係数1次元移流方程式の精度保証付き解法

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

第46回数値解析シンポジウム講演予稿集 111-114 2017年6月責任著者
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 2017年5月査読有り
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 2017年4月査読有り

もっとみる

書籍等出版物

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

高安,亮紀 (担当:分担執筆, 範囲:非線形方程式の精度保証付き数値解法)

2018年7月 (ISBN: 9784339028874)

講演・口頭発表等

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 共同研究（公開型）数値解析が拓く次世代情報社会～エッジから富岳まで～招待有り
A general approach for rigorously integrating PDEs using semigroup theory

Takayasu, Akitoshi

CRM Applied Mathematics Seminars 招待有り
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) 2022年3月14日

もっとみる

所属学協会

2012年 - 現在

日本数学会
2009年 - 現在

日本応用数理学会
2011年 - 2021年

日本シミュレーション学会

共同研究・競争的資金等の研究課題

無限次元力学系に対する厳密な数値求積法の研究

日本学術振興会科学研究費補助金基盤研究(C) 基盤研究(C) 2022年4月 - 2026年3月

高安亮紀
無限次元力学系に対する計算機援用証明を通した国際共同研究

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

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

日本学術振興会科学研究費補助金若手研究 2018年4月 - 2022年3月

高安亮紀
非線形放物型方程式に対する解の精度保証付き数値計算理論の研究

日本学術振興会科学研究費若手研究(B) 若手研究(B) 2015年4月 - 2018年3月

高安亮紀