Takayasu Akitoshi 高安亮紀

Researcher Number	60707743
Other IDs
Affiliation (Current)	2020: 筑波大学, システム情報系, 助教
Affiliation (based on the past Project Information) *help	2016 – 2020: 筑波大学, システム情報系, 助教 2015: 早稲田大学, 理工学術院, 次席研究員 2015: 早稲田大学, 理工学術院, 講師
Review Section/Research Field	Principal Investigator Foundations of mathematics/Applied mathematics / Basic Section 12040:Applied mathematics and statistics-related Except Principal Investigator Mathematical analysis / Foundations of mathematics/Applied mathematics / Basic Section 12040:Applied mathematics and statistics-related / Basic Section 12020:Mathematical analysis-related
Keywords	Principal Investigator 精度保証付き数値計算 / 解の数値的検証 / 数値解析 / 非線形放物型偏微分方程式 / 爆発問題 / ケラー・シーゲル方程式系 / 非線形発展方程式 / スペクトル法 / 簡易ニュートン写像 / 発展作用素 … More Except Principal Investigator 圧力安定化法 / 有限要素法 / Navier-Stokes方程式 / 重み付き空間 / 二相問題 / 最大正則性定理 / Stokes半群のLp-Lq評価 / 最大正則性 / 弱解 / 時間局所解 / 定常解 / 2次元半空間 / 最大正則性原理 / ２次元半空間 / 自由境界問題 / 安定性 / 精度保証付き数値計算 / 誤差評価 / 補間誤差解析 / 補間誤差評価 / 固有値問題 / 補間誤差定数 / 制度保証付き数値計算 / 非線形偏微分方程式 / 近似パラメータ / Cattaneo則 / 時間遅れパラメータ / Navier-Stokes 方程式 / 時間遅れ Less

新たな段階に入った有限要素法基盤の精度保証付き数値計算の進展Ongoing
- Principal Investigator
  
  小林健太
- Project Period (FY)
  2020 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  Hitotsubashi University
Mathematical analysis for Navier-Stokes equations with approximate parameterOngoing
- Principal Investigator
  
  久保隆徹
- Project Period (FY)
  2019 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12020:Mathematical analysis-related
- Research Institution
  Ochanomizu University
双曲型偏微分方程式に対する解の精度保証付き数値計算理論の研究Principal InvestigatorOngoing
- Principal Investigator
  
  高安亮紀
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  University of Tsukuba
Advanced research on the Numerical verification Method based on the Finite Element Method
- Principal Investigator
  
  KOBAYASHI Kenta
- Project Period (FY)
  2016 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Hitotsubashi University
Real analytical and numerical approach to non-stationary problems of fluid dynamics
- Principal Investigator
  
  Takayuki Kubo
- Project Period (FY)
  2015 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Mathematical analysis
- Research Institution
  University of Tsukuba
Studies on verified numerical computations for nonlinear parabolic partial differential equationsPrincipal Investigator
- Principal Investigator
  
  Takayasu Akitoshi
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  University of Tsukuba
  Waseda University

All 2020 2019 2018 2017 2016 2015

All Journal Article Presentation

[Journal Article] Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems2020
- Author(s)
  Akira Imakura、Keiichi Morikuni、Akitoshi Takayasu
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 369 Pages: 112543-112543
- DOI
  10.1016/j.cam.2019.112543
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K17639, KAKENHI-PROJECT-17K12690, KAKENHI-PROJECT-18K13453
[Journal Article] Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity2020
- Author(s)
  K. Matsue and A. Takayasu
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 374 Pages: 112607-112607
- DOI
  10.1016/j.cam.2019.112607
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K13453, KAKENHI-PROJECT-16H03950, KAKENHI-PROJECT-17K14235
[Journal Article] Rigorous numerical computations for 1D advection equations with variable coefficients2019
- Author(s)
  A. Takayasu, S. Yoon, and Y. Endo
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 36 Pages: 357-384
- DOI
  10.1007/s13160-019-00345-7
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K13453, KAKENHI-PROJECT-16H03950
[Journal Article] Accurate method of verified computing for solutions of semilinear heat equations2017
- Author(s)
  Takayasu, Akitoshi; Mizuguchi, Makoto; Kubo, Takayuki; Oishi, Shin'ichi
