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

高安 亮紀

Takayasu, Akitoshi

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

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

オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。
  1. 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 - 268 (2023) Semantic Scholar
  2. 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 - 18 (2023) Semantic Scholar
  3. 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. 4. Complex moment-based methods for differential eigenvalue problems Imakura, Akira; Morikuni, Keiichi; Takayasu, Akitoshi
      NUMERICAL ALGORITHMS 92: 693 - 721 (2023) Semantic Scholar
  5. 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. 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. 7. Global dynamics in nonconservative nonlinear Schrödinger equations Jaquette, Jonathan; Lessard, Jean-Philippe; Takayasu, Akitoshi
      arXiv:2012.09734 [math.AP] (2020)
  8. 8. Numerical validation of blow-up solutions with quasi-homogeneous compactifications Matsue, Kaname; Takayasu, Akitoshi
      NUMERISCHE MATHEMATIK 145: 605 - 654 (2020) Semantic Scholar
  9. 9. A computer-assisted proof for nonlinear heat equations in the complex plane time Takayasu, Akitoshi
      RIMS Kôkyûroku Bessatsu B82: 47 - 66 (2020)
  10. 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. 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. 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 - 384 (2019) Semantic Scholar
  13. 13. RNN による Duffing 方程式の解のふるまいのモデルフリー予測 野澤,健三; 遠藤,靖典; 高安,亮紀
      Proceedings of the Fuzzy System Symposium 35: 179 - 184 (2019)
  14. 14. RNN による現象を記述した微分方程式の解のふるまいのモデルフリー予測 木南, 優希; 遠藤, 靖典; 高安, 亮紀
      Proceedings of the Fuzzy System Symposium 35: 185 - 190 (2019)
  15. 15. 一般化エルミート固有値問題の周回積分型精度保証付き部分固有値計算 今倉, 暁; 保國, 惠一; 高安, 亮紀
      日本応用数理学会2018年度年会 予稿集 189 - 190 (2018)
  16. 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 - 4 (2018)
  17. 17. スイッチトリラクタンスモータのインダクタンスに及ぼす巻線角度の影響 高橋勇人; 新宅勇一; 高安亮紀; 高橋徹
      電気学会全国大会 (2018)
  18. 18. 擬斉次コンパクト化を利用する爆発解の精度保証付き数値計算 高安, 亮紀; 松江, 要
      2017年度応用数学合同研究集会 講演予稿集 (2017)
  19. 19. Accurate method of verified computing for solutions of semilinear heat equations Takayasu, Akitoshi; Mizuguchi, Makoto; Kubo, Takayuki; Shin'ichi, Oishi
      Reliable computing 25: 74 - 99 (2017)
  20. 20. 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)
1 2
  1. 1. 精度保証付き数値計算の基礎 高安,亮紀 (担当:分担執筆, 範囲:非線形方程式の精度保証付き数値解法)
    2018年7月 (ISBN: 9784339028874)
  1. 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. 2. Julia言語を用いた常微分方程式の周期解の精度保証付き数値計算 高橋和暉; 高安, 亮紀
    日本応用数理学会若手の会 第7回学生研究発表会 2022年3月10日
  3. 3. Julia言語を用いたChebyshev補間とその応用 近藤慎佑; 高安, 亮紀
    日本応用数理学会若手の会 第7回学生研究発表会 2022年3月10日
  4. 4. フーリエスペクトル法を用いた遅延Duffing方程式の周期解の精度保証付き数値計算について 市川葵; 高安, 亮紀
    日本応用数理学会 第18回 研究部会連合発表会 2022年3月8日
  5. 5. ベッセル関数のType-ll PSAの計算について 宮内洋明; 高安, 亮紀; 柏木雅英; 浅井大晴
    日本応用数理学会 第18回 研究部会連合発表会 2022年3月8日
  6. 6. Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity 高安, 亮紀
    2021年度応用数学合同研究集会 2021年12月17日
  7. 7. ある連立遅延微分方程式系の星形周期解ー数値的根拠と精度保証ー 高安, 亮紀
    RIMS 共同研究（公開型）時間遅れ系と数理科学：理論と応用の新たな展開に向けて 2021年11月18日
  8. 8. Eigensolvers using complex moments for operators Imakura, Akira; Morikuni, Keiichi; Takayasu, Akitoshi
    Numerical Methods and Scientific Computing (NMSC21) 2021年11月8日
  9. 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. 10. A spectral method for viscous Burgers equation with a time delay 高安, 亮紀; 久保隆徹
    日本応用数理学会2021年度年会 2021年9月9日
  11. 11. Swift-Hohenberg方程式の厳密な数値求積法 高安, 亮紀
    日本応用数理学会2021年度年会 2021年9月9日
  12. 12. 無限次元固有値問題に対する複素モーメント型解法 今倉, 暁; 保國, 惠一; 高安, 亮紀
    2021年並列／分散／協調処理に関するサマー・ワークショップ (SWoPP2021), オンライン 2021年7月19日
  13. 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. 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. 15. Global dynamics in nonconservative nonlinear Schrödinger equations 高安, 亮紀
    京都大学 NLPDE セミナー 2021年5月14日 招待有り
  16. 16. 非線形熱方程式の複素時間領域における解の精度保証付き数値計算 高安, 亮紀
    数値解析セミナー（東京大学大学院 数理科学研究科／情報理工学系研究科） 2021年4月27日 招待有り
  17. 17. Global dynamics in a quadratic nonlinear Schrödinger equation J., Jaquette; J.-P., Lessard; 高安, 亮紀
    日本数学会2021年度年会 2021年3月17日
  18. 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. 19. フーリエスペクトル法を用いた遅延Duffing方程式の周期解の精度保証付き数値計算について 市川葵; 高安, 亮紀
    日本応用数理学会若手の会 第6回学生研究発表会 2021年3月8日
  20. 20. 単位円盤領域上における半線形楕円型偏微分方程式の解の精度保証付き数値計算 宮内洋明; 高安, 亮紀
    日本応用数理学会若手の会 第6回学生研究発表会 2021年3月8日
1 2 3 … 7

 859 total views