ホーム > 高安 亮紀/ 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. Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Cadiot, Matthieu; Jaquette, Jonathan; Lessard, Jean-Philippe; Takayasu, Akitoshi
      COMMUNICATIONS IN NONLINEAR SCIENCE AND NUMERICAL SIMULATION 151: (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. 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)
  4. 4. Parallel Implementation of a Verified Contour Integral Based Eigensolver and Its Performance Evaluation Using the Julia Language Seto, Shota; TAKAYASU; Akitoshi
      Proceedings of the IUTAM Symposium on Nonlinear Dynamics for Design of Mechanical Systems Across Different Length/Time Scales. IUTAM 2023 43: 210 (2025)
  5. 5. Rigorous numerical computations with the Chebyshev interpolation using the Julia language Kondo, Shinsuke; TAKAYASU; Akitoshi
      Proceedings of the IUTAM Symposium on Nonlinear Dynamics for Design of Mechanical Systems Across Different Length/Time Scales. IUTAM 2023 43: 199 (2025)
  6. 6. 区間チェビシェフ補間による精度保証付き数値計算 近藤, 慎佑; 高安, 亮紀
      Transactions of the Japan Society for Industrial and Applied Mathematics 34: 98 (2024)
  7. 7. 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
  8. 8. 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
  9. 9. 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
  10. 10. Complex moment-based methods for differential eigenvalue problems Imakura, Akira; Morikuni, Keiichi; Takayasu, Akitoshi
      NUMERICAL ALGORITHMS 92: 693 (2023) Semantic Scholar
  11. 11. 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
  12. 12. 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)
  13. 13. Global dynamics in nonconservative nonlinear Schrödinger equations Jaquette, Jonathan; Lessard, Jean-Philippe; Takayasu, Akitoshi
      arXiv:2012.09734 [math.AP] (2020)
  14. 14. Numerical validation of blow-up solutions with quasi-homogeneous compactifications Matsue, Kaname; Takayasu, Akitoshi
      NUMERISCHE MATHEMATIK 145: 605 (2020) Semantic Scholar
  15. 15. A computer-assisted proof for nonlinear heat equations in the complex plane time Takayasu, Akitoshi
      RIMS Kôkyûroku Bessatsu B82: 47 (2020)
  16. 16. 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
  17. 17. 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)
  18. 18. 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
  19. 19. RNN による現象を記述した微分方程式の解のふるまいのモデルフリー予測 木南, 優希; 遠藤, 靖典; 高安, 亮紀
      Proceedings of the Fuzzy System Symposium 35: 185 (2019)
  20. 20. RNN による Duffing 方程式の解のふるまいのモデルフリー予測 野澤,健三; 遠藤,靖典; 高安,亮紀
      Proceedings of the Fuzzy System Symposium 35: 179 (2019)
1 2
  1. 1. 精度保証付き数値計算の基礎 高安,亮紀 (担当:分担執筆, 範囲:非線形方程式の精度保証付き数値解法)
    2018年7月 (ISBN: 9784339028874)

 1,661 total views