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

高安 亮紀

Takayasu, Akitoshi

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

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

TRiSTAR第1期フェロー（2022年前期）高安 亮紀

2022-04-01

高安 亮紀
オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。
  1. 1. Multi-order asymptotic expansion of blow-up solutions for autonomous ODEs: II. Dynamical correspondence Kodani, Hisatoshi; Matsue, Kaname; Ochiai, Hiroyuki; Takayasu, Akitoshi
      NONLINEARITY 38: (2025)
  2. 2. A Rigorous Integrator and Global Existence for Higher-Dimensional Semilinear Parabolic PDEs via Semigroup Theory Duchesne, Gabriel William; Lessard, Jean-Philippe; Takayasu, Akitoshi
      JOURNAL OF SCIENTIFIC COMPUTING 102: (2025)
  3. 3. 区間チェビシェフ補間による精度保証付き数値計算 近藤, 慎佑; 高安, 亮紀
      Transactions of the Japan Society for Industrial and Applied Mathematics 34: 98 (2024)
  4. 4. 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
  5. 5. 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
  6. 6. 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
  7. 7. Complex moment-based methods for differential eigenvalue problems Imakura, Akira; Morikuni, Keiichi; Takayasu, Akitoshi
      NUMERICAL ALGORITHMS 92: 693 (2023) Semantic Scholar
  8. 8. 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
  9. 9. 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)
  10. 10. Global dynamics in nonconservative nonlinear Schrödinger equations Jaquette, Jonathan; Lessard, Jean-Philippe; Takayasu, Akitoshi
      arXiv:2012.09734 [math.AP] (2020)
  11. 11. Numerical validation of blow-up solutions with quasi-homogeneous compactifications Matsue, Kaname; Takayasu, Akitoshi
      NUMERISCHE MATHEMATIK 145: 605 (2020) Semantic Scholar
  12. 12. A computer-assisted proof for nonlinear heat equations in the complex plane time Takayasu, Akitoshi
      RIMS Kôkyûroku Bessatsu B82: 47 (2020)
  13. 13. 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
  14. 14. 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)
  15. 15. 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
  16. 16. RNN による現象を記述した微分方程式の解のふるまいのモデルフリー予測 木南, 優希; 遠藤, 靖典; 高安, 亮紀
      Proceedings of the Fuzzy System Symposium 35: 185 (2019)
  17. 17. RNN による Duffing 方程式の解のふるまいのモデルフリー予測 野澤,健三; 遠藤,靖典; 高安,亮紀
      Proceedings of the Fuzzy System Symposium 35: 179 (2019)
  18. 18. 一般化エルミート固有値問題の周回積分型精度保証付き部分固有値計算 今倉, 暁; 保國, 惠一; 高安, 亮紀
      日本応用数理学会2018年度年会 予稿集 189 (2018)
  19. 19. 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)
  20. 20. スイッチトリラクタンスモータのインダクタンスに及ぼす巻線角度の影響 高橋勇人; 新宅勇一; 高安亮紀; 高橋徹
      電気学会全国大会 (2018)
1 2
  1. 1. 精度保証付き数値計算の基礎 高安,亮紀 (担当:分担執筆, 範囲:非線形方程式の精度保証付き数値解法)
    2018年7月 (ISBN: 9784339028874)

 1,343 total views