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

高安亮紀

Takayasu, Akitoshi

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

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

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

21. Fourier-Chebyshevスペクトル法を用いた変数係数1次元移流方程式の精度保証付き解法高安, 亮紀; 尹, 授老; 遠藤, 靖典
Book of Abstracts, 46th Numerical Analysis Symposium (NAS2017) 111 (2017)
22. Numerical verification for existence of a global-in-time solution to semilinear parabolic equations Makoto Mizuguchi; Akitoshi Takayasu; Takayuki Kubo; Shin'ichi Oishi
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS 315: 1 (2017) Semantic Scholar
23. Numerical validation of blow-up solutions of ordinary differential equations Akitoshi Takayasu; Kaname Matsue; Takiko Sasaki; Kazuaki Tanaka (+1 著者) Shin'ichi Oishi
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS 314: 10 (2017) Semantic Scholar
24. On the embedding constant of the Sobolev type inequality for fractional derivatives Mizuguchi, Makoto; Takayasu, Akitoshi; Kubo, Takayuki; Oishi, Shin'ichi
Nonlinear Theory and Its Applications, IEICE 7: 386 (2016) Semantic Scholar
25. Verified computations for solutions to semilinear parabolic equations using the evolution operator Akitoshi Takayasu; Makoto Mizuguchi; Takayuki Kubo; Shin’ichi Oishi
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9582: 218 (2016) Semantic Scholar
26. Verified Computations for Hyperbolic 3-Manifolds Neil Hoffman; Kazuhiro Ichihara; Masahide Kashiwagi; Hidetoshi Masai (+1 著者) Akitoshi Takayasu
EXPERIMENTAL MATHEMATICS 25: 66 (2016) Semantic Scholar
27. Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation Kazuaki Tanaka; Akitoshi Takayasu; Xuefeng Liu; Shin'ichi Oishi
JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS 31: 665 (2014) Semantic Scholar
28. An algorithm of identifying parameters satisfying a sufficient condition of Plum's Newton-Kantorovich like existence theorem for nonlinear operator equations Sekine,Kouta; Takayasu,Akitoshi; Oishi,Shin'ichi
Nonlinear Theory and Its Applications, IEICE 5: 64 (2014) Semantic Scholar
29. Remarks on computable a priori error estimates for finite element solutions of elliptic problems Takayasu,Akitoshi; Liu,Xuefeng; Oishi,Shin'ichi
Nonlinear Theory and Its Applications, IEICE 5: 53 (2014) Semantic Scholar
30. Verified computations to semilinear elliptic boundary value problems on arbitrary polygonal domains Takayasu, Akitoshi; Liu, Xuefeng; Oishi, Shin'ichi
Nonlinear Theory and Its Applications, IEICE 4: 34 (2013) Semantic Scholar
31. A method of computer assisted proof for nonlinear two-point boundary value problems using higher order finite elements Takayasu,Akitoshi; Shin'ichi,Oishi
Nonlinear Theory and Its Applications, IEICE 2: 74 (2011) Semantic Scholar
32. Numerical existence theorem for solutions of two-point boundary value problems of nonlinear differential equations Takayasu, Akitoshi; Oishi, Shinichi; Kubo, Takayuki
Nonlinear Theory and Its Applications, IEICE 1: 105 (2010) Semantic Scholar

« 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日