ホーム > 高安 亮紀/ 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)
-
41.
Rigorous integrator for nonlinear heat equations in the complex plane of time using semigroup theory
Takayasu, Akitoshi
Workshop: Rigorous Computational Dynamics in Infinite Dimensions 2019年4月 招待有り
-
42.
Numerical validation of periodic orbit to delay differential equations via Newton-Kantorovich argument
Takayasu, Akitoshi
The 1st Hungary-Japan Workshop on Delay Equations and Mathematical Epidemiology 2019年4月
-
43.
複素Ginzburg-Landau方程式に対する解の精度保証付き数値計算
高安,亮紀
日本数学会2019年度年会 2019年3月17日
-
44.
一般化エルミート固有値問題の部分固有値計算における周回積分に基づく精度保証法の改良
今倉, 暁; 保國, 惠一; 高安, 亮紀
日本応用数理学会 第15回研究部会連合発表会, つくば 2019年3月4日
-
45.
時間発展方程式の線形化問題に対する解作用素の厳密評価
高安,亮紀
日本応用数理学会 第15回 研究部会連合発表会 2019年3月4日
-
46.
チェビシェフ級数を用いた非線形常微分方程式系の精度保証付き数値解法
舩越康太; 高安, 亮紀
日本応用数理学会 第15回 研究部会連合発表会 2019年3月4日
-
47.
Rigorous spectral methods for initial value problems of ordinary differential equations
高安,亮紀
Numerical Verification (NIVEA) 2019 2019年2月26日
-
48.
非線形熱方程式の複素時間領域における解の挙動と精度保証付き数値計算
高安,亮紀
千葉大学解析セミナー 2019年2月12日 招待有り
-
49.
精度保証付き数値計算を利用する偏微分方程式の解の数値的検証法
高安,亮紀
第3回RCMSサロン「精度保証付き数値計算の有用性」 2018年12月12日 招待有り
-
50.
非線形熱方程式の複素時間における解の精度保証付き数値計算
高安,亮紀
京都大学数理解析研究所RIMS研究集会 2018年11月14日 招待有り
-
51.
"微分方程式の爆発解の精度保証付き数値計算:指数関数非線型項を持つ場合"
松江要; 高安, 亮紀
日本数学会2018年度秋季総合分科会 2018年9月24日
-
52.
非線形熱方程式の複素時間における解の挙動:精度保証付き数値計算によるアプローチ
高安,亮紀
大分微分方程式研究集会 2018年9月22日 招待有り
-
53.
非線形方程式の精度保証付き数値解法
高安,亮紀
「精度保証付き数値計算の基礎」チュートリアル 2018年9月10日 招待有り
-
54.
Verified computing for partial eigenvalues using a contour integral-type eigensolver
Takayasu, A; Imakura, A; Morikuni, Keiichi
18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, Tokyo, Japan 2018年9月10日
-
55.
Generation of $C_0$ semigroup on sequence spaces for rigorous spectral methods in PDEs
Takayasu, Akitoshi; Motohiro, sobajima
18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations 2018年9月10日
-
56.
一般化エルミート固有値問題の周回積分型精度保証付き部分固有値計算
今倉, 暁; 保國, 惠一; 高安, 亮紀
日本応用数理学会2018年度年会, 名古屋 2018年9月3日
-
57.
微分方程式の爆発解の精度保証付き数値計算:ケーススタディ - 指数関数非線型項を持つ場合
松江要; 高安, 亮紀
日本応用数理学会2018年度年会 2018年9月3日
-
58.
フーリエ係数の時間発展方程式に対する解の精度保証付き数値計算
高安,亮紀
日本応用数理学会2018年度年会 2018年9月3日
-
59.
Verified Partial Eigenvalue Computation for Generalized Hermitian Eigenproblems Using Contour Integrals
今倉 暁; Imakura, A; 保國 惠一; ikuni, K; 高安 亮紀; Takayasu, A
第47回数値解析シンポジウム (NAS2018) 2018年6月6日
-
60.
Contour integral methods for partial eigenproblems of linear rectangular matrix pencils
Imakura, A; Morikuni, K; Takayasu, A
SIAM Conference on Applied Linear Algebra (SIAM-ALA18) 2018年5月4日
知財情報はまだありません。
1,102 total views