- Journal Title
  
  Reliable Computing
  
  Volume: 25 Pages: 74-74
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K04946
[Journal Article] Accurate method of verified computing for solutions of semilinear heat equations2017
- Author(s)
  A. Takayasu, M. Mizuguchi, T. Kubo, and S. Oishi
- Journal Title
  
  Reliable computing
  
  Volume: 25 Pages: 74-99
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15K17596
[Journal Article] Accurate method of verified computing for solutions of semilinear heat equations2017
- Author(s)
  Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, and Shin’ichi Oishi
- Journal Title
  
  Reliable computing
  
  Volume: 25 Pages: 74-99
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16H03950
[Journal Article] Numerical validation of blow-up solutions of ordinary differential equations2017
- Author(s)
  A. Takayasu, K. Matsue, Kaname, T. Sasaki, K. Tanaka, M.Mizuguchi and S. Oishi
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 314 Pages: 10-29
- DOI
  10.1016/j.cam.2016.10.013
- NAID
  120005954526
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-16H07288, KAKENHI-PROJECT-15K17596, KAKENHI-PROJECT-17H07188
[Journal Article] A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory2017
- Author(s)
  M. Mizuguchi, A. Takayasu, T. Kubo, and S. Oishi
- Journal Title
  
  SIAM Journal on Numerical Analysis
  
  Volume: 55:2 Pages: 980-1001
- DOI
  10.1137/141001664
- NAID
  120006313795
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K17596, KAKENHI-PROJECT-15K04946, KAKENHI-PROJECT-16H03950
[Journal Article] Numerical verification for existence of a global-in-time solution to semilinear parabolic equations2017
- Author(s)
  M. Mizuguchi, A. Takayasu, T. Kubo, and S. Oishi
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 315 Pages: 1-16
- DOI
  10.1016/j.cam.2016.10.024
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K17596, KAKENHI-PROJECT-15K04946, KAKENHI-PROJECT-16H03950
[Journal Article] Verified computations for hyperbolic 3-manifolds2016
- Author(s)
  Neil Hoffman, Kazuhiro Ichihara, Masahide Kashiwagi, Hidetoshi Masai, Shin’ichi Oishi, Akitoshi Takayasu
- Journal Title
  
  Experimental Mathematics
  
  Volume: 25 Pages: 66-78
- DOI
  10.1080/10586458.2015.1029599
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26400100, KAKENHI-PROJECT-15K17596, KAKENHI-PROJECT-15J08142
[Journal Article] On the embedding constant of the Sobolev type inequality for fractional derivatives2016
- Author(s)
  Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, and Shin'ichi Oishi
- Journal Title
  
  NOLTA, IEICE
  
  Volume: 7 Issue: 3 Pages: 386-394
- DOI
  10.1587/nolta.7.386
- NAID
  130005161829
- ISSN
  2185-4106
- Language
  English
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-16H03950, KAKENHI-PROJECT-15K17596
[Journal Article] On the embedding constant of the Sobolev type inequality for fractional derivatives2016
- Author(s)
  M. Mizuguchi, A. Takayasu, T. Kubo, and S. Oishi
- Journal Title
  
  NOLTA, IEICE
  
  Volume: -
- NAID
  130005161829
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15K17596
[Journal Article] Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator2016
- Author(s)
  A. Takayasu, M. Mizuguchi, T. Kubo, and S. Oishi
- Journal Title
  
  Mathematical Aspects of Computer and Information Sciences, Vo. 9582 of the series LNCS
  
  Volume: 9582 Pages: 218-223
- DOI
  10.1007/978-3-319-32859-1_18
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] Rigorous spectral methods for initial value problems of ordinary differential equations2019
- Author(s)
  Akitoshi Takayasu
- Organizer
  Numerical Verification (NIVEA) 2019
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] 複素Ginzburg-Landau方程式に対する解の精度保証付き数値計算2019
- Author(s)
  高安亮紀
- Organizer
  日本数学会2019年年会
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] チェビシェフ級数を用いたタイムステッピングによる常微分方程式系の精度保証付き数値解法2019
- Author(s)
  舩越康太, 高安亮紀
- Organizer
  日本応用数理学会2019年度年会
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] 非線形熱方程式の複素時間領域における解の挙動と精度保証付き数値計算"2019
- Author(s)
  高安亮紀
- Organizer
  千葉大学解析セミナー
- Invited
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] Gaussの超幾何微分方程式のモノドロミー行列に対する精度保証付き数値計算2019
- Author(s)
  井上直也, 石毛利昌, 高安亮紀
- Organizer
  日本応用数理学会2019年度年会
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] Rigorous integrator for nonlinear heat equations in the complex plane of time using semigroup theory2019
- Author(s)
  Akitoshi Takayasu
- Organizer
  Workshop: Rigorous Computational Dynamics in Infinite Dimensions
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] 時間発展方程式の線形化問題に対する解作用素の厳密評価2019
- Author(s)
  高安亮紀
- Organizer
  日本応用数理学会2019年研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] Rigorous numerics for a singular solution of advection equations with variable coefficients2019
- Author(s)
  Akitoshi Takayasu
- Organizer
  International Congress on Industrial and Applied Mathematics (ICIAM2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] Numerical validation of blow-up solutions of ODEs2019
- Author(s)
  Akitoshi Takayasu
- Organizer
  International Congress on Industrial and Applied Mathematics (ICIAM2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] Rigorous numerics for nonlinear heat equations in the complex plane of time2019
- Author(s)
  Akitoshi Takayasu
- Organizer
  Equadiff 2019
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] 遅延微分方程式の周期解の精度保証付き数値計算2019
- Author(s)
  高安亮紀
- Organizer
  第1回時間遅れが誘導する現象と数理
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] Computer-assisted proofs for a nonlinear heat equation in the complex plane of time2019
- Author(s)
  Akitoshi Takayasu
- Organizer
  CRM Applied Mathematics Seminars
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] Gaussの超幾何微分方程式のモノドロミー行列に対する精度保証付き数値計算2019
- Author(s)
  井上直也, 石毛利昌, 高安亮紀
- Organizer
  日本応用数理学会2019年度年会
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] 複素Ginzburg-Landau方程式に対する解の精度保証付き数値計算2019
- Author(s)
  高安亮紀
- Organizer
  日本数学会2019年度年会
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] Rigorous spectral methods for initial value problems of ordinary differential equations2019
- Author(s)
  Akitoshi Takayasu
- Organizer
  Numerical Verification (NIVEA) 2019
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] Rigorous numerics for a singular solution of advection equations with variable coefficients2019
- Author(s)
  Akitoshi Takayasu
- Organizer
  The 9th International Congress on Industrial and Applied Mathematics (ICIAM 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] チェビシェフ級数を用いた非線形常微分方程式系の精度保証付き数値解法2019
- Author(s)
  舩越康太, 高安亮紀
- Organizer
  日本応用数理学会第15回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] Global existence of a solution for the nonlinear heat equation in the complex plane of time2019
- Author(s)
  高安亮紀
- Organizer
  RIMS 共同研究 (公開型)「偏微分方程式の臨界現象と正則性理論及び漸近解析」
- Invited
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] 一般化エルミート固有値問題の部分固有値計算における周回積分に基づく精度保証法の改良2019
- Author(s)
  今倉暁, 保國惠一, 高安亮紀
- Organizer
  日本応用数理学会2019年研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] Computer-assisted proofs for a nonlinear heat equation in the complex plane of time2019
- Author(s)
  Akitoshi Takayasu
- Organizer
  CRM Applied Mathematics Seminars
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] Global existence of a solution for the nonlinear heat equation in the complex plane of time2019
- Author(s)
  Akitoshi Takayasu
- Organizer
  RIMS共同研究 (公開型)「偏微分方程式の臨界現象と正則性理論及び漸近解析」
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] Numerical validation of periodic orbit to delay differential equations via Newton-Kantorovich argument2019
- Author(s)
  Akitoshi Takayasu
- Organizer
  The 1st Hungary-Japan Workshop on Delay Equations and Mathematical Epidemiology
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] Rigorous integrator for nonlinear heat equations in the complex plane of time using semigroup theory2019
- Author(s)
  Akitoshi Takayasu
- Organizer
  Workshop: Rigorous Computational Dynamics in Infinite Dimensions
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] チェビシェフ級数を用いた非線形常微分方程式系の精度保証付き数値解法2019
- Author(s)
  舩越康太, 高安亮紀
- Organizer
  日本応用数理学会2019年研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] Rigorous numerics for nonlinear heat equations in the complex plane of time2019
- Author(s)
  Akitoshi Takayasu
- Organizer
  Equadiff 2019
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] 時間発展方程式の線形化問題に対する解作用素の厳密評価2019
- Author(s)
  高安亮紀
- Organizer
  日本応用数理学会第15回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] Numerical validation of blow-up solutions of ODEs2019
- Author(s)
  Akitoshi Takayasu
- Organizer
  The 9th International Congress on Industrial and Applied Mathematics (ICIAM 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] Numerical validation of periodic orbit to delay differential equations via Newton-Kantorovich argument2019
- Author(s)
  Akitoshi Takayasu
- Organizer
  The 1st Hungary-Japan Workshop on Delay Equations and Mathematical Epidemiology
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] 一般化エルミート固有値問題の部分固有値計算における周回積分に基づく精度保証法の改良2019
- Author(s)
  今倉暁, 保國惠一, 高安亮紀
- Organizer
  日本応用数理学会第15回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] チェビシェフ級数を用いたタイムステッピングによる常微分方程式系の精度保証付き数値解法2019
- Author(s)
  舩越康太, 高安亮紀
- Organizer
  日本応用数理学会2019年度年会
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] Rigorous numerics for nonlinear heat equations in the complex plane of time2019
- Author(s)
  高安亮紀, J.-P. Lessard, J. Jaquette, 岡本久
- Organizer
  日本数学会2020年度年会
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] Verified computing for partial eigenvalues using a contour integral-type eigensolver2018
- Author(s)
  Akitoshi Takayasu, Akira Imakura, Keiichi Morikuni
- Organizer
  the 18th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] 一般化エルミート固有値問題の周回積分型精度保証付き部分固有値計算2018
- Author(s)
  今倉暁, 保國惠一, 高安亮紀
- Organizer
  日本応用数理学会2018年度年会
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] 微分方程式の爆発解の精度保証付き数値計算:指数関数非線型項を持つ場合2018
- Author(s)
  松江要, 高安亮紀
- Organizer
  日本数学会2018年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] Verified partial eigenvalue computation for generalized Hermitian eigenproblems using contour integrals2018
- Author(s)
  今倉暁, 保國惠一, 高安亮紀
- Organizer
  第47回数値解析シンポジウム
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] 非線形熱方程式の複素時間における解の精度保証付き数値計算2018
- Author(s)
  高安亮紀
- Organizer
  京都大学数理解析研究所RIMS研究集会「次世代の科学技術を支える数値解析学の基盤整備と応用展開」
- Invited
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] 微分方程式の爆発解の精度保証付き数値計算:指数関数非線型項を持つ場合2018
- Author(s)
  松江要, 高安亮紀
- Organizer
  日本数学会2018年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] 精度保証付き数値計算を利用する偏微分方程式の解の数値的検証法2018
- Author(s)
  高安亮紀
- Organizer
  第3回RCMSサロン「精度保証付き数値計算の有用性」
- Invited
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] フーリエ係数の時間発展方程式に対する解の精度保証付き数値計算2018
- Author(s)
  高安亮紀
- Organizer
  日本応用数理学会2018年度年会
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] Generation of C_0 semigroup on sequence spaces for rigorous spectral methods in PDEs2018
- Author(s)
  Akitoshi Takayasu, Motohiro Sobajima
- Organizer
  18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] 非線形熱方程式の複素時間変数における解の挙動とその精度保証付き数値計算について2018
- Author(s)
  高安亮紀
- Organizer
  2018年軽井沢グラフと解析研究集会
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] 非線形熱方程式の複素時間における解の精度保証付き数値計算2018
- Author(s)
  高安亮紀
- Organizer
  京都大学数理解析研究所RIMS研究集会「次世代の科学技術を支える数値解析学の基盤整備と応用展開」
- Invited
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] 非線形熱方程式の複素時間における解の挙動：精度保証付き数値計算によるアプローチ2018
- Author(s)
  高安亮紀
- Organizer
  大分微分方程式研究集会
- Invited
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] Verified partial eigenvalue computation for generalized Hermitian eigenproblems using contour integrals2018
- Author(s)
  今倉暁, 保國惠一, 高安亮紀
- Organizer
  第47回数値解析シンポジウム
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] 半群理論を利用する発展方程式に対する解の精度保証付き数値計算2018
- Author(s)
  高安亮紀
- Organizer
  日本数学会2018年度年会
- Invited
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] 一般化エルミート固有値問題の周回積分型精度保証付き部分固有値計算2018
- Author(s)
  今倉暁, 保國惠一, 高安亮紀
- Organizer
  日本応用数理学会2018年度年会
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] 非線形熱方程式の複素時間における解の挙動：精度保証付き数値計算によるアプローチ2018
- Author(s)
  高安亮紀
- Organizer
  大分微分方程式研究集会
- Invited
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] 微分方程式の爆発解の精度保証付き数値計算：ケーススタディ - 指数関数非線型項を持つ場合2018
- Author(s)
  松江要, 高安亮紀
- Organizer
  日本応用数理学会2018年度年会
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] Verified computing for partial eigenvalues using a contour integral-type eigensolver2018
- Author(s)
  Akitoshi Takayasu, Akira Imakura, Keiichi Morikuni
- Organizer
  18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] Generation of $C_0$ semigroup on sequence spaces for rigorous spectral methods in PDEs2018
- Author(s)
  Akitoshi Takayasu, Motohiro Sobajima
- Organizer
  the 18th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] フーリエ係数の時間発展方程式に対する解の精度保証付き数値計算2018
- Author(s)
  高安亮紀
- Organizer
  日本応用数理学会2018年度年会
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] 非線形方程式の精度保証付き数値解法2018
- Author(s)
  高安亮紀
- Organizer
  「精度保証付き数値計算の基礎」チュートリアル
- Invited
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] 微分方程式の爆発解の精度保証付き数値計算：ケーススタディ - 指数関数非線型項を持つ場合2018
- Author(s)
  松江要, 高安亮紀
- Organizer
  日本応用数理学会2018年度年会
- Data Source
  KAKENHI-PROJECT-18K13453
[Presentation] Fourier-Chebyshevスペクトル法を用いた変数係数1次元移流方程式の精度保証付き解法2017
- Author(s)
  高安亮紀, 尹授老, 遠藤靖典
- Organizer
  第46回数値解析シンポジウム
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] Verified computations for solutions to 1-dimensional advection equations with variable coefficients2017
- Author(s)
  Akitoshi Takayasu
- Organizer
  Dagstuhl Seminar 17481
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] 放物型方程式の初期値問題に対する精度保証付き数値計算法について2017
- Author(s)
  高安亮紀
- Organizer
  非線形現象と高精度高品質数値解析
- Place of Presentation
  富山大学五福キャンパス（富山県富山市）
- Year and Date
  2017-02-15
- Invited
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] Numerical validation of blow-up solutions via quasi-parabolic compactifications2017
- Author(s)
  Akitoshi Takayasu, Kaname Matsue
- Organizer
  The International Workshop on Numerical Verification and its Applications 2017 (INVA 2017)
- Place of Presentation
  HOTEL BREEZE BAY MARINA (Miyako-jima, Okinawa, Japan)
- Year and Date
  2017-03-15
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] 擬斉次コンパクト化を利用する爆発解の精度保証付き数値計算2017
- Author(s)
  高安亮紀, 松江要
- Organizer
  2017年度応用数学合同研究集会
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] スペクトル法を用いた変数係数1次元移流方程式の精度保証付き解法2017
- Author(s)
  尹授老, 高安亮紀
- Organizer
  日本応用数理学会2017年研究部会連合発表会
- Place of Presentation
  電気通信大学（東京都調布市）
- Year and Date
  2017-03-07
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] 擬斉次コンパクト化を利用する爆発解の数値的検証理論と応用2017
- Author(s)
  高安亮紀
- Organizer
  筑波大学エネルギー環境学域懇談会
- Invited
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] 非線形熱方程式の複素時間における解の挙動と精度保証付き数値計算2017
- Author(s)
  高安亮紀
- Organizer
  第1回精度保証付き数値計算の実問題への応用研究集会 (NVR 2017)
- Invited
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] Numerical validation of blow-up solutions via quasi-parabolic compactifications2017
- Author(s)
  Akitoshi Takayasu, Kaname Matsue
- Organizer
  International Workshop on Numerical Verification and its Applications 2017 (INVA2017)
- Place of Presentation
  Hotel Breeze Bay Marina, Miyako Island, Okinawa
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] Verified computations for solutions to 1-dimensional advection equations with variable coefficients2017
- Author(s)
  Akitoshi Takayasu
- Organizer
  Dagstuhl Seminar
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] Rigorous numerical computations for 1-dimensional advection equations with variable coefficients2017
- Author(s)
  Akitoshi Takayasu
- Organizer
  Workshop for young scholars Control and inverse problems on waves, oscillations and flows - Mathematical analysis and computational methods -
- Invited
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] 常微分方程式系に対する爆発解の精度保証付き数値計算2017
- Author(s)
  高安亮紀
- Organizer
  東大数理情報第3研究室輪講
- Invited
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] 点列空間上での変数係数1次元移流方程式に対する解の精度保証付き数値計算2017
- Author(s)
  尹授老, 高安亮紀, 遠藤靖典
- Organizer
  日本応用数理学会2017年度年会
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] スペクトル法を用いた変数係数1次元移流方程式の精度保証付き解法2017
- Author(s)
  尹授老, 高安亮紀
- Organizer
  日本応用数理学会第13回研究部会連合発表会
- Place of Presentation
  電気通信大学（東京都調布市）
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] Verified numerical computations for blow-up solutions of ODEs2016
- Author(s)
  Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin'ichi Oishi
- Organizer
  17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2016)
- Place of Presentation
  Uppsala University, Sweden
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] 常微分方程式の爆発解に対する数値的検証法について2016
- Author(s)
  高安亮紀
- Organizer
  応用数学セミナー@芝浦工大「爆発問題の数値解析」
- Place of Presentation
  芝浦工業大学大宮キャンパス
- Year and Date
  2016-03-07
- Invited
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] Computable estimates of the evolution operator based on the operator theory2016
- Author(s)
  Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi
- Organizer
  Czech-Japanese-Polish Seminar in Applied Mathematics 2016 (CJPS 2016)
- Place of Presentation
  Krakow, Polland
- Year and Date
  2016-09-08
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] On verification methods for parabolic partial differential equations using the evolution operator2016
- Author(s)
  Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi
- Organizer
  the 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2016)
- Place of Presentation
  Uppsala, Sweden
- Year and Date
  2016-09-28
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] 間違える数値計算とその対策2016
- Author(s)
  高安亮紀
- Organizer
  第144回リスク工学研究会（RERM）
- Place of Presentation
  筑波大学筑波キャンパス（茨城県つくば市）
- Year and Date
  2016-05-16
- Invited
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] 発展作用素に基づく非線形熱方程式に対する解の精度保証付き数値計算法2016
- Author(s)
  高安亮紀
- Organizer
  東京理科大学理工学部数学科談話会
- Place of Presentation
  東京理科大学野田キャンパス（千葉県野田市）
- Year and Date
  2016-10-27
- Invited
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] Computable estimates of the evolution operator based on the operator theory2016
- Author(s)
  Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, and Shin'ichi Oishi
- Organizer
  Czech-Japanese-Polish Seminar in Applied Mathematics 2016 (CJPS 2016)
- Place of Presentation
  Krakow, Polland
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] Verified Computations for Solutions to Nonlinear Heat Equations based on Fractional Powers of a Positive Operator and the Evolution Operator2016
- Author(s)
  Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi
- Organizer
  5th European Seminar on Computing (ESCO 2016)
- Place of Presentation
  Pilsen, Czech Republic
- Year and Date
  2016-06-05
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] 放物型方程式に対する解の精度保証付き数値計算法について2016
- Author(s)
  高安亮紀, 水口信, 久保隆徹, 大石進一
- Organizer
  SADO Workshop on Numerical Analysis and Related Topics
- Place of Presentation
  ホテルファミリーオ佐渡相川（新潟県佐渡市）
- Year and Date
  2016-11-20
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] Computable norm bounds of the evolution operator using spectral properties2016
- Author(s)
  Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi
- Organizer
  The 35th JSST Annual Conference International Conference on Simulation Technology (JSST2016)
- Place of Presentation
  Kyoto University Yoshida Campus (Kyoto, Japan)
- Year and Date
  2016-10-28
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] 常微分方程式の爆発解に対する数値的検証法2016
- Author(s)
  高安亮紀
- Organizer
  日本学術会議第6回計算力学シンポジウム
- Place of Presentation
  日本学術会議講堂（東京都港区）
- Year and Date
  2016-12-05
- Invited
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] Verified Computations for Solutions to Nonlinear Heat Equations Based on Fractional Powers of a Positive Operator and the Evolution Operator2016
- Author(s)
  Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, and Shin'ichi Oishi
- Organizer
  5th European Seminar on Computing (ESCO 2016)
- Place of Presentation
  Pilsen, Czech Republic
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] On verification methods for parabolic partial differential equations using the evolution operator2016
- Author(s)
  Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, and Shin'ichi Oishi
- Organizer
  17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2016)
- Place of Presentation
  Uppsala University, Sweden
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] Verification algorithm for enclosing a mild solution of semilinear heat equations2016
- Author(s)
  Makoto Mizuguchi, Kouta Sekine, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi
- Organizer
  The fifth Asian conference on Nonlinear Analysis and Optimization (NAO-Asia 2016)
- Place of Presentation
  TOKI MESSE (Niigata, Japan)
- Year and Date
  2016-08-02
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] 時間発展問題の精度保証付き数値計算に現れる誤差伝搬の縮小技術2016
- Author(s)
  高安亮紀, 水口信, 久保隆徹, 大石進一
- Organizer
  2016年度応用数学合同研究集会
- Place of Presentation
  龍谷大学瀬田キャンパス（滋賀県大津市）
- Year and Date
  2016-12-15
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] 正値作用素の分数冪と発展作用素を用いる非線形熱方程式に対する解の精度保証付き数値計算法2016
- Author(s)
  高安亮紀, 水口信, 久保隆徹, 大石進一
- Organizer
  日本数学会2016年度年会
- Place of Presentation
  筑波大学筑波キャンパス
- Year and Date
  2016-03-19
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] Computable norm bounds of the evolution operator using spectral properties2016
- Author(s)
  Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, and Shin'ichi Oishi
- Organizer
  The 35th JSST Annual Conference International Conference on Simulation Technology (JSST2016)
- Place of Presentation
  Kyoto University, Kyoto, Japan
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] 非線形方程式に対する解の精度保証付き数値計算2016
- Author(s)
  高安亮紀
- Organizer
  日本応用数理学会3部会連携「応用数理セミナー」
- Place of Presentation
  東京大学本郷キャンパス（東京都文京区）
- Year and Date
  2016-12-27
- Invited
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] 重み付きラプラス作用素の分数べきに対する計算可能なソボレフの埋め込み定数2016
- Author(s)
  水口信, 高安亮紀, 久保隆徹, 大石進一
- Organizer
  日本数学会2016年度年会
- Place of Presentation
  筑波大学筑波キャンパス
- Year and Date
  2016-03-19
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] Concatenation scheme for verified inclusion of solutions to semilinear heat equations2016
- Author(s)
  Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi
- Organizer
  The fifth Asian conference on Nonlinear Analysis and Optimization (NAO-Asia 2016)
- Place of Presentation
  TOKI MESSE (Niigata, Japan)
- Year and Date
  2016-08-02
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] 放物面コンパクト化を用いる常微分方程式の爆発解の数値的検証法2016
- Author(s)
  高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一
- Organizer
  日本応用数理学会 2016年研究部会連合発表会
- Place of Presentation
  神戸学院大学ポートアイランドキャンパス
- Year and Date
  2016-03-05
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] Verified numerical computations for blow-up solutions of ODEs2016
- Author(s)
  Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin'ichi Oishi
- Organizer
  the 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2016)
- Place of Presentation
  Uppsala, Sweden
- Year and Date
  2016-09-26
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] Verified Computations for Solutions to Nonlinear Heat Equations Based on Fractional Powers of a Positive Operator and the Evolution Operator2016
- Author(s)
  Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi
- Organizer
  5th European Seminar on Computing (ESCO 2016)
- Place of Presentation
  Pilsen, Czech Republic
- Year and Date
  2016-06-09
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] 解析半群を利用した半線形放物型方程式に対する解の精度保証付き数値計算法2015
- Author(s)
  高安亮紀
- Organizer
  数値解析セミナー
- Place of Presentation
  東京大学駒場キャンパス
- Year and Date
  2015-04-27
- Invited
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] ある自己共役作用素から生成される解析半群を用いた半線形熱方程式の解の数値的検証法2015
- Author(s)
  水口信, 関根晃太, 高安亮紀, 久保隆徹, 大石進一
- Organizer
  日本応用数理学会2015年度年会
- Place of Presentation
  金沢大学角間キャンパス
- Year and Date
  2015-09-09
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] Verified numerical enclosure of blow-up time for ODEs2015
- Author(s)
  高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一
- Organizer
  日本数学会2015年度秋季総合分科会
- Place of Presentation
  京都産業大学
- Year and Date
  2015-09-16
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] 常微分方程式の爆発解に対する精度保証付き数値計算2015
- Author(s)
  高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一
- Organizer
  日本応用数理学会2015年度年会
- Place of Presentation
  金沢大学角間キャンパス
- Year and Date
  2015-09-09
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] Verified computations for solutions of semilinear heat equations using an analytic semigroup generated by a self-adjoint operator2015
- Author(s)
  Makoto Mizuguchi, Kouta Sekine, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi
- Organizer
  The 34th JSST Annual Conference International Conference on Simulation Technology (JSST2015)
- Place of Presentation
  Toyama, Japan
- Year and Date
  2015-10-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] Verified computations for solutions to semilinear parabolic equations using the evolution operator2015
- Author(s)
  Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi
- Organizer
  Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS2015)
- Place of Presentation
  Berlin, Germany
- Year and Date
  2015-11-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] Numerical existence theorem for solutions of semilinear parabolic equations using the evolution operator2015
- Author(s)
  Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi
- Organizer
  The 34th JSST Annual Conference International Conference on Simulation Technology (JSST2015)
- Place of Presentation
  Toyama, Japan
- Year and Date
  2015-10-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] 常微分方程式の解の爆発時刻に対する精度保証付き数値計算2015
- Author(s)
  高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一
- Organizer
  第44回数値解析シンポジウム
- Place of Presentation
  山梨県甲府市
- Year and Date
  2015-06-10
- Data Source
  KAKENHI-PROJECT-15K17596
[Presentation] 発展作用素を用いた半線形放物型方程式に対する解の精度保証付き数値計算法2015
- Author(s)
  高安亮紀, 水口信, 久保隆徹, 大石進一
- Organizer
  京都大学数理解析研究所RIMS研究集会「現象解明に向けた数値解析学の新展開」
- Place of Presentation
  京都大学数理解析研究所
- Year and Date
  2015-11-19
- Invited
- Data Source
  KAKENHI-PROJECT-15K17596

1. Takayuki Kubo (90424811)

# of Collaborated Projects: 3 results

# of Collaborated Products: 25 results
2. KOBAYASHI Kenta (60432902)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. 土屋卓也 (00163832)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. 渡部善隆 (90243972)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. 劉雪峰 (50571220)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. 齋藤平和 (30754882)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. OISHI SHIN'ICHI

# of Collaborated Projects: 1 results

# of Collaborated Products: 29 results
8. MATSUE KANAME

# of Collaborated Projects: 1 results

# of Collaborated Products: 9 results
9. MIZUGUCHI MAKOTO

# of Collaborated Projects: 1 results

# of Collaborated Products: 28 results
10. 市原一裕

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
11. 佐々木多希子

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
12. 田中一成

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
13. 今倉暁

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Takayasu Akitoshi 高安 亮紀

Research Projects

Research Products

Co-Researchers

新たな段階に入った有限要素法基盤の精度保証付き数値計算の進展Ongoing

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Mathematical analysis for Navier-Stokes equations with approximate parameterOngoing

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

双曲型偏微分方程式に対する解の精度保証付き数値計算理論の研究Principal InvestigatorOngoing

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Advanced research on the Numerical verification Method based on the Finite Element Method

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Real analytical and numerical approach to non-stationary problems of fluid dynamics

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Studies on verified numerical computations for nonlinear parabolic partial differential equationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Rigorous numerical computations for 1D advection equations with variable coefficients2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Accurate method of verified computing for solutions of semilinear heat equations2017

Author(s)

Journal Title

Data Source

[Journal Article] Accurate method of verified computing for solutions of semilinear heat equations2017

Author(s)

Journal Title

Data Source

[Journal Article] Accurate method of verified computing for solutions of semilinear heat equations2017

Author(s)

Journal Title

Data Source

[Journal Article] Numerical validation of blow-up solutions of ordinary differential equations2017

Author(s)

Journal Title

DOI

NAID

Data Source

[Journal Article] A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory2017

Author(s)

Journal Title

DOI

NAID

Data Source

[Journal Article] Numerical verification for existence of a global-in-time solution to semilinear parabolic equations2017

Takayasu Akitoshi 高安亮紀