ホーム > 高安 亮紀/ 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)
-
101.
Computer-assisted proofs of heteloclinic orbits to a quadratic nonlinear Schrodinger equation
高安, 亮紀; J., Jaquette; J.-P., Lessard
2020年度応用数学合同研究集会
-
102.
Global existence and heteloclinics/homoclinics to a quadratic nonlinear Schrodinger equation
Takayasu,Akitoshi
Czech-Japanese Seminar in Applied Mathematics
-
103.
Global dynamics in a quadratic nonlinear Schrodinger equation
J., Jaquette; J.-P., Lessard; 高安, 亮紀
日本数学会2021年度年会
-
104.
Global dynamics in nonconservative nonlinear Schrodinger equations
高安, 亮紀
京都大学 NLPDE セミナー 招待有り
-
105.
Rigorous integrator for higher spatial dimensional PDEs
Takayasu, Akitoshi; Lessard, Jean-Philippe
SIAM Conference on Nonlinear Waves and Coherent Structures (NWCS22)
-
106.
Chebyshev補間の最大値最小値の精度保証付き数値計算
近藤慎佑; 高安, 亮紀
日本応用数理学会2022年度年会
-
107.
遅延Duffing方程式の結合系に対する同期解の精度保証付き数値計算
高橋和暉; 高安, 亮紀
日本応用数理学会2022年度年会
-
108.
一般化エルミート固有値問題に対するRayleigh-Ritz版の周回積分型精度保証付き部分固有対計算
今倉暁; 保國惠一; 高安, 亮紀
日本応用数理学会2022年度年会
-
109.
A general approach for rigorously integrating PDEs using semigroup theory
Takayasu, Akitoshi
CRM Applied Mathematics Seminars 招待有り
-
110.
時間発展方程式に対する厳密な数値求積法の最近の進展
高安, 亮紀
RIMS 共同研究(公開型)数値解析が拓く次世代情報社会~エッジから富岳まで~ 招待有り
-
111.
遅延Duffing方程式の結合系の完全同期解に対する精度保証付き数値計算
高橋和暉; 高安, 亮紀
RIMS 共同研究(公開型)時間遅れ系と数理科学:理論と応用の新たな展開に向けて
-
112.
無限次元固有値問題に対する複素モーメント型解法とその性能評価
今倉暁; 保國惠一; 高安, 亮紀
日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第34回研究会
-
113.
半群理論に基づく一般的な時間発展方程式に対する厳密な数値求積法
高安, 亮紀
2022年度応用数学合同研究集会
-
114.
常微分方程式の爆発解の漸近展開と無限遠ダイナミクスの対応
松江要; 落合啓之; 小谷久寿; 高安, 亮紀
2022年度応用数学合同研究集会
-
115.
精度保証付き数値計算の実装環境の現状 - MATLAB, Julia, C++ -
高安, 亮紀
第1回区間解析研究会
-
116.
ジブロック共重合体モデルの厳密な数値求積法
高安, 亮紀
日本応用数理学会 第19回 研究部会連合発表会
-
117.
Julia 言語を用いた周回積分型固有値解法の並列実装と性能評価
瀬戸翔太; 高安, 亮紀
日本応用数理学会若手の会 第8回学生研究発表会
-
118.
遅延Duffing方程式の結合系に対する同期周期解の精度保証付き数値計算
高橋和暉; 高安, 亮紀
日本応用数理学会若手の会 第8回学生研究発表会
-
119.
チェビシェフ補間の厳密な求根方法のJulia言語を用いた高速実装
二平泰知; 近藤慎佑; 高安, 亮紀
日本応用数理学会若手の会 第8回学生研究発表会
-
120.
あるK3曲面族についてのPicard-Fuchs微分方程式のモノドロミーに対する精度保証付き数値計算
石毛利昌; 高安, 亮紀
日本数学会2023年度年会
知財情報はまだありません。
1,103 total views