ホーム > 高安 亮紀/ 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)
-
61.
Verified computation of partial eigenvalues using contour integrals
Imakura, K; Morikuni, K; Takayasu, A
SIAM Conference on Applied Linear Algebra (SIAM-ALA18) 2018年5月4日
-
62.
半群理論を利用する発展方程式に対する解の精度保証付き数値計算
高安, 亮紀
日本数学会2018年度年会 2018年3月18日 招待有り
-
63.
Contour integral-based verified computing for partial eigenvalues
Takayasu, A; Imakura, A; Morikuni, Keiichi
SIAM Conference on Parallel Processing for Scientific Computing (SIAM PP18), Tokyo, Japan 2018年3月7日
-
64.
非線形熱方程式の複素時間変数における解の挙動とその精度保証付き数値計算について
高安, 亮紀
2018年軽井沢グラフと解析研究集会 2018年2月12日
-
65.
擬斉次コンパクト化を利用する爆発解の精度保証付き数値計算
高安, 亮紀; 松江, 要
2017年度応用数学合同研究集会 2017年12月14日
-
66.
非線形熱方程式の複素時間における解の挙動と精度保証付き数値計算
高安, 亮紀
第1回精度保証付き数値計算の実問題への応用研究集会(NVR2017) 2017年12月9日 招待有り
-
67.
Verified computations for solutions to 1-dimensional advection equations with variable coefficients
Takayasu,Akitoshi
Dagstuhl Seminar 17481 2017年11月26日 招待有り
-
68.
常微分方程式系に対する爆発解の精度保証付き数値計算
高安, 亮紀
東大数理情報第3研究室輪講 2017年10月18日 招待有り
-
69.
擬斉次コンパクト化を利用する爆発解の数値的検証理論と応用
高安, 亮紀
筑波大学エネルギー環境学域懇談会 2017年9月26日 招待有り
-
70.
スイッチトリラクタンスモータにおけるモータ形状がインダクタンスに及ぼす影響
高橋勇人; 新宅勇一; 高安亮紀; 高橋徹
日本機械学会 第30回計算力学講演会 2017年9月16日 一般社団法人 日本機械学会
-
71.
点列空間上での変数係数1次元移流方程式に対する解の精度保証付き数値計算
尹, 授老; 高安, 亮紀; 遠藤, 靖典
日本応用数理学会2017年度年会 2017年9月6日
-
72.
Rigorous numerical computations for 1-dimensional advection equations with variable coefficients
高安, 亮紀
Workshop for young scholars Control and inverse problems on waves, oscillations and ows - Mathematical analysis and computational methods - 2017年8月21日 招待有り
-
73.
Influence of Stator Pole on Magnetic Field Distribution of Switched Reluctance Motor
Takahashi, Toru; Shintaku, Yuichi; Takayasu, Akitoshi
The International Conference on Electrical Engineering 2017 2017年7月4日
-
74.
Fourier-Chebyshevスペクトル法を用いた変数係数1次元移流方程式の精度保証付き解法
高安, 亮紀; 尹, 授老; 遠藤, 靖典
第46回数値解析シンポジウム 2017年6月28日
-
75.
スイッチトリラクタンスモータのステータ極歯形状に関する予備的検討
高橋徹; 新宅勇一; 高安亮紀; 藤野貴康
平成29年電気学会全国大会 2017年3月15日
-
76.
Verified computation using complex moments for Mathieu and Schrödinger eigenvalue problems
Akira, Imakura; Keiichi, Morikuni; Akitoshi, Takayasu
Nagoya International Workshop on Numerical Analysis 2024, Nagoya, Japan
-
77.
Recent Results of Rigorous Numerical Integration for Higher Spatial Dimensional PDEs
Takayasu, Akitoshi; Duchesne, Gabriel; Lessard, Jean-Philippe
SIAM Conference on Applications of Dynamical Systems (DS23) 招待有り
-
78.
二次の非線形性を持つ複素数値発展方程式の大域的なダイナミクスの計算機援用証明と未解決問題
高安, 亮紀
「有限時間特異性」勉強会 第8回
-
79.
二次非線形性を持つ複素数値発展方程式の大域的なダイナミクスの計算機援用証明
高安, 亮紀
秋田発展方程式小研究集会 招待有り
-
80.
Chebyshev 補間を用いた精度保証付き数値計算
近藤, 慎佑; 高安, 亮紀
第49回数値解析シンポジウム
知財情報はまだありません。
1,106 total views