• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Takayasu Akitoshi  高安 亮紀

Researcher Number 60707743
Other IDs
  • ORCIDhttps://orcid.org/0009-0005-5087-4894
Affiliation (Current) 2025: 筑波大学, システム情報系, 准教授
Affiliation (based on the past Project Information) *help 2022 – 2024: 筑波大学, システム情報系, 准教授
2016 – 2023: 筑波大学, システム情報系, 助教
2015: 早稲田大学, 理工学術院, 次席研究員
2015: 早稲田大学, 理工学術院, 講師
Review Section/Research Field
Principal Investigator
Basic Section 12040:Applied mathematics and statistics-related / Foundations of mathematics/Applied mathematics
Except Principal Investigator
Basic Section 12040:Applied mathematics and statistics-related / Basic Section 60100:Computational science-related / Sections That Are Subject to Joint Review: Basic Section12030:Basic mathematics-related , Basic Section12040:Applied mathematics and statistics-related / Basic Section 12030:Basic mathematics-related / Medium-sized Section 60:Information science, computer engineering, and related fields / Basic Section 12020:Mathematical analysis-related / Foundations of mathematics/Applied mathematics / Mathematical analysis
Keywords
Principal Investigator
精度保証付き数値計算 / 無限次元力学系 / 発展作用素 / 簡易ニュートン写像 / 零点探索問題 / 計算機援用証明 / 数値解析 / 解の数値的検証 / タイムステッピング / 半群理論 … More / Ohta-Kawasaki方程式 / Swift-Hohenberg方程式 / 時間大域存在 / 境界値問題 / 初期値問題 / C0半群 / Lyapunov-Perronの方法 / スペクトル法 / 解の時間大域挙動 / 分散型偏微分方程式 / 放物型偏微分方程式 / 双曲型偏微分方程式 / 解の時間大域存在 / 厳密な数値求積 / Parameterization method / 一次元変数係数移流方程式 / 非線形シュレディンガー方程式 / 複素数値非線形熱方程式 / 非線形発展方程式 / ケラー・シーゲル方程式系 / 爆発問題 / 非線形放物型偏微分方程式 … More
Except Principal Investigator
有限要素法 / 精度保証付き数値計算 / 補間誤差解析 / Navier-Stokes方程式 / 均質化法 / 確率論 / 統計力学 / マルチスケール解析 / 数値解析 / 誤差評価 / 圧力安定化法 / 結晶すべり / 塑性 / 転位 / 破壊力学 / 複素モーメント型固有値解法 / リスク回避技術 / 複素モーメント型解法 / 無限次元固有値問題 / 微分方程式 / 力学系 / 発展方程式 / 有限時間特異性 / 数値代数 / 精度保証 / 数値計算アルゴリズム / 制度保証付き数値計算 / 計算機援用証明 / 逆作用素ノルム / 不連続ガレルキン法 / 非線形偏微分方程式 / 時間遅れパラメータ / Cattaneo則 / 近似パラメータ / 時間遅れ / Burgers方程式 / Navier-Stokes 方程式 / 時間遅れBurgers方程式 / 近似問題 / 補間誤差定数 / 固有値問題 / 補間誤差評価 / 安定性 / 自由境界問題 / 2次元半空間 / 最大正則性原理 / 2次元半空間 / 定常解 / 時間局所解 / 弱解 / 最大正則性 / Stokes半群のLp-Lq評価 / 最大正則性定理 / 二相問題 / 重み付き空間 Less
  • Research Projects

    (13 results)
  • Research Products

    (259 results)
  • Co-Researchers

    (20 People)
  •  Development of a Foundation for Numerical Operator Algebras and its Applications

    • Principal Investigator
      保國 惠一
    • Project Period (FY)
      2024 – 2028
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 12040:Applied mathematics and statistics-related
      Basic Section 12030:Basic mathematics-related
      Sections That Are Subject to Joint Review: Basic Section12030:Basic mathematics-related , Basic Section12040:Applied mathematics and statistics-related
    • Research Institution
      University of Tsukuba
  •  補間誤差解析を超えて切り拓く有限要素法と精度保証付き数値計算の新たなる地平

    • Principal Investigator
      小林 健太
    • Project Period (FY)
      2024 – 2027
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 12040:Applied mathematics and statistics-related
      Basic Section 12030:Basic mathematics-related
      Sections That Are Subject to Joint Review: Basic Section12030:Basic mathematics-related , Basic Section12040:Applied mathematics and statistics-related
    • Research Institution
      Hitotsubashi University
  •  Development of plastic theory based on statistical mechanics to realize effect of dislocation behavior

    • Principal Investigator
      新宅 勇一
    • Project Period (FY)
      2023 – 2025
    • Research Category
      Grant-in-Aid for Challenging Research (Exploratory)
    • Review Section
      Medium-sized Section 60:Information science, computer engineering, and related fields
    • Research Institution
      University of Tsukuba
  •  Studies on rigorous integrator for infinite dimensional dynamical systemsPrincipal Investigator

    • Principal Investigator
      高安 亮紀
    • Project Period (FY)
      2022 – 2025
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 12040:Applied mathematics and statistics-related
    • Research Institution
      University of Tsukuba
  •  Multi-scale analysis based on statistical mechanics for materials informatics

    • Principal Investigator
      新宅 勇一
    • Project Period (FY)
      2022 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60100:Computational science-related
    • Research Institution
      University of Tsukuba
  •  Development of Mathematical and Computer-Assisted Analysis towards comprehensive description of finite-time singularities

    • Principal Investigator
      松江 要
    • Project Period (FY)
      2021 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 12040:Applied mathematics and statistics-related
    • Research Institution
      Kyushu University
  •  Development of complex moment-based methods and mathematical risk avoidance techniques for infinite dimensional eigenvalue problems

    • Principal Investigator
      今倉 暁
    • Project Period (FY)
      2021 – 2025
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60100:Computational science-related
    • Research Institution
      University of Tsukuba
  •  新たな段階に入った有限要素法基盤の精度保証付き数値計算の進展

    • 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 parameter

    • Principal Investigator
      久保 隆徹
    • Project Period (FY)
      2019 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 12020:Mathematical analysis-related
    • Research Institution
      Ochanomizu University
  •  Studies on verified numerical computations for nonlinear hyperbolic partial differential equationsPrincipal Investigator

    • Principal Investigator
      Akitoshi Takayasu
    • Project Period (FY)
      2018 – 2022
    • 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 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015

All Journal Article Presentation

  • [Journal Article] A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory2024

    • Author(s)
      G. W. Duchesne, J.-P. Lessard, and A. Takayasu
    • Journal Title

      arXiv [math.AP]

      Volume: arXiv:2402.00406

    • Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Journal Article] Monodromy Approach to Pair Production of Charged Black Holes and Electric Fields2023

    • Author(s)
      C.-M. Chen, T. Ishige, S. P. Kim, A. Takayasu, and C.-Y. Wei
    • Journal Title

      Chinese Journal of Physics

      Volume: 86 Pages: 255-268

    • DOI

      10.1016/j.cjph.2023.10.007

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K03411, KAKENHI-PROJECT-23K20813
  • [Journal Article] Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature2023

    • Author(s)
      Lessard Jean-Philippe、Matsue Kaname、Takayasu Akitoshi
    • Journal Title

      Journal of Nonlinear Science

      Volume: 33 Issue: 3 Pages: 46-46

    • DOI

      10.1007/s00332-023-09900-6

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K03411, KAKENHI-PROJECT-18K13453, KAKENHI-PROJECT-23K20813, KAKENHI-PROJECT-20H01820
  • [Journal Article] Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh?Ritz procedure for generalized Hermitian eigenvalue problems2023

    • Author(s)
      Imakura Akira、Morikuni Keiichi、Takayasu Akitoshi
    • Journal Title

      Journal of Computational and Applied Mathematics

      Volume: 424 Pages: 114994-114994

    • DOI

      10.1016/j.cam.2022.114994

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-19KK0255, KAKENHI-PROJECT-23K21673, KAKENHI-PROJECT-20K14356, KAKENHI-PROJECT-22K03411, KAKENHI-PROJECT-23K20813
  • [Journal Article] Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity2022

    • Author(s)
      Jaquette Jonathan、Lessard Jean-Philippe、Takayasu Akitoshi
    • Journal Title

      Communications in Nonlinear Science and Numerical Simulation

      Volume: 107 Pages: 106188-106188

    • DOI

      10.1016/j.cnsns.2021.106188

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K03411, KAKENHI-PROJECT-18K13453, KAKENHI-PROJECT-23K20813, KAKENHI-PROJECT-20H01820
  • [Journal Article] Rigorous numerics for nonlinear heat equations in the complex plane of time2022

    • Author(s)
      Takayasu Akitoshi、Lessard Jean-Philippe、Jaquette Jonathan、Okamoto Hisashi
    • Journal Title

      Numerische Mathematik

      Volume: 151 Issue: 3 Pages: 693-750

    • DOI

      10.1007/s00211-022-01291-2

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K03411, KAKENHI-PROJECT-22K03438, KAKENHI-PROJECT-18K13453, KAKENHI-PROJECT-18H01137, KAKENHI-PROJECT-23K20813, KAKENHI-PROJECT-20H01820
  • [Journal Article] Global dynamics in nonconservative nonlinear Schr?dinger equations2022

    • Author(s)
      Jaquette Jonathan、Lessard Jean-Philippe、Takayasu Akitoshi
    • Journal Title

      Advances in Mathematics

      Volume: 398 Pages: 108234-108234

    • DOI

      10.1016/j.aim.2022.108234

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K13453, KAKENHI-PROJECT-20H01820, KAKENHI-PROJECT-23K20813
  • [Journal Article] Complex moment-based methods for differential eigenvalue problems2022

    • Author(s)
      Imakura Akira、Morikuni Keiichi、Takayasu Akitoshi
    • Journal Title

      Numerical Algorithms

      Volume: 92 Issue: 1 Pages: 693-721

    • DOI

      10.1007/s11075-022-01456-y

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-22K03411, KAKENHI-PROJECT-20K14356, KAKENHI-PROJECT-19KK0255, KAKENHI-PROJECT-18K13453, KAKENHI-PROJECT-23K20813, KAKENHI-PROJECT-23K21673
  • [Journal Article] A geometric characterization of unstable blow-up solutions with computer-assisted proof2021

    • Author(s)
      Jean-Philippe Lessard, Kaname Matsue, Akitoshi Takayasu
    • Journal Title

      arXiv:2103.12390 [math.DS]

      Volume: -

    • Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Journal Article] Rigorous numerics for nonlinear heat equations in the complex plane of time2020

    • Author(s)
      A. Takayasu, J.-P. Lessard, J. Jaquette, and H. Okamoto
    • Journal Title

      arXiv:1910.12472 [math.DS]

    • Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Journal Article] Global dynamics in nonconservative nonlinear Schr\"odinger equations2020

    • Author(s)
      J. Jaquette, J.-P. Lessard, and A. Takayasu
    • Journal Title

      arXiv:2012.09734 [math.AP]

    • Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Journal Article] A computer-assisted proof for nonlinear heat equations in the complex plane of time2020

    • Author(s)
      Takayasu Akitoshi
    • Journal Title

      RIMS Kokyuroku Bessatsu

      Volume: B82 Pages: 47-66

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Journal Article] Numerical validation of blow-up solutions with quasi-homogeneous compactifications2020

    • Author(s)
      K. Matsue and A. Takayasu
    • Journal Title

      Numerische Mathematik

      Volume: 145 Issue: 3 Pages: 605-654

    • DOI

      10.1007/s00211-020-01125-z

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18K13453, KAKENHI-PROJECT-20H01820
  • [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-17K12690, KAKENHI-PROJECT-18K13453, KAKENHI-PROJECT-16K17639
  • [Journal Article] Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity"2020

    • 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 Issue: 2 Pages: 357-384

    • DOI

      10.1007/s13160-019-00345-7

    • NAID

      120007133327

    • 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

      J. Comput. Appl. Math.

      Volume: 314 Pages: 10-29

    • DOI

      10.1016/j.cam.2016.10.013

    • NAID

      120007135196

    • Peer Reviewed / 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 Issue: 2 Pages: 980-1001

    • DOI

      10.1137/141001664

    • NAID

      120007129016

    • 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 Issue: 1 Pages: 66-78

    • DOI

      10.1080/10586458.2015.1029599

    • Peer Reviewed / 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

      Volume: 7 Issue: 3 Pages: 386-394

    • DOI

      10.1587/nolta.7.386

    • NAID

      130005161829

    • ISSN
      2185-4106
    • Language
      English
    • Peer Reviewed / 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

    • ISBN
      9783319328584, 9783319328591
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15K17596
  • [Presentation] 二次非線形性を持つ複素数値発展方程式のヘテロクリニック軌道と特異性の計算機援用証明2024

    • Author(s)
      高安亮紀
    • Organizer
      第67回拡大MCMEセミナー One day workshop on differential equations in the complex domain
    • Invited
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] チェビシェフ補間を用いた数学関数の精度保証付き数値計算2024

    • Author(s)
      近藤慎佑, 高安亮紀
    • Organizer
      日本応用数理学会 第20回 研究部会連合発表会
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory2024

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      Workshop of Computational Science and Information Engineering 2024 (SCIE2024)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] 精度保証付き数値計算の実装環境の現状 - MATLAB, Julia, C++ -2023

    • Author(s)
      高安亮紀
    • Organizer
      第1回区間解析研究会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Parallel Implementation of a rigorous contour integral based eigensolver and its performance evaluation2023

    • Author(s)
      Shota Seto, Akitoshi Takayasu
    • Organizer
      IUTAM Symposium on Nonlinear dynamics for design of mechanical systems across different length/time scales (IUTAM 2023)
    • Data Source
      KAKENHI-PROJECT-23K21673
  • [Presentation] 遅延微分方程式系の周期解の数値的存在証明2023

    • Author(s)
      高安 亮紀
    • Organizer
      第3回微分方程式セミナー@お茶の水女子大学
    • Invited
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] 二次非線形性を持つ複素数値発展方程式のヘテロクリニック軌道と特異性の計算機援用証明2023

    • Author(s)
      高安 亮紀
    • Organizer
      第67回拡大MCMEセミナー One day workshop on differential equations in the complex domain
    • Invited
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] 時間発展方程式の厳密な数値求積法の零点探索問題としての定式化2023

    • Author(s)
      高安亮紀
    • Organizer
      2023年度応用数学合同研究集会
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] 時間発展方程式の厳密な数値求積法の零点探索問題としての定式化2023

    • Author(s)
      高安 亮紀
    • Organizer
      2023年度応用数学合同研究集会
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] Rigorous numerics for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces2023

    • Author(s)
      Akitoshi Takayasu, Toshimasa Ishige
    • Organizer
      10th International Congress on Industrial and Applied Mathematics (ICIAM 2023 TOKYO)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] Julia 言語を用いた周回積分型固有値解法の並列実装と性能評価2023

    • Author(s)
      瀬戸翔太, 高安亮紀
    • Organizer
      日本応用数理学会若手の会 第8回学生研究発表会
    • Data Source
      KAKENHI-PROJECT-23K21673
  • [Presentation] Recent Results of Rigorous Numerical Integration for Higher Spatial Dimensional PDEs2023

    • Author(s)
      Akitoshi Takayasu, Gabriel Duchesne, Jean-Philippe Lessard
    • Organizer
      SIAM Conference on Applications of Dynamical Systems (DS23)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] Rigorous forward numerical integration of general evolutionary partial differential equations based on semigroup theory2023

    • Author(s)
      Akitoshi Takayasu, Gabriel Duchesne, Jean-Philippe Lessard
    • Organizer
      IUTAM Symposium on Nonlinear dynamics for design of mechanical systems across different length/time scales (IUTAM 2023)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] ジブロック共重合体モデルの厳密な数値求積法2023

    • Author(s)
      高安亮紀, Gabriel W. Duchesne, Jean-Philippe Lessard
    • Organizer
      日本応用数理学会 第19回 研究部会連合発表会
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] 二次非線形性を持つ複素数値発展方程式の大域的なダイナミクスの計算機援用証明2023

    • Author(s)
      高安亮紀
    • Organizer
      秋田発展方程式小研究集会
    • Invited
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] 微分作用素の固有値に対する複素モーメントを用いた精度保証付き数値計算2023

    • Author(s)
      今倉 暁, 保國 惠一, 高安 亮紀
    • Organizer
      2023年並列/分散/協調処理に関するサマー・ワークショップ(SWoPP 2023), 第35回「行列・固有値問題の解法とその応用」研究部会 単独研究会
    • Data Source
      KAKENHI-PROJECT-23K21673
  • [Presentation] A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory2023

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      Workshop of Computational Science and Information Engineering 2024 (SCIE2024)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] あるK3曲面族についてのPicard-Fuchs微分方程式のモノドロミーに対する精度保証付き数値計算2023

    • Author(s)
      石毛 利昌, 高安 亮紀
    • Organizer
      日本数学会2023年度年会
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] 一般化固有値問題の精度保証付き数値計算の並列実装とその評価2023

    • Author(s)
      瀬戸翔太, 高安亮紀
    • Organizer
      日本応用数理学会若手の会 第9回学生研究発表会
    • Data Source
      KAKENHI-PROJECT-23K21673
  • [Presentation] Rigorous numerics for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces2023

    • Author(s)
      Akitoshi Takayasu, Toshimasa Ishige
    • Organizer
      10th International Congress on Industrial and Applied Mathematics (ICIAM 2023 TOKYO)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] 半線形放物型方程式の時間大域解の計算機援用証明2023

    • Author(s)
      Gabriel Duchesne, Jean-Philippe Lessard, 高安 亮紀
    • Organizer
      日本数学会2023年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] 半線形放物型方程式の時間大域解の計算機援用証明2023

    • Author(s)
      Gabriel Duchesne, Jean-Philippe Lessard, 高安亮紀
    • Organizer
      日本数学会2023年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] Rigorous forward numerical integration of general evolutionary partial differential equations based on semigroup theory2023

    • Author(s)
      Akitoshi Takayasu, Gabriel Duchesne, Jean-Philippe Lessard
    • Organizer
      IUTAM Symposium on Nonlinear dynamics for design of mechanical systems across different length/time scales (IUTAM 2023)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] 遅延微分方程式系の周期解の数値的存在証明2023

    • Author(s)
      高安亮紀
    • Organizer
      第3回微分方程式セミナー
    • Invited
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] 自己共役な微分作用素の固有値に対する周回積分型精度保証付き数値解法2023

    • Author(s)
      今倉暁, 保國惠一, 高安亮紀
    • Organizer
      第49回数値解析シンポジウム(NAS2023)
    • Data Source
      KAKENHI-PROJECT-23K21673
  • [Presentation] Global Dynamics and Blowup in Some Quadratic PDEs2023

    • Author(s)
      Jonathan Jaquette, Jean-Philippe Lessard, Akitoshi Takayasu
    • Organizer
      10th International Congress on Industrial and Applied Mathematics (ICIAM 2023 TOKYO)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] 自己共役な微分作用素の固有値に対する周回積分型精度保証付き数値解法2023

    • Author(s)
      今倉暁, 保國惠一, 高安亮紀
    • Organizer
      第49回数値解析シンポジウム
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] あるK3曲面族についてのPicard-Fuchs微分方程式のモノドロミーに対する精度保証付き数値計算2023

    • Author(s)
      石毛利昌, 高安亮紀
    • Organizer
      日本数学会2023年度年会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] ジブロック共重合体モデルの厳密な数値求積法2023

    • Author(s)
      高安亮紀, Gabriel W. Duchesne, Jean-Philippe Lessard
    • Organizer
      日本応用数理学会 第19回 研究部会連合発表会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] 常微分方程式の爆発解の漸近展開と無限遠ダイナミクス2023

    • Author(s)
      松江要, 落合啓之, 小谷久寿, 高安亮紀
    • Organizer
      日本数学会2023年度年会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Recent Results of Rigorous Numerical Integration for Higher Spatial Dimensional PDEs2023

    • Author(s)
      Akitoshi Takayasu, Gabriel Duchesne, Jean-Philippe Lessard
    • Organizer
      SIAM Conference on Applications of Dynamical Systems (DS23)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] 二次の非線形性を持つ複素数値発展方程式の大域的なダイナミクスの計算機援用証明と未解決問題2023

    • Author(s)
      高安 亮紀
    • Organizer
      「有限時間特異性」勉強会 第8回
    • Invited
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] 常微分方程式の爆発解の漸近展開と無限遠ダイナミクス2023

    • Author(s)
      松江要, 落合啓之, 小谷久寿, 高安亮紀
    • Organizer
      日本数学会2023年度年会
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] チェビシェフ補間を用いた数学関数の精度保証付き数値計算2023

    • Author(s)
      近藤 慎佑, 高安 亮紀
    • Organizer
      日本応用数理学会 第20回 研究部会連合発表会
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] 微分作用素の固有値に対する複素モーメントを用いた精度保証付き数値計算2023

    • Author(s)
      今倉 暁, 保國 惠一, 高安 亮紀
    • Organizer
      2023年並列/分散/協調処理に関するサマー・ワークショップ(SWoPP 2023)
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] あるK3曲面族についてのPicard-Fuchs微分方程式のモノドロミーに対する精度保証付き数値計算2023

    • Author(s)
      石毛利昌, 高安亮紀
    • Organizer
      日本数学会2023年度年会
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] 常微分方程式の爆発解の漸近展開と無限遠ダイナミクス2023

    • Author(s)
      松江 要, 落合 啓之, 小谷 久寿, 高安 亮紀
    • Organizer
      日本数学会2023年度年会
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] 自己共役な微分作用素の固有値に対する周回積分型精度保証付き数値解法2023

    • Author(s)
      今倉 暁, 保國 惠一, 高安 亮紀
    • Organizer
      第49回数値解析シンポジウム
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] 精度保証付き数値計算の実装環境の現状 - MATLAB, Julia, C++ -2023

    • Author(s)
      高安亮紀
    • Organizer
      第1回区間解析研究会
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] 微分作用素の固有値に対する複素モーメントを用いた精度保証付き数値計算2023

    • Author(s)
      今倉暁, 保國惠一, 高安亮紀
    • Organizer
      2023年並列/分散/協調処理に関するサマー・ワークショップ(SWoPP 2023)
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] 二次の非線形性を持つ複素数値発展方程式の大域的なダイナミクスの計算機援用証明と未解決問題2023

    • Author(s)
      高安亮紀
    • Organizer
      「有限時間特異性」勉強会 第8回
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] 二次非線形性を持つ複素数値発展方程式の大域的なダイナミクスの計算機援用証明2023

    • Author(s)
      高安 亮紀
    • Organizer
      秋田発展方程式小研究集会
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] ジブロック共重合体モデルの厳密な数値求積法2023

    • Author(s)
      高安 亮紀, Gabriel W. Duchesne, Jean-Philippe Lessard
    • Organizer
      日本応用数理学会第19回研究部会連合発表会
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] Global Dynamics and Blowup in Some Quadratic PDEs2023

    • Author(s)
      Jonathan Jaquette, Jean-Philippe Lessard, Akitoshi Takayasu
    • Organizer
      10th International Congress on Industrial and Applied Mathematics (ICIAM 2023 TOKYO)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] A general approach for rigorously integrating PDEs using semigroup theory2022

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      CRM Applied Mathematics Seminars
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Chebyshev補間の最大値最小値の精度保証付き数値計算2022

    • Author(s)
      近藤 慎佑, 高安 亮紀
    • Organizer
      日本応用数理学会2022年度年会
    • Invited
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] 遅延Duffing方程式の結合系に対する同期解の精度保証付き数値計算2022

    • Author(s)
      高橋和暉, 高安亮紀
    • Organizer
      日本応用数理学会2022年度年会
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] 一般化エルミート固有値問題に対するRayleigh-Ritz版の周回積分型精度保証付き部分固有対計算2022

    • Author(s)
      今倉暁, 保國惠一, 高安亮紀
    • Organizer
      日本応用数理学会2022年度年会
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] Rigorous integrator for higher spatial dimensional PDEs2022

    • Author(s)
      Akitoshi Takayasu, Jean-Philippe Lessard
    • Organizer
      SIAM Conference on Nonlinear Waves and Coherent Structures (NWCS22)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] ベッセル関数のType-ll PSAの計算について2022

    • Author(s)
      宮内洋明, 高安亮紀, 柏木雅英, 浅井大晴
    • Organizer
      日本応用数理学会 第18回 研究部会連合発表会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] 常微分方程式の爆発解の漸近展開と無限遠ダイナミクスの対応2022

    • Author(s)
      松江要, 落合啓之, 小谷久寿, 高安亮紀
    • Organizer
      2022年度応用数学合同研究集会
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] 常微分方程式の爆発解の漸近展開と無限遠ダイナミクスの対応2022

    • Author(s)
      松江 要, 落合 啓之, 小谷 久寿, 高安 亮紀
    • Organizer
      2022年度応用数学合同研究集会
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] Rigorous integrator for higher spatial dimensional PDEs2022

    • Author(s)
      Akitoshi Takayasu, Jean-Philippe Lessard
    • Organizer
      SIAM Conference on Nonlinear Waves and Coherent Structures (NWCS22)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] 遅延Duffing方程式の結合系に対する同期解の精度保証付き数値計算2022

    • Author(s)
      高橋和暉, 高安亮紀
    • Organizer
      日本応用数理学会2022年度年会
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] 一般化エルミート固有値問題に対するRayleigh-Ritz版の周回積分型精度保証付き部分固有対計算2022

    • Author(s)
      今倉暁, 保國惠一, 高安亮紀
    • Organizer
      日本応用数理学会2022年度年会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Chebyshev interpolation for rigorous integrator of differential equations2022

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP2022)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] Rigorous integrator for higher spatial dimensional PDEs2022

    • Author(s)
      Takayasu, Akitoshi, Lessard, Jean-Philippe
    • Organizer
      SIAM Conference on Nonlinear Waves and Coherent Structures (NWCS22)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] 無限次元固有値問題に対する複素モーメント型解法とその性能評価2022

    • Author(s)
      今倉暁, 保國惠一, 高安亮紀
    • Organizer
      日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第34回単独研究会
    • Data Source
      KAKENHI-PROJECT-23K21673
  • [Presentation] 無限次元固有値問題に対する複素モーメント型解法とその性能評価2022

    • Author(s)
      今倉暁, 保國惠一, 高安亮紀
    • Organizer
      日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第34回研究会
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] 遅延Duffing方程式の結合系の完全同期解に対する精度保証付き数値計算2022

    • Author(s)
      高橋和暉, 高安亮紀
    • Organizer
      RIMS 共同研究(公開型)時間遅れ系と数理科学:理論と応用の新たな展開に向けて
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] 半群理論に基づく一般的な時間発展方程式に対する厳密な数値求積法2022

    • Author(s)
      高安亮紀
    • Organizer
      2022年度応用数学合同研究集会
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] A general approach for rigorously integrating PDEs using semigroup theory2022

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      CRM Applied Mathematics Seminars
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] Chebyshev補間の最大値最小値の精度保証付き数値計算2022

    • Author(s)
      近藤慎佑, 高安亮紀
    • Organizer
      日本応用数理学会2022年度年会
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] 遅延Duffing方程式の結合系に対する同期解の精度保証付き数値計算2022

    • Author(s)
      高橋和暉, 高安亮紀
    • Organizer
      日本応用数理学会2022年度年会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] 時間発展方程式に対する厳密な数値求積法の最近の進展2022

    • Author(s)
      高安亮紀
    • Organizer
      RIMS 共同研究(公開型)数値解析が拓く次世代情報社会~エッジから富岳まで~
    • Invited
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Chebyshev interpolation for rigorous integrator of differential equations2022

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] Rigorous integrator for higher spatial dimensional PDEs2022

    • Author(s)
      Akitoshi Takayasu, Jean-Philippe Lessard
    • Organizer
      SIAM Conference on Nonlinear Waves and Coherent Structures (NWCS22)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] 無限次元固有値問題に対する複素モーメント型解法とその性能評価2022

    • Author(s)
      今倉暁, 保國惠一, 高安亮紀
    • Organizer
      日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第34回研究会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] 遅延Duffing方程式の結合系の完全同期解に対する精度保証付き数値計算2022

    • Author(s)
      高橋和暉, 高安亮紀
    • Organizer
      RIMS 共同研究(公開型)時間遅れ系と数理科学:理論と応用の新たな展開に向けて
    • Invited
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] Julia言語を用いたChebyshev補間とその応用2022

    • Author(s)
      近藤慎佑, 高安亮紀
    • Organizer
      日本応用数理学会若手の会 第7回学生研究発表会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] 遅延Duffing方程式の結合系に対する同期解の精度保証付き数値計算2022

    • Author(s)
      高橋 和暉, 高安 亮紀
    • Organizer
      日本応用数理学会2022年度年会
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] A general approach for rigorously integrating PDEs using semigroup theory2022

    • Author(s)
      Takayasu, Akitoshi
    • Organizer
      CRM Applied Mathematics Seminars
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] 時間発展方程式に対する厳密な数値求積法の最近の進展2022

    • Author(s)
      高橋和暉, 高安亮紀
    • Organizer
      RIMS 共同研究(公開型)数値解析が拓く次世代情報社会~エッジから富岳まで~
    • Invited
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] A general approach for rigorously integrating PDEs using semigroup theory2022

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      CRM Applied Mathematics Seminars, McGill University
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] 時間発展方程式に対する厳密な数値求積法の最近の進展2022

    • Author(s)
      高安 亮紀
    • Organizer
      RIMS共同研究 (公開型) 数値解析が拓く次世代情報社会~エッジから富岳まで~
    • Invited
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] 半群理論に基づく一般的な時間発展方程式に対する厳密な数値求積法2022

    • Author(s)
      高安 亮紀, Gabriel W. Duchesne, Jean-Philippe Lessard
    • Organizer
      2022年度応用数学合同研究集会
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] Chebyshev interpolation for rigorous integrator of differential equations2022

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] 遅延Duffing方程式の結合系の完全同期解に対する精度保証付き数値計算2022

    • Author(s)
      高橋和暉, 高安亮紀
    • Organizer
      RIMS 共同研究(公開型)時間遅れ系と数理科学:理論と応用の新たな展開に向けて
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] 常微分方程式の爆発解の漸近展開と無限遠ダイナミクスの対応2022

    • Author(s)
      松江要, 落合啓之, 小谷久寿, 高安亮紀
    • Organizer
      2022年度応用数学合同研究集会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] 常微分方程式の爆発解の漸近展開と無限遠ダイナミクスの対応2022

    • Author(s)
      松江要, 落合啓之, 小谷久寿, 高安亮紀
    • Organizer
      2022年度応用数学合同研究集会
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] 半群理論に基づく一般的な時間発展方程式に対する厳密な数値求積法2022

    • Author(s)
      高安亮紀, Gabriel W. Duchesne, Jean-Philippe Lessar
    • Organizer
      2022年度応用数学合同研究集会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Chebyshev補間の最大値最小値の精度保証付き数値計算2022

    • Author(s)
      近藤慎佑, 高安亮紀
    • Organizer
      日本応用数理学会2022年度年会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Julia言語を用いた常微分方程式の周期解の精度保証付き数値計算2022

    • Author(s)
      高橋和暉, 高安亮紀
    • Organizer
      日本応用数理学会若手の会 第7回学生研究発表会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Chebyshev補間の最大値最小値の精度保証付き数値計算2022

    • Author(s)
      近藤慎佑, 高安亮紀
    • Organizer
      日本応用数理学会2022年度年会
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] フーリエスペクトル法を用いた遅延Duffing方程式の周期解の精度保証付き数値計算2022

    • Author(s)
      市川葵, 高安亮紀
    • Organizer
      日本応用数理学会 第18回 研究部会連合発表会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] 半群理論に基づく一般的な時間発展方程式に対する厳密な数値求積法2022

    • Author(s)
      高安亮紀, Gabriel W. Duchesne, Jean-Philippe Lessar
    • Organizer
      2022年度応用数学合同研究集会
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] 時間発展方程式に対する厳密な数値求積法の最近の進展2022

    • Author(s)
      高安亮紀
    • Organizer
      RIMS 共同研究(公開型)数値解析が拓く次世代情報社会~エッジから富岳まで~
    • Invited
    • Data Source
      KAKENHI-PROJECT-22K03411
  • [Presentation] 一般化エルミート固有値問題に対するRayleigh-Ritz版の周回積分型精度保証付き部分固有対計算2022

    • Author(s)
      今倉暁, 保國惠一, 高安亮紀
    • Organizer
      日本応用数理学会 2022年度 年会
    • Data Source
      KAKENHI-PROJECT-23K21673
  • [Presentation] 遅延Duffing方程式の結合系の完全同期解に対する精度保証付き数値計算2022

    • Author(s)
      高橋 和暉, 高安 亮紀
    • Organizer
      RIMS共同研究 (公開型) 時間遅れ系と数理科学 : 理論と応用の新たな展開に向けて
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] フーリエスペクトル法を用いた遅延Duffing方程式の周期解の精度保証付き数値計算について2021

    • Author(s)
      市川葵, 高安亮紀
    • Organizer
      日本応用数理学会若手の会 第6回学生研究発表会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Global dynamics in nonconservative nonlinear Schroedinger equations2021

    • Author(s)
      高安亮紀
    • Organizer
      京都大学 NLPDE セミナー
    • Invited
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Global existence and heteloclinics/homoclinics to a quadratic nonlinear Schrodinger equation2021

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      Czech-Japanese Seminar in Applied Mathematics
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] 無限次元固有値問題に対する複素モーメント型解法2021

    • Author(s)
      今倉暁, 保國惠一, 高安亮紀
    • Organizer
      2021年並列/分散/協調処理に関するサマー・ワークショップ (SWoPP2021)
    • Data Source
      KAKENHI-PROJECT-23K21673
  • [Presentation] Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity2021

    • Author(s)
      高安亮紀, Jonathan Jaquette, Jean-Philippe Lessard
    • Organizer
      2021年度応用数学合同研究集会
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] Complex Moment-Based Methods for Differential Eigenvalue Problems2021

    • Author(s)
      Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu
    • Organizer
      SIAM Conference on Applied Linear Algebra (SIAM-LA21)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K21673
  • [Presentation] 単位円盤領域上における半線形楕円型偏微分方程式の解の精度保証付き数値計算2021

    • Author(s)
      宮内洋明, 高安亮紀
    • Organizer
      日本応用数理学会若手の会 第6回学生研究発表会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Julia言語を用いた精度保証付き数値計算の実践2021

    • Author(s)
      高安亮紀
    • Organizer
      第5回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2021)
    • Invited
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] A rigorous forward integration method for time-dependent PDEs2021

    • Author(s)
      Akitoshi Takayasu, Jean-Philippe Lessard
    • Organizer
      19th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2020)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] Rigorous integrator for dissipative PDEs using the Chebyshev-Fourier spectral method2021

    • Author(s)
      Akitoshi Takayasu, Jean-Philippe Lessard
    • Organizer
      SIAM Conference on Applications of Dynamical Systems (DS21)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] Global dynamics in a quadratic nonlinear Schrodinger equation2021

    • Author(s)
      Jonathan Jaquette, Jean-Philippe Lessard, 高安亮紀
    • Organizer
      日本数学会2021年度年会
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] A rigorous forward integration method for time-dependent PDEs2021

    • Author(s)
      Akitoshi Takayasu, Jean-Philippe Lessard
    • Organizer
      The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2020)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Global existence and heteloclinics/homoclinics to a quadratic nonlinear Schrdinger equation2021

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      Czech-Japanese Seminar in Applied Mathematics
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Rigorous integrator for dissipative PDEs using the Chebyshev-Fourier spectral method2021

    • Author(s)
      Akitoshi Takayasu, Jean-Philippe Lessard
    • Organizer
      Conference on Applications of Dynamical Systems (DS21)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity2021

    • Author(s)
      高安 亮紀, Jonathan Jaquette, Jean-Philippe Lessard
    • Organizer
      2021年度応用数学合同研究集会
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] Global dynamics in a quadratic nonlinear Schrdinger equation2021

    • Author(s)
      J. Jaquette, J.-P. Lessard, 高安亮紀
    • Organizer
      日本数学会2021年度年会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] ある連立遅延微分方程式系の星形周期解ー数値的根拠と精度保証ー2021

    • Author(s)
      高安亮紀
    • Organizer
      RIMS 共同研究(公開型)時間遅れ系と数理科学:理論と応用の新たな展開に向けて
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Swift-Hohenberg方程式の厳密な数値求積法2021

    • Author(s)
      高安亮紀
    • Organizer
      日本応用数理学会2021年度年会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Global dynamics in nonconservative nonlinear Schrodinger equations2021

    • Author(s)
      高安亮紀
    • Organizer
      京都大学NLPDEセミナー
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] Complex moment-based methods for differential eigenvalue problems2021

    • Author(s)
      Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu
    • Organizer
      SIAM Conference on Applied Linear Algebra (LA21)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Eigensolvers using complex moments for operators2021

    • Author(s)
      Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu
    • Organizer
      Numerical Methods and Scientific Computing (NMSC21)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K21673
  • [Presentation] Global dynamics in nonconservative nonlinear Schrodinger equations2021

    • Author(s)
      高安 亮紀
    • Organizer
      京都大学 NLPDE セミナー
    • Invited
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] 遅延微分方程式に対する精度保証付き数値計算ー現状と課題ー2021

    • Author(s)
      高安亮紀
    • Organizer
      第2回 時間遅れと数理セミナー
    • Invited
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] A rigorous forward integration method for time-dependent PDEs2021

    • Author(s)
      Akitoshi Takayasu and Jean-Philippe Lessard
    • Organizer
      SCAN2020
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] Swift-Hohenberg方程式の厳密な数値求積法2021

    • Author(s)
      高安亮紀
    • Organizer
      日本応用数理学会2021年度年会
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] 遅延微分方程式に対する精度保証付き数値計算ー現状と課題ー2021

    • Author(s)
      高安亮紀
    • Organizer
      第2回 時間遅れと数理セミナー
    • Invited
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity2021

    • Author(s)
      高安亮紀, Jonathan Jaquette, Jean-Philipp Lessard
    • Organizer
      2021年度応用数学合同研究集会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] ある連立遅延微分方程式系の星形周期解ー数値的根拠と精度保証ー2021

    • Author(s)
      高安亮紀
    • Organizer
      RIMS共同研究(公開型)時間遅れ系と数理科学:理論と応用の新たな展開に向けて
    • Invited
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] Rigorous integrator for dissipative PDEs using the Chebyshev-Fourier spectral method2021

    • Author(s)
      Akitoshi Takayasu, Jean-Philippe Lessard
    • Organizer
      SIAM Conference on Applications of Dynamical Systems (DS21)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] 非線形熱方程式の複素時間領域における解の精度保証付き数値計算2021

    • Author(s)
      高安亮紀
    • Organizer
      東京大学数値解析セミナー
    • Invited
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] 非線形熱方程式の複素時間領域における解の精度保証付き数値計算2021

    • Author(s)
      高安亮紀
    • Organizer
      数値解析セミナー(東京大学大学院 数理科学研究科/情報理工学系研究科)
    • Invited
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] 非線形熱方程式の複素時間領域における解の精度保証付き数値計算2021

    • Author(s)
      高安 亮紀
    • Organizer
      数値解析セミナー (UTNAS)
    • Invited
    • Data Source
      KAKENHI-PROJECT-23K20813
  • [Presentation] A spectral method for viscous Burgers equation with a time delay2021

    • Author(s)
      高安亮紀, 久保隆徹
    • Organizer
      日本応用数理学会2021年度年会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Global dynamics in a quadratic nonlinear Schrodinger equation2020

    • Author(s)
      高安亮紀
    • Organizer
      第4回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2020)
    • Invited
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] 非線形シュレディンガー方程式の厳密な数値求積法2020

    • Author(s)
      高安亮紀
    • Organizer
      日本応用数理学会2020年度年会
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] チェビシェフ級数を用いた逐次連立による非線形常微分方程式系の初期値問題の精度保証付き数値解法2020

    • Author(s)
      舩越康太, 高安亮紀
    • Organizer
      日本応用数理学会2020年度年会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Global dynamics in a quadratic nonlinear Schrdinger equation2020

    • Author(s)
      高安亮紀
    • Organizer
      第4回 精度保証付き数値計算の実問題への応用研究集会
    • Invited
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Computer-assisted proofs for finding the monodromy of hypergeometric differential equations2020

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      16th Seminar Series of CRM CAMP in Nonlinear Analysis
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] Homoclinics and global existence of solutions to a quadratic nonlinear Schrodinger equation2020

    • Author(s)
      高安亮紀, Jonathan Jaquette
    • Organizer
      日本数学会2020年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] Homoclinics and global existence of solutions to a quadratic nonlinear Schrdinger equation2020

    • Author(s)
      高安亮紀, J. Jaquette
    • Organizer
      日本数学会2020年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Computer-assisted proofs for finding the monodromy of hypergeometric differential equations2020

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      16th Seminar Series of CRM CAMP in Nonlinear Analysis
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] 非線形シュレディンガー方程式の厳密な数値求積法2020

    • Author(s)
      高安亮紀
    • Organizer
      日本応用数理学会2020年度年会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Computer-assisted proofs of heteloclinic orbits to a quadratic nonlinear Schrdinger equation2020

    • Author(s)
      高安亮紀, J. Jaquette, J.-P. Lessard
    • Organizer
      2020年度応用数学合同研究集会
    • Data Source
      KAKENHI-PROJECT-18K13453
  • [Presentation] Computer-assisted proofs of heteloclinic orbits to a quadratic nonlinear Schrodinger equation2020

    • Author(s)
      高安亮紀, Jonathan Jaquette, Jean-Philippe Lessard
    • Organizer
      2020年度応用数学合同研究集会
    • Data Source
      KAKENHI-PROJECT-20H01820
  • [Presentation] ある非線形遅延微分方程式系の星形周期解のフーリエスペクトル法による近似解について2020

    • Author(s)
      野澤健三, 高安亮紀
    • Organizer
      日本応用数理学会2020年度年会
    • 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-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: 22 results
  • 2.  KOBAYASHI Kenta (60432902)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 3.  土屋 卓也 (00163832)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 4.  渡部 善隆 (90243972)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 5.  劉 雪峰 (50571220)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 6.  保國 惠一 (90765934)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 7 results
  • 7.  今倉 暁 (60610045)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 9 results
  • 8.  松江 要 (70610046)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 9 results
  • 9.  新宅 勇一 (80780064)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 10.  齋藤 平和 (30754882)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  相原 研輔 (70735498)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 12.  石渡 哲哉 (50334917)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  櫻井 鉄也 (60187086)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  寺田 賢二郎 (40282678)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 15.  堤 成一郎 (70344702)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  高橋 昭如 (00366444)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  OISHI SHIN'ICHI
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 26 results
  • 18.  MIZUGUCHI MAKOTO
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 26 results
  • 19.  市原 一裕
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 1 results
  • 20.  佐々木 多希子
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 1 results

URL: 

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi