ホーム > 高安 亮紀/ Takayasu, Akitoshi
高安 亮紀
Takayasu, Akitoshi
システム情報系 , 准教授 Institute of Systems and Information Engineering , Associate Professor
-
TRiSTAR第1期フェロー(2022年前期)高安 亮紀
2022-04-01
高安 亮紀
オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。
-
1.
Multi-order asymptotic expansion of blow-up solutions for autonomous ODEs: II. Dynamical correspondence
Kodani, Hisatoshi; Matsue, Kaname; Ochiai, Hiroyuki; Takayasu, Akitoshi
NONLINEARITY 38: (2025)
-
2.
A Rigorous Integrator and Global Existence for Higher-Dimensional Semilinear Parabolic PDEs via Semigroup Theory
Duchesne, Gabriel William; Lessard, Jean-Philippe; Takayasu, Akitoshi
JOURNAL OF SCIENTIFIC COMPUTING 102: (2025)
-
3.
区間チェビシェフ補間による精度保証付き数値計算
近藤, 慎佑; 高安, 亮紀
Transactions of the Japan Society for Industrial and Applied Mathematics 34: 98 (2024)
-
4.
Monodromy approach to pair production of charged black holes and electric fields
Chen, Chiang-Mei; Ishige, Toshimasa; Kim, Sang Pyo; Takayasu, AkitoshiWei, Chun-Yu
CHINESE JOURNAL OF PHYSICS 86: 255 (2023) Semantic Scholar
-
5.
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 (2023) Semantic Scholar
-
6.
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: (2023) Semantic Scholar
-
7.
Complex moment-based methods for differential eigenvalue problems
Imakura, Akira; Morikuni, Keiichi; Takayasu, Akitoshi
NUMERICAL ALGORITHMS 92: 693 (2023) Semantic Scholar
-
8.
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) Semantic Scholar
-
9.
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)
-
10.
Global dynamics in nonconservative nonlinear Schrödinger equations
Jaquette, Jonathan; Lessard, Jean-Philippe; Takayasu, Akitoshi
arXiv:2012.09734 [math.AP] (2020)
-
11.
Numerical validation of blow-up solutions with quasi-homogeneous compactifications
Matsue, Kaname; Takayasu, Akitoshi
NUMERISCHE MATHEMATIK 145: 605 (2020) Semantic Scholar
-
12.
A computer-assisted proof for nonlinear heat equations in the complex plane time
Takayasu, Akitoshi
RIMS Kôkyûroku Bessatsu B82: 47 (2020)
-
13.
Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems
Imakura, A.; Morikuni, K.; Takayasu, A.
Journal of Computational and Applied Mathematics 369: (2019) Semantic Scholar
-
14.
Rigorous numerics for nonlinear heat equations in the complex plane of time
Takayasu, Akitoshi; Lessard, Jean-Philippe; Jaquette, Jonathan; Okamoto, Hisashi
arXiv:1910.12472 [math.DS] (2019)
-
15.
Rigorous numerical computations for 1D advection equations with variable coefficients
Takayasu, Akitoshi; Yoon, Suro; Endo, Yasunori
Japan Journal of Industrial and Applied Mathematics 36: 357 (2019) Semantic Scholar
-
16.
RNN による現象を記述した微分方程式の解のふるまいのモデルフリー予測
木南, 優希; 遠藤, 靖典; 高安, 亮紀
Proceedings of the Fuzzy System Symposium 35: 185 (2019)
-
17.
RNN による Duffing 方程式の解のふるまいのモデルフリー予測
野澤,健三; 遠藤,靖典; 高安,亮紀
Proceedings of the Fuzzy System Symposium 35: 179 (2019)
-
18.
一般化エルミート固有値問題の周回積分型精度保証付き部分固有値計算
今倉, 暁; 保國, 惠一; 高安, 亮紀
日本応用数理学会2018年度年会 予稿集 189 (2018)
-
19.
Verified Partial Eigenvalue Computation for Generalized Hermitian Eigenproblems Using Contour Integrals
今倉 暁; Imakura, A.; 保國 惠一; ikuni, K. (+1 著者) Takayasu, A.
Book of Abstracts, 47th Numerical Analysis Symposium (NAS2018) 1 (2018)
-
20.
スイッチトリラクタンスモータのインダクタンスに及ぼす巻線角度の影響
高橋勇人; 新宅勇一; 高安亮紀; 高橋徹
電気学会全国大会 (2018)
-
1.
精度保証付き数値計算の基礎
高安,亮紀
(担当:分担執筆, 範囲:非線形方程式の精度保証付き数値解法)
2018年7月 (ISBN: 9784339028874)
-
101.
時間発展方程式の厳密な数値求積法の零点探索問題としての定式化
高安, 亮紀
2023年度応用数学合同研究集会
-
102.
二次非線形性を持つ複素数値発展方程式のヘテロクリニック軌道と特異性の計算機援用証明
高安, 亮紀
第67回拡大MCMEセミナー One day workshop on differential equations in the complex domain 招待有り
-
103.
チェビシェフ補間を用いた数学関数の精度保証付き数値計算
近藤, 慎佑; 高安, 亮紀
日本応用数理学会 第20回 研究部会連合発表会
-
104.
一般化固有値問題の精度保証付き数値計算の並列実装とその評価
瀬戸, 翔太; 高安, 亮紀
日本応用数理学会若手の会 第9回学生研究発表会
-
105.
第二種チェビシェフ点に基づくスペクトル選点法を用いた微分方程式の数値計算
二平, 泰知; 高安, 亮紀
日本応用数理学会若手の会 第9回学生研究発表会
-
106.
Julia言語を用いたヤコビ多項式による補間とその精度保証
阪田, 智也; 高安, 亮紀
日本応用数理学会若手の会 第9回学生研究発表会
-
107.
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)
-
108.
微分作用素の固有値に対する複素モーメントを用いた精度保証付き数値計算
今倉, 暁; 保國, 惠一; 高安, 亮紀
2023年並列/分散/協調処理に関するサマー・ワークショップ(SWoPP 2023), 第35回「行列・固有値問題の解法とその応用」研究部会 単独研究会, 函館
-
109.
自己共役な微分作用素の固有値に対する周回積分型精度保証付き数値解法
今倉, 暁; 保國, 惠一; 高安, 亮紀
第49回数値解析シンポジウム, 岩手
-
110.
Homoclinics and global existence of solutions to a quadratic nonlinear Schrodinger equation
高安, 亮紀; J., Jaquette
日本数学会2020年度秋季総合分科会
-
111.
Global dynamics in a quadratic nonlinear Schrodinger equation
高安,亮紀
第4回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2020) 招待有り
-
112.
Computer-assisted proofs of heteloclinic orbits to a quadratic nonlinear Schrodinger equation
高安, 亮紀; J., Jaquette; J.-P., Lessard
2020年度応用数学合同研究集会
-
113.
Global existence and heteloclinics/homoclinics to a quadratic nonlinear Schrodinger equation
Takayasu,Akitoshi
Czech-Japanese Seminar in Applied Mathematics
-
114.
Global dynamics in a quadratic nonlinear Schrodinger equation
J., Jaquette; J.-P., Lessard; 高安, 亮紀
日本数学会2021年度年会
-
115.
Global dynamics in nonconservative nonlinear Schrodinger equations
高安, 亮紀
京都大学 NLPDE セミナー 招待有り
-
116.
Rigorous integrator for higher spatial dimensional PDEs
Takayasu, Akitoshi; Lessard, Jean-Philippe
SIAM Conference on Nonlinear Waves and Coherent Structures (NWCS22)
-
117.
Chebyshev補間の最大値最小値の精度保証付き数値計算
近藤慎佑; 高安, 亮紀
日本応用数理学会2022年度年会
-
118.
遅延Duffing方程式の結合系に対する同期解の精度保証付き数値計算
高橋和暉; 高安, 亮紀
日本応用数理学会2022年度年会
-
119.
一般化エルミート固有値問題に対するRayleigh-Ritz版の周回積分型精度保証付き部分固有対計算
今倉暁; 保國惠一; 高安, 亮紀
日本応用数理学会2022年度年会
-
120.
A general approach for rigorously integrating PDEs using semigroup theory
Takayasu, Akitoshi
CRM Applied Mathematics Seminars 招待有り
知財情報はまだありません。
1,342 total views