高安 亮紀(タカヤス アキトシ)
- 所属
- システム情報系
- 職名
- 准教授
- ORCID
- 0009-0005-5087-4894
- URL
- eメール
- 5?,64?:>34N]Y=4>6W?>@6@-,W,.W5;
- 研究分野
数学基礎・応用数学 計算科学 - 研究キーワード
数値解析 精度保証付き数値計算 無限次元力学系 - 研究課題
無限次元力学系に対する厳密な数値求積法の研究 2022-04 -- 2026-03 高安亮紀 日本学術振興会/科学研究費補助金 基盤研究(C) 無限次元力学系に対する計算機援用証明を通した国際共同研究 2021-04 -- 2024-03 高安 亮紀 科学技術振興機構(JST)/研究+αの活動支援プログラム 双曲型偏微分方程式に対する解の精度保証付き数値計算理論の研究 2018-04 -- 2022-03 高安亮紀 日本学術振興会/科学研究費補助金 若手研究 非線形放物型方程式に対する解の精度保証付き数値計算理論の研究 2015-04 -- 2018-03 高安亮紀 日本学術振興会/科学研究費 若手研究(B) - 取得学位
2012-03-15 博士(理学) 早稲田大学 - 所属学協会
2012 -- (現在) 日本数学会 2011 -- 2021 日本シミュレーション学会 2009 -- (現在) 日本応用数理学会 - 受賞
2023-09 令和5年度 筑波大学若手教員奨励賞 2020-04 令和元年度システム情報系教育貢献賞 2017-09 日本応用数理学会2017年度年会最優秀賞ポスター賞 2016-10 JSST 2016 Outstanding Presentation Award 2016-06 2015年度若手優秀講演賞 2016-04 第4回 WASEDA e-Teaching Award 2011-10 日本シミュレーション学会奨励賞 2011-06 EASIAM 2011 Student Paper Competition 3rd Prize 2009 第20回大川功記念論文賞 - 論文
- Monodromy approach to pair production of charged black holes and electric fields
Chen Chiang-Mei; Ishige Toshimasa; Kim Sang Pyo; Takay...
CHINESE JOURNAL OF PHYSICS/86/pp.255-268, 2023-12 - 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, 2023-05 - 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-03 - Complex moment-based methods for differential eigenvalue problems
Imakura Akira; Morikuni Keiichi; Takayasu Akitoshi
NUMERICAL ALGORITHMS/92(1:SI)/pp.693-721, 2023-01 - Rigorous numerics for nonlinear heat equations in the complex plane of time
Takayasu Akitoshi; Lessard Jean-Philippe; Jaquette Jonat...
NUMERISCHE MATHEMATIK/151(3)/pp.693-750, 2022-05 - 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-04 - Global dynamics in nonconservative nonlinear Schrödinger equations
Jaquette Jonathan; Lessard Jean-Philippe; Takayasu Akitoshi
Advances in Mathematics/398, 2022-03 - Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity
Matsue Kaname; Takayasu Akitoshi
Journal of Computational and Applied Mathematics/374, 2020-08 - Numerical validation of blow-up solutions with quasi-homogeneous compactifications
Matsue Kaname; Takayasu Akitoshi
NUMERISCHE MATHEMATIK/145(3)/pp.605-654, 2020-07 - A computer-assisted proof for nonlinear heat equations in the complex plane time
Takayasu Akitoshi
RIMS Kôkyûroku Bessatsu/B82/pp.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 - RNN による現象を記述した微分方程式の解のふるまいのモデルフリー予測
木南 優希; 遠藤 靖典; 高安 亮紀
日本知能情報ファジィ学会 ファジィ システム シンポジウム 講演論文集/35/pp.185-190, 2019 - RNN による Duffing 方程式の解のふるまいのモデルフリー予測
野澤 健三; 遠藤 靖典; 高安 亮紀
日本知能情報ファジィ学会 ファジィ システム シンポジウム 講演論文集/35/pp.179-184, 2019 - 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)/pp.357-384, 2019-07 - Accurate method of verified computing for solutions of semilinear heat equations
Takayasu Akitoshi; Mizuguchi Makoto; Kubo Takayuki; Shin'...
Reliable computing/25/pp.74-99, 2017-07 - A method of verified computations for solutions to semilinear parabolic equations using semigroup theory
Mizuguchi Makoto; Takayasu Akitoshi; Kubo Takayuki; Oishi...
SIAM Journal on Numerical Analysis/55(2)/pp.980-1001, 2017-04 - Numerical verification for existence of a global-in-time solution to semilinear parabolic equations
Mizuguchi Makoto; Takayasu Akitoshi; Kubo Takayuki; Oishi...
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS/315/pp.1-16, 2017-05 - Numerical validation of blow-up solutions of ordinary differential equations
Takayasu Akitoshi; Matsue Kaname; Sasaki Takiko; Tanaka ...
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS/314/pp.10-29, 2017-04 - On the embedding constant of the Sobolev type inequality for fractional derivatives
Mizuguchi Makoto; Takayasu Akitoshi; Kubo Takayuki; Oishi...
Nonlinear Theory and Its Applications, IEICE/7(3)/pp.386-394, 2016-07 - Verified computations for hyperbolic 3-manifolds
Hoffman Neil; Ichihara Kazuhiro; Kashiwagi Masahide; Masai H...
Experimental Mathematics/25(1)/pp.66-78, 2015-10 - 一般化エルミート固有値問題の周回積分型精度保証付き部分固有値計算
今倉 暁; 保國 惠一; 高安 亮紀
日本応用数理学会2018年度年会 予稿集/pp.189-190, 2018-09 - スイッチトリラクタンスモータのインダクタンスに及ぼす巻線角度の影響
高橋勇人; 新宅勇一; 高安亮紀; 高橋徹
電気学会全国大会/(5-063 ), 2018-03 - 擬斉次コンパクト化を利用する爆発解の精度保証付き数値計算
高安 亮紀; 松江 要
2017年度応用数学合同研究集会 講演予稿集, 2017-12 - Fourier-Chebyshevスペクトル法を用いた変数係数1次元移流方程式の精度保証付き解法
高安 亮紀; 尹 授老; 遠藤 靖典
第46回数値解析シンポジウム 講演予稿集/pp.111-114, 2017-06 - Verified Partial Eigenvalue Computation for Generalized Hermitian Eigenproblems Using Contour Integrals
今倉 暁 (Imakura A.); 保國 惠一 (Morikuni K.); 高安 亮紀 (Takayasu A.)
第47回数値解析シンポジウム 講演予稿集/pp.1-4, 2018-06 - さらに表示...
- Monodromy approach to pair production of charged black holes and electric fields
- 著書
- 非線形方程式の精度保証付き数値解法
高安 亮紀
精度保証付き数値計算の基礎/pp.136-164, 2018-07
- 非線形方程式の精度保証付き数値解法
- 会議発表等
- 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...
SIAM Conference on Applications of Dynamical Systems (DS23)/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 - さらに表示...
- A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
- 担当授業科目
2024-10 -- 2025-02 リスク工学後期特別演習 筑波大学 2024-04 -- 2024-08 リスク工学後期特別演習 筑波大学 2024-04 -- 2024-08 リスク・レジリエンス工学博士インターンシップA 筑波大学 2024-10 -- 2025-02 リスク・レジリエンス工学博士インターンシップA 筑波大学 2024-10 -- 2025-02 リスク・ケーススタディ研究 筑波大学 2024-04 -- 2024-08 リスク・ケーススタディ研究 筑波大学 2024-10 -- 2025-02 リスク・レジリエンス工学博士インターンシップB 筑波大学 2024-04 -- 2024-08 リスク・レジリエンス工学博士インターンシップB 筑波大学 2024-10 -- 2025-02 リスク工学後期インターンシップB 筑波大学 2024-04 -- 2024-08 リスク工学後期インターンシップB 筑波大学 さらに表示... - 学協会等委員
2023-10 -- (現在) 日本数学会 応用数学分科会委員 2023-04 -- 2024-03 日本応用数理学会 学会誌「応用数理」学術会合報告・書評部門主査 2022-04 -- (現在) 日本応用数理学会 JSIAM Letters 編集委員 2021-04 -- 2024-03 日本応用数理学会 学会誌「応用数理」編集委員 2020-04 -- (現在) 日本応用数理学会 計算の品質 運営幹事 2019-04 -- 2023-03 日本応用数理学会 若手の会 運営幹事 2018-04 -- 2022-03 日本応用数理学会 JSIAM Letters 幹事編集委員 2017-04 -- 2018-03 日本応用数理学会 JSIAM Letters 編集委員 2015-09 -- 2016-09 日本応用数理学会 2016年度年会 実行委員 2015-10 -- 2016-07 電子情報通信学会 (IEICE) Secretary of the Special Section on NOLTA journal さらに表示... - 学内管理運営業績
2024-04 -- (現在) 総務委員会(委員長・リスク・レジリエンス工学学位P) 2024-04 -- (現在) 予算委員会(委員長・リスク・レジリエンス工学学位P) 2023-04 -- (現在) リカレント教育推進WG(リスク・レジリエンス工学学位P) 2024-04 -- (現在) 新入生オリエンテーション委員会兼大学説明会担当(工学システム学類) 2022-04 -- 2024-03 広報委員会(工学システム学類) 2021-04 -- (現在) 学年担任(工学システム学類) 2021-04 -- 2023-03 就職委員会(リスク・レジリエンス工学学位P) 2021-04 -- 2024-03 学務委員会(リスク・レジリエンス工学学位P) 2021-04 -- 2022-03 カリキュラム委員会(リスク・レジリエンス工学学位P) 2020-04 -- (現在) 広報委員会(リスク・レジリエンス工学学位P) さらに表示...
(最終更新日: 2024-04-28)