ホーム > 高安亮紀/ Takayasu, Akitoshi

高安亮紀

Takayasu, Akitoshi

システム情報系 , 准教授
Institute of Systems and Information Engineering , Associate Professor

http://www.risk.tsukuba.ac.jp/~takitoshi/

オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。

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 による Duﬃng 方程式の解のふるまいのモデルフリー予測野澤,健三; 遠藤,靖典; 高安,亮紀
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 2 »

1. 精度保証付き数値計算の基礎高安,亮紀 (担当:分担執筆, 範囲:非線形方程式の精度保証付き数値解法)
2018年7月 (ISBN: 9784339028874)

1. Chebyshev interpolation for rigorous integrator of differential equations Takayasu, Akitoshi
International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022) 2022年3月14日
2. Julia言語を用いた常微分方程式の周期解の精度保証付き数値計算高橋和暉; 高安, 亮紀
日本応用数理学会若手の会第7回学生研究発表会 2022年3月10日
3. Julia言語を用いたChebyshev補間とその応用近藤慎佑; 高安, 亮紀
日本応用数理学会若手の会第7回学生研究発表会 2022年3月10日
4. フーリエスペクトル法を用いた遅延Duffing方程式の周期解の精度保証付き数値計算について市川葵; 高安, 亮紀
日本応用数理学会第18回研究部会連合発表会 2022年3月8日
5. ベッセル関数のType-ll PSAの計算について宮内洋明; 高安, 亮紀; 柏木雅英; 浅井大晴
日本応用数理学会第18回研究部会連合発表会 2022年3月8日
6. Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity 高安, 亮紀
2021年度応用数学合同研究集会 2021年12月17日
7. ある連立遅延微分方程式系の星形周期解ー数値的根拠と精度保証ー高安, 亮紀
RIMS 共同研究（公開型）時間遅れ系と数理科学：理論と応用の新たな展開に向けて 2021年11月18日
8. Eigensolvers using complex moments for operators Imakura, Akira; Morikuni, Keiichi; Takayasu, Akitoshi
Numerical Methods and Scientific Computing (NMSC21) 2021年11月8日
9. A rigorous forward integration method for time-dependent PDEs Takayasu, Akitoshi; Lessard, Jean-Philippe
The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2020) 2021年9月13日
10. A spectral method for viscous Burgers equation with a time delay 高安, 亮紀; 久保隆徹
日本応用数理学会2021年度年会 2021年9月9日
11. Swift-Hohenberg方程式の厳密な数値求積法高安, 亮紀
日本応用数理学会2021年度年会 2021年9月9日
12. 無限次元固有値問題に対する複素モーメント型解法今倉, 暁; 保國, 惠一; 高安, 亮紀
2021年並列／分散／協調処理に関するサマー・ワークショップ (SWoPP2021), オンライン 2021年7月19日
13. Rigorous integrator for dissipative PDEs using the Chebyshev-Fourier spectral method 高安, 亮紀; Lessard, Jean-Philippe
SIAM Conference on Applications of Dynamical Systems (DS21) 2021年5月27日
14. Complex Moment-Based Methods for Differential Eigenvalue Problems Imakura, A; Morikuni, K; Takayasu, A
SIAM Conference on Applied Linear Algebra (LA21) 2021年5月17日
15. Global dynamics in nonconservative nonlinear Schrödinger equations 高安, 亮紀
京都大学 NLPDE セミナー 2021年5月14日招待有り
16. 非線形熱方程式の複素時間領域における解の精度保証付き数値計算高安, 亮紀
数値解析セミナー（東京大学大学院数理科学研究科／情報理工学系研究科） 2021年4月27日招待有り
17. Global dynamics in a quadratic nonlinear Schrödinger equation J., Jaquette; J.-P., Lessard; 高安, 亮紀
日本数学会2021年度年会 2021年3月17日
18. Verifying eigenvalues of generalized Hermitian eigenproblems using contour integrals Imakura, A; Morikuni, K; Takayasu, A
Second Workshop on Numerical Algebra, Algorithms and Analysis, online 2021年3月16日
19. フーリエスペクトル法を用いた遅延Duffing方程式の周期解の精度保証付き数値計算について市川葵; 高安, 亮紀
日本応用数理学会若手の会第6回学生研究発表会 2021年3月8日
20. 単位円盤領域上における半線形楕円型偏微分方程式の解の精度保証付き数値計算宮内洋明; 高安, 亮紀
日本応用数理学会若手の会第6回学生研究発表会 2021年3月8日