ホーム > 高安 亮紀/ Takayasu, Akitoshi
高安 亮紀
Takayasu, Akitoshi
システム情報系 , 准教授 Institute of Systems and Information Engineering , Associate Professor
-
TRiSTAR第1期フェロー(2022年前期)高安 亮紀
2022-04-01
高安 亮紀
オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。
-
1.
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
-
2.
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
-
3.
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
-
4.
Complex moment-based methods for differential eigenvalue problems
Imakura, Akira; Morikuni, Keiichi; Takayasu, Akitoshi
NUMERICAL ALGORITHMS 92: 693 (2023) Semantic Scholar
-
5.
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
-
6.
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)
-
7.
Global dynamics in nonconservative nonlinear Schrödinger equations
Jaquette, Jonathan; Lessard, Jean-Philippe; Takayasu, Akitoshi
arXiv:2012.09734 [math.AP] (2020)
-
8.
Numerical validation of blow-up solutions with quasi-homogeneous compactifications
Matsue, Kaname; Takayasu, Akitoshi
NUMERISCHE MATHEMATIK 145: 605 (2020) Semantic Scholar
-
9.
A computer-assisted proof for nonlinear heat equations in the complex plane time
Takayasu, Akitoshi
RIMS Kôkyûroku Bessatsu B82: 47 (2020)
-
10.
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
-
11.
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)
-
12.
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
-
13.
RNN による現象を記述した微分方程式の解のふるまいのモデルフリー予測
木南, 優希; 遠藤, 靖典; 高安, 亮紀
Proceedings of the Fuzzy System Symposium 35: 185 (2019)
-
14.
RNN による Duffing 方程式の解のふるまいのモデルフリー予測
野澤,健三; 遠藤,靖典; 高安,亮紀
Proceedings of the Fuzzy System Symposium 35: 179 (2019)
-
15.
一般化エルミート固有値問題の周回積分型精度保証付き部分固有値計算
今倉, 暁; 保國, 惠一; 高安, 亮紀
日本応用数理学会2018年度年会 予稿集 189 (2018)
-
16.
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)
-
17.
スイッチトリラクタンスモータのインダクタンスに及ぼす巻線角度の影響
高橋勇人; 新宅勇一; 高安亮紀; 高橋徹
電気学会全国大会 (2018)
-
18.
擬斉次コンパクト化を利用する爆発解の精度保証付き数値計算
高安, 亮紀; 松江, 要
2017年度応用数学合同研究集会 講演予稿集 (2017)
-
19.
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)
-
20.
Accurate method of verified computing for solutions of semilinear heat equations
Takayasu, Akitoshi; Mizuguchi, Makoto; Kubo, Takayuki; Shin'ichi, Oishi
Reliable computing 25: 74 (2017)
-
1.
精度保証付き数値計算の基礎
高安,亮紀
(担当:分担執筆, 範囲:非線形方程式の精度保証付き数値解法)
2018年7月 (ISBN: 9784339028874)
-
81.
遅延Duffing方程式の結合系の同期解の精度保証付き数値計算
高橋, 和暉; 高安, 亮紀
第49回数値解析シンポジウム
-
82.
遅延微分方程式系の周期解の数値的存在証明
高安, 亮紀
第3回微分方程式セミナー 招待有り
-
83.
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)
-
84.
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)
-
85.
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)
-
86.
Rigorous forward numerical integration of general evolutionary partial differential equations based on semigroup theory
Takayasu, Akitoshi; Duchesne, Gabriel; Lessard, Jean-Philippe
IUTAM Symposium on Nonlinear dynamics for design of mechanical systems across different length/time scales (IUTAM 2023)
-
87.
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) 招待有り
-
88.
Global Dynamics and Blowup in Some Quadratic PDEs
Jaquette, Jonathan; Lessard, Jean-Philippe; Takayasu, Akitoshi
10th International Congress on Industrial and Applied Mathematics (ICIAM 2023 TOKYO)
-
89.
半線形放物型方程式の時間大域解の計算機援用証明
高安, 亮紀; Duchesne, Gabriel; Lessard, Jean-Philippe
日本数学会2023年度秋季総合分科会
-
90.
時間発展方程式の厳密な数値求積法の零点探索問題としての定式化
高安, 亮紀
2023年度応用数学合同研究集会
-
91.
二次非線形性を持つ複素数値発展方程式のヘテロクリニック軌道と特異性の計算機援用証明
高安, 亮紀
第67回拡大MCMEセミナー One day workshop on differential equations in the complex domain 招待有り
-
92.
チェビシェフ補間を用いた数学関数の精度保証付き数値計算
近藤, 慎佑; 高安, 亮紀
日本応用数理学会 第20回 研究部会連合発表会
-
93.
一般化固有値問題の精度保証付き数値計算の並列実装とその評価
瀬戸, 翔太; 高安, 亮紀
日本応用数理学会若手の会 第9回学生研究発表会
-
94.
第二種チェビシェフ点に基づくスペクトル選点法を用いた微分方程式の数値計算
二平, 泰知; 高安, 亮紀
日本応用数理学会若手の会 第9回学生研究発表会
-
95.
Julia言語を用いたヤコビ多項式による補間とその精度保証
阪田, 智也; 高安, 亮紀
日本応用数理学会若手の会 第9回学生研究発表会
-
96.
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)
-
97.
微分作用素の固有値に対する複素モーメントを用いた精度保証付き数値計算
今倉, 暁; 保國, 惠一; 高安, 亮紀
2023年並列/分散/協調処理に関するサマー・ワークショップ(SWoPP 2023), 第35回「行列・固有値問題の解法とその応用」研究部会 単独研究会, 函館
-
98.
自己共役な微分作用素の固有値に対する周回積分型精度保証付き数値解法
今倉, 暁; 保國, 惠一; 高安, 亮紀
第49回数値解析シンポジウム, 岩手
-
99.
Homoclinics and global existence of solutions to a quadratic nonlinear Schrodinger equation
高安, 亮紀; J., Jaquette
日本数学会2020年度秋季総合分科会
-
100.
Global dynamics in a quadratic nonlinear Schrodinger equation
高安,亮紀
第4回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2020) 招待有り
知財情報はまだありません。
1,105 total views