高安 亮紀(タカヤス アキトシ)
- 所属
- システム情報系
- 職名
- 助教
- URL
- eメール
- %O<FDOJNCD^miMDNFgONPFP=<g<>gEK
- 研究分野
数学基礎・応用数学 計算科学 - 研究キーワード
数値解析 精度保証付き数値計算 無限次元力学系 - 研究課題
無限次元力学系に対する厳密な数値求積法の研究 2022-04 -- 2026-03 高安亮紀 日本学術振興会/科学研究費補助金 基盤研究(C) 無限次元力学系に対する計算機援用証明を通した国際共同研究 2021-04 -- 2024-03 高安 亮紀 科学技術振興機構(JST)/研究+αの活動支援プログラム 双曲型偏微分方程式に対する解の精度保証付き数値計算理論の研究 2018-04 -- 2022-03 高安亮紀 日本学術振興会/科学研究費補助金 若手研究 非線形放物型方程式に対する解の精度保証付き数値計算理論の研究 2015-04 -- 2018-03 高安亮紀 日本学術振興会/科学研究費 若手研究(B) - 取得学位
2012-03-15 博士(理学) 早稲田大学 - 所属学協会
2012 -- (現在) 日本数学会 2011 -- (現在) 日本シミュレーション学会 2009 -- (現在) 日本応用数理学会 - 受賞
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回大川功記念論文賞 - 論文
- 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/pp.1-18, 2022-12-20 - Complex moment-based methods for differential eigenvalue problems
Imakura Akira; Morikuni Keiichi; Takayasu Akitoshi
Numerical Algorithms, 2022-12-12 - 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 - Global dynamics in nonconservative nonlinear Schrödinger equations
Jaquette Jonathan; Lessard Jean-Philippe; Takayasu Akitoshi
Advances in Mathematics/398, 2022-03 - 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 - Complex moment-based methods for differential eigenvalue problems
Imakura Akira; Morikuni Keiichi; Takayasu Akitoshi
arXiv/arXiv:2205.00971 [math.NA]/pp.1-25, 2022-05 - Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems
Imakura Akira; Morikuni Keiichi; Takayasu Akitoshi
arXiv/arXiv:2110.01822 [math.NA]/pp.1-18, 2021-10 - 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-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 eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems
- 著書
- 非線形方程式の精度保証付き数値解法
高安 亮紀
精度保証付き数値計算の基礎/pp.136-164, 2018-07
- 非線形方程式の精度保証付き数値解法
- 会議発表等
- 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 - さらに表示...
- Chebyshev interpolation for rigorous integrator of differential equations
- 担当授業科目
2022-04 -- 2022-08 リスク工学前期特別研究II 筑波大学 2022-10 -- 2023-02 リスク工学前期特別研究II 筑波大学 2022-10 -- 2023-02 リスク・レジリエンス工学修士インターンシップB 筑波大学 2022-04 -- 2022-08 リスク・レジリエンス工学修士インターンシップB 筑波大学 2022-04 -- 2022-08 リスク工学後期インターンシップB 筑波大学 2022-10 -- 2023-02 リスク工学後期インターンシップB 筑波大学 2022-10 -- 2022-12 リスク工学基礎 筑波大学 2022-10 -- 2023-02 リスク・レジリエンス工学博士PBL演習 筑波大学 2022-04 -- 2022-08 リスク・レジリエンス工学博士PBL演習 筑波大学 2022-04 -- 2022-08 リスク工学前期特別研究I 筑波大学 さらに表示...
(最終更新日: 2022-06-18)