• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

高安 亮紀  Takayasu Akitoshi

研究者番号 60707743
その他のID
  • ORCIDhttps://orcid.org/0009-0005-5087-4894
所属 (現在) 2025年度: 筑波大学, システム情報系, 准教授
所属 (過去の研究課題情報に基づく) *注記 2022年度 – 2025年度: 筑波大学, システム情報系, 准教授
2016年度 – 2023年度: 筑波大学, システム情報系, 助教
2015年度: 早稲田大学, 理工学術院, 次席研究員
2015年度: 早稲田大学, 理工学術院, 講師
審査区分/研究分野
研究代表者
小区分12040:応用数学および統計数学関連 / 数学基礎・応用数学
研究代表者以外
小区分12040:応用数学および統計数学関連 / 小区分60100:計算科学関連 / 合同審査対象区分:小区分12030:数学基礎関連、小区分12040:応用数学および統計数学関連 / 小区分12030:数学基礎関連 / 中区分60:情報科学、情報工学およびその関連分野 / 小区分12020:数理解析学関連 / 数学基礎・応用数学 / 数学解析
キーワード
研究代表者
精度保証付き数値計算 / 無限次元力学系 / 発展作用素 / 簡易ニュートン写像 / 零点探索問題 / 計算機援用証明 / 数値解析 / 解の数値的検証 / タイムステッピング / 半群理論 … もっと見る / Ohta-Kawasaki方程式 / Swift-Hohenberg方程式 / 時間大域存在 / 境界値問題 / 初期値問題 / C0半群 / Lyapunov-Perronの方法 / スペクトル法 / 解の時間大域挙動 / 分散型偏微分方程式 / 放物型偏微分方程式 / 双曲型偏微分方程式 / 解の時間大域存在 / 厳密な数値求積 / Parameterization method / 一次元変数係数移流方程式 / 非線形シュレディンガー方程式 / 複素数値非線形熱方程式 / 非線形発展方程式 / ケラー・シーゲル方程式系 / 爆発問題 / 非線形放物型偏微分方程式 … もっと見る
研究代表者以外
有限要素法 / 精度保証付き数値計算 / 均質化法 / 確率論 / 統計力学 / マルチスケール解析 / 補間誤差解析 / Navier-Stokes方程式 / 数値解析 / 誤差評価 / 圧力安定化法 / マテリアルズ・インフォマティクス / 解のダイナミクス / 周期解 / 爆発解 / 特異性 / 遅延微分方程式 / 結晶すべり / 塑性 / 転位 / 破壊力学 / 複素モーメント型固有値解法 / リスク回避技術 / 複素モーメント型解法 / 無限次元固有値問題 / 微分方程式 / 力学系 / 発展方程式 / 有限時間特異性 / 数値代数 / 精度保証 / 数値計算アルゴリズム / 制度保証付き数値計算 / 計算機援用証明 / 逆作用素ノルム / 不連続ガレルキン法 / 非線形偏微分方程式 / 時間遅れパラメータ / Cattaneo則 / 近似パラメータ / 時間遅れ / Burgers方程式 / Navier-Stokes 方程式 / 時間遅れBurgers方程式 / 近似問題 / 補間誤差定数 / 固有値問題 / 補間誤差評価 / 安定性 / 自由境界問題 / 2次元半空間 / 最大正則性原理 / 2次元半空間 / 定常解 / 時間局所解 / 弱解 / 最大正則性 / Stokes半群のLp-Lq評価 / 最大正則性定理 / 二相問題 / 重み付き空間 隠す
  • 研究課題

    (15件)
  • 研究成果

    (259件)
  • 共同研究者

    (21人)
  •  時間遅れと非線形性の相互作用が生む特異性・複雑現象の解明と数学理論の深化

    • 研究代表者
      石渡 哲哉
    • 研究期間 (年度)
      2025 – 2029
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分12040:応用数学および統計数学関連
      小区分12030:数学基礎関連
      合同審査対象区分:小区分12030:数学基礎関連、小区分12040:応用数学および統計数学関連
    • 研究機関
      芝浦工業大学
  •  ミクロ構造の相互作用とランダム性を扱うための確率論に基づくマルチスケール解析

    • 研究代表者
      新宅 勇一
    • 研究期間 (年度)
      2025 – 2027
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60100:計算科学関連
    • 研究機関
      筑波大学
  •  数値作用素代数の基盤創出とその応用

    • 研究代表者
      保國 惠一
    • 研究期間 (年度)
      2024 – 2028
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分12040:応用数学および統計数学関連
      小区分12030:数学基礎関連
      合同審査対象区分:小区分12030:数学基礎関連、小区分12040:応用数学および統計数学関連
    • 研究機関
      筑波大学
  •  補間誤差解析を超えて切り拓く有限要素法と精度保証付き数値計算の新たなる地平

    • 研究代表者
      小林 健太
    • 研究期間 (年度)
      2024 – 2027
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分12040:応用数学および統計数学関連
      小区分12030:数学基礎関連
      合同審査対象区分:小区分12030:数学基礎関連、小区分12040:応用数学および統計数学関連
    • 研究機関
      一橋大学
  •  統計力学の観点から転位の運動を考慮した塑性理論の創生

    • 研究代表者
      新宅 勇一
    • 研究期間 (年度)
      2023 – 2025
    • 研究種目
      挑戦的研究(萌芽)
    • 審査区分
      中区分60:情報科学、情報工学およびその関連分野
    • 研究機関
      筑波大学
  •  無限次元力学系に対する厳密な数値求積法の研究研究代表者

    • 研究代表者
      高安 亮紀
    • 研究期間 (年度)
      2022 – 2025
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分12040:応用数学および統計数学関連
    • 研究機関
      筑波大学
  •  マテリアルズ・インフォマティクスに向けた統計力学に基づくマルチスケール解析

    • 研究代表者
      新宅 勇一
    • 研究期間 (年度)
      2022 – 2024
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60100:計算科学関連
    • 研究機関
      筑波大学
  •  有限時間特異性の包括的記述に向けた数学解析・計算機援用解析の展開

    • 研究代表者
      松江 要
    • 研究期間 (年度)
      2021 – 2024
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分12040:応用数学および統計数学関連
    • 研究機関
      九州大学
  •  無限次元固有値問題に対する複素モーメント型解法および数理的リスク回避技術の開発

    • 研究代表者
      今倉 暁
    • 研究期間 (年度)
      2021 – 2025
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60100:計算科学関連
    • 研究機関
      筑波大学
  •  新たな段階に入った有限要素法基盤の精度保証付き数値計算の進展

    • 研究代表者
      小林 健太
    • 研究期間 (年度)
      2020 – 2023
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分12040:応用数学および統計数学関連
    • 研究機関
      一橋大学
  •  近似パラメータを含むNavier-Stokes方程式の数学解析

    • 研究代表者
      久保 隆徹
    • 研究期間 (年度)
      2019 – 2024
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分12020:数理解析学関連
    • 研究機関
      お茶の水女子大学
  •  双曲型偏微分方程式に対する解の精度保証付き数値計算理論の研究研究代表者

    • 研究代表者
      高安 亮紀
    • 研究期間 (年度)
      2018 – 2022
    • 研究種目
      若手研究
    • 審査区分
      小区分12040:応用数学および統計数学関連
    • 研究機関
      筑波大学
  •  有限要素法に基づく精度保証付き数値計算の高度化に関する研究

    • 研究代表者
      小林 健太
    • 研究期間 (年度)
      2016 – 2019
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学基礎・応用数学
    • 研究機関
      一橋大学
  •  流体力学の非定常問題への実解析的・数値解析的アプローチ

    • 研究代表者
      久保 隆徹
    • 研究期間 (年度)
      2015 – 2018
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学解析
    • 研究機関
      筑波大学
  •  非線形放物型方程式に対する解の精度保証付き数値計算理論の研究研究代表者

    • 研究代表者
      高安 亮紀
    • 研究期間 (年度)
      2015 – 2017
    • 研究種目
      若手研究(B)
    • 研究分野
      数学基礎・応用数学
    • 研究機関
      筑波大学
      早稲田大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015

すべて 雑誌論文 学会発表

  • [雑誌論文] A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory2024

    • 著者名/発表者名
      G. W. Duchesne, J.-P. Lessard, and A. Takayasu
    • 雑誌名

      arXiv [math.AP]

      巻: arXiv:2402.00406

    • オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03411
  • [雑誌論文] Monodromy Approach to Pair Production of Charged Black Holes and Electric Fields2023

    • 著者名/発表者名
      C.-M. Chen, T. Ishige, S. P. Kim, A. Takayasu, and C.-Y. Wei
    • 雑誌名

      Chinese Journal of Physics

      巻: 86 ページ: 255-268

    • DOI

      10.1016/j.cjph.2023.10.007

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03411, KAKENHI-PROJECT-23K20813
  • [雑誌論文] Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature2023

    • 著者名/発表者名
      Lessard Jean-Philippe、Matsue Kaname、Takayasu Akitoshi
    • 雑誌名

      Journal of Nonlinear Science

      巻: 33 号: 3 ページ: 46-46

    • DOI

      10.1007/s00332-023-09900-6

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03411, KAKENHI-PROJECT-18K13453, KAKENHI-PROJECT-23K20813, KAKENHI-PROJECT-20H01820
  • [雑誌論文] Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh?Ritz procedure for generalized Hermitian eigenvalue problems2023

    • 著者名/発表者名
      Imakura Akira、Morikuni Keiichi、Takayasu Akitoshi
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 424 ページ: 114994-114994

    • DOI

      10.1016/j.cam.2022.114994

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-19KK0255, KAKENHI-PROJECT-23K21673, KAKENHI-PROJECT-20K14356, KAKENHI-PROJECT-22K03411, KAKENHI-PROJECT-23K20813
  • [雑誌論文] Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity2022

    • 著者名/発表者名
      Jaquette Jonathan、Lessard Jean-Philippe、Takayasu Akitoshi
    • 雑誌名

      Communications in Nonlinear Science and Numerical Simulation

      巻: 107 ページ: 106188-106188

    • DOI

      10.1016/j.cnsns.2021.106188

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03411, KAKENHI-PROJECT-18K13453, KAKENHI-PROJECT-23K20813, KAKENHI-PROJECT-20H01820
  • [雑誌論文] Rigorous numerics for nonlinear heat equations in the complex plane of time2022

    • 著者名/発表者名
      Takayasu Akitoshi、Lessard Jean-Philippe、Jaquette Jonathan、Okamoto Hisashi
    • 雑誌名

      Numerische Mathematik

      巻: 151 号: 3 ページ: 693-750

    • DOI

      10.1007/s00211-022-01291-2

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03411, KAKENHI-PROJECT-22K03438, KAKENHI-PROJECT-18K13453, KAKENHI-PROJECT-18H01137, KAKENHI-PROJECT-23K20813, KAKENHI-PROJECT-20H01820
  • [雑誌論文] Global dynamics in nonconservative nonlinear Schr?dinger equations2022

    • 著者名/発表者名
      Jaquette Jonathan、Lessard Jean-Philippe、Takayasu Akitoshi
    • 雑誌名

      Advances in Mathematics

      巻: 398 ページ: 108234-108234

    • DOI

      10.1016/j.aim.2022.108234

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453, KAKENHI-PROJECT-20H01820, KAKENHI-PROJECT-23K20813
  • [雑誌論文] Complex moment-based methods for differential eigenvalue problems2022

    • 著者名/発表者名
      Imakura Akira、Morikuni Keiichi、Takayasu Akitoshi
    • 雑誌名

      Numerical Algorithms

      巻: 92 号: 1 ページ: 693-721

    • DOI

      10.1007/s11075-022-01456-y

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-22K03411, KAKENHI-PROJECT-20K14356, KAKENHI-PROJECT-19KK0255, KAKENHI-PROJECT-18K13453, KAKENHI-PROJECT-23K20813, KAKENHI-PROJECT-23K21673
  • [雑誌論文] A geometric characterization of unstable blow-up solutions with computer-assisted proof2021

    • 著者名/発表者名
      Jean-Philippe Lessard, Kaname Matsue, Akitoshi Takayasu
    • 雑誌名

      arXiv:2103.12390 [math.DS]

      巻: -

    • オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453
  • [雑誌論文] Rigorous numerics for nonlinear heat equations in the complex plane of time2020

    • 著者名/発表者名
      A. Takayasu, J.-P. Lessard, J. Jaquette, and H. Okamoto
    • 雑誌名

      arXiv:1910.12472 [math.DS]

    • オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453
  • [雑誌論文] Global dynamics in nonconservative nonlinear Schr\"odinger equations2020

    • 著者名/発表者名
      J. Jaquette, J.-P. Lessard, and A. Takayasu
    • 雑誌名

      arXiv:2012.09734 [math.AP]

    • オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453
  • [雑誌論文] A computer-assisted proof for nonlinear heat equations in the complex plane of time2020

    • 著者名/発表者名
      Takayasu Akitoshi
    • 雑誌名

      RIMS Kokyuroku Bessatsu

      巻: B82 ページ: 47-66

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20H01820
  • [雑誌論文] Numerical validation of blow-up solutions with quasi-homogeneous compactifications2020

    • 著者名/発表者名
      K. Matsue and A. Takayasu
    • 雑誌名

      Numerische Mathematik

      巻: 145 号: 3 ページ: 605-654

    • DOI

      10.1007/s00211-020-01125-z

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K13453, KAKENHI-PROJECT-20H01820
  • [雑誌論文] Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems2020

    • 著者名/発表者名
      Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 369 ページ: 112543-112543

    • DOI

      10.1016/j.cam.2019.112543

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17K12690, KAKENHI-PROJECT-18K13453, KAKENHI-PROJECT-16K17639
  • [雑誌論文] Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity"2020

    • 著者名/発表者名
      K. Matsue and A. Takayasu
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 374 ページ: 112607-112607

    • DOI

      10.1016/j.cam.2019.112607

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453, KAKENHI-PROJECT-16H03950, KAKENHI-PROJECT-17K14235
  • [雑誌論文] Rigorous numerical computations for 1D advection equations with variable coefficients2019

    • 著者名/発表者名
      A. Takayasu, S. Yoon, and Y. Endo
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 36 号: 2 ページ: 357-384

    • DOI

      10.1007/s13160-019-00345-7

    • NAID

      120007133327

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K13453, KAKENHI-PROJECT-16H03950
  • [雑誌論文] Accurate method of verified computing for solutions of semilinear heat equations2017

    • 著者名/発表者名
      Takayasu, Akitoshi; Mizuguchi, Makoto; Kubo, Takayuki; Oishi, Shin'ichi
    • 雑誌名

      Reliable Computing

      巻: 25 ページ: 74-74

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15K04946
  • [雑誌論文] Accurate method of verified computing for solutions of semilinear heat equations2017

    • 著者名/発表者名
      A. Takayasu, M. Mizuguchi, T. Kubo, and S. Oishi
    • 雑誌名

      Reliable computing

      巻: 25 ページ: 74-99

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15K17596
  • [雑誌論文] Accurate method of verified computing for solutions of semilinear heat equations2017

    • 著者名/発表者名
      Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, and Shin’ichi Oishi
    • 雑誌名

      Reliable computing

      巻: 25 ページ: 74-99

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-16H03950
  • [雑誌論文] Numerical validation of blow-up solutions of ordinary differential equations2017

    • 著者名/発表者名
      A. Takayasu, K. Matsue, Kaname, T. Sasaki, K. Tanaka, M.Mizuguchi and S. Oishi
    • 雑誌名

      J. Comput. Appl. Math.

      巻: 314 ページ: 10-29

    • DOI

      10.1016/j.cam.2016.10.013

    • NAID

      120007135196

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-16H07288, KAKENHI-PROJECT-15K17596, KAKENHI-PROJECT-17H07188
  • [雑誌論文] A method of verified computations for solutions to semilinear parabolic equations using semigroup theory2017

    • 著者名/発表者名
      M. Mizuguchi, A. Takayasu, T. Kubo, and S. Oishi
    • 雑誌名

      SIAM Journal on Numerical Analysis

      巻: 55:2 号: 2 ページ: 980-1001

    • DOI

      10.1137/141001664

    • NAID

      120007129016

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-15K17596, KAKENHI-PROJECT-15K04946, KAKENHI-PROJECT-16H03950
  • [雑誌論文] Numerical verification for existence of a global-in-time solution to semilinear parabolic equations2017

    • 著者名/発表者名
      M. Mizuguchi, A. Takayasu, T. Kubo, and S. Oishi
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 315 ページ: 1-16

    • DOI

      10.1016/j.cam.2016.10.024

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15K17596, KAKENHI-PROJECT-15K04946, KAKENHI-PROJECT-16H03950
  • [雑誌論文] Verified Computations for Hyperbolic 3-Manifolds2016

    • 著者名/発表者名
      Neil Hoffman, Kazuhiro Ichihara, Masahide Kashiwagi, Hidetoshi Masai, Shin’ichi Oishi, Akitoshi Takayasu
    • 雑誌名

      Experimental Mathematics

      巻: 25 号: 1 ページ: 66-78

    • DOI

      10.1080/10586458.2015.1029599

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26400100, KAKENHI-PROJECT-15K17596, KAKENHI-PROJECT-15J08142
  • [雑誌論文] On the embedding constant of the Sobolev type inequality for fractional derivatives2016

    • 著者名/発表者名
      Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, and Shin'ichi Oishi
    • 雑誌名

      Nonlinear Theory and Its Applications, IEICE

      巻: 7 号: 3 ページ: 386-394

    • DOI

      10.1587/nolta.7.386

    • NAID

      130005161829

    • ISSN
      2185-4106
    • 言語
      英語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-16H03950, KAKENHI-PROJECT-15K17596
  • [雑誌論文] On the embedding constant of the Sobolev type inequality for fractional derivatives2016

    • 著者名/発表者名
      M. Mizuguchi, A. Takayasu, T. Kubo, and S. Oishi
    • 雑誌名

      NOLTA, IEICE

      巻: -

    • NAID

      130005161829

    • 査読あり / 謝辞記載あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15K17596
  • [雑誌論文] Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator2016

    • 著者名/発表者名
      A. Takayasu, M. Mizuguchi, T. Kubo, and S. Oishi
    • 雑誌名

      Mathematical Aspects of Computer and Information Sciences, Vo. 9582 of the series LNCS

      巻: 9582 ページ: 218-223

    • DOI

      10.1007/978-3-319-32859-1_18

    • ISBN
      9783319328584, 9783319328591
    • 査読あり
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] 二次非線形性を持つ複素数値発展方程式のヘテロクリニック軌道と特異性の計算機援用証明2024

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      第67回拡大MCMEセミナー One day workshop on differential equations in the complex domain
    • 招待講演
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] チェビシェフ補間を用いた数学関数の精度保証付き数値計算2024

    • 著者名/発表者名
      近藤慎佑, 高安亮紀
    • 学会等名
      日本応用数理学会 第20回 研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory2024

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      Workshop of Computational Science and Information Engineering 2024 (SCIE2024)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] 精度保証付き数値計算の実装環境の現状 - MATLAB, Julia, C++ -2023

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      第1回区間解析研究会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Parallel Implementation of a rigorous contour integral based eigensolver and its performance evaluation2023

    • 著者名/発表者名
      Shota Seto, Akitoshi Takayasu
    • 学会等名
      IUTAM Symposium on Nonlinear dynamics for design of mechanical systems across different length/time scales (IUTAM 2023)
    • データソース
      KAKENHI-PROJECT-23K21673
  • [学会発表] 遅延微分方程式系の周期解の数値的存在証明2023

    • 著者名/発表者名
      高安 亮紀
    • 学会等名
      第3回微分方程式セミナー@お茶の水女子大学
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] 二次非線形性を持つ複素数値発展方程式のヘテロクリニック軌道と特異性の計算機援用証明2023

    • 著者名/発表者名
      高安 亮紀
    • 学会等名
      第67回拡大MCMEセミナー One day workshop on differential equations in the complex domain
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] 時間発展方程式の厳密な数値求積法の零点探索問題としての定式化2023

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      2023年度応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] 時間発展方程式の厳密な数値求積法の零点探索問題としての定式化2023

    • 著者名/発表者名
      高安 亮紀
    • 学会等名
      2023年度応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] Rigorous numerics for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces2023

    • 著者名/発表者名
      Akitoshi Takayasu, Toshimasa Ishige
    • 学会等名
      10th International Congress on Industrial and Applied Mathematics (ICIAM 2023 TOKYO)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] Julia 言語を用いた周回積分型固有値解法の並列実装と性能評価2023

    • 著者名/発表者名
      瀬戸翔太, 高安亮紀
    • 学会等名
      日本応用数理学会若手の会 第8回学生研究発表会
    • データソース
      KAKENHI-PROJECT-23K21673
  • [学会発表] Recent Results of Rigorous Numerical Integration for Higher Spatial Dimensional PDEs2023

    • 著者名/発表者名
      Akitoshi Takayasu, Gabriel Duchesne, Jean-Philippe Lessard
    • 学会等名
      SIAM Conference on Applications of Dynamical Systems (DS23)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] Rigorous forward numerical integration of general evolutionary partial differential equations based on semigroup theory2023

    • 著者名/発表者名
      Akitoshi Takayasu, Gabriel Duchesne, Jean-Philippe Lessard
    • 学会等名
      IUTAM Symposium on Nonlinear dynamics for design of mechanical systems across different length/time scales (IUTAM 2023)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] ジブロック共重合体モデルの厳密な数値求積法2023

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

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      秋田発展方程式小研究集会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] 微分作用素の固有値に対する複素モーメントを用いた精度保証付き数値計算2023

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

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      Workshop of Computational Science and Information Engineering 2024 (SCIE2024)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] あるK3曲面族についてのPicard-Fuchs微分方程式のモノドロミーに対する精度保証付き数値計算2023

    • 著者名/発表者名
      石毛 利昌, 高安 亮紀
    • 学会等名
      日本数学会2023年度年会
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] 一般化固有値問題の精度保証付き数値計算の並列実装とその評価2023

    • 著者名/発表者名
      瀬戸翔太, 高安亮紀
    • 学会等名
      日本応用数理学会若手の会 第9回学生研究発表会
    • データソース
      KAKENHI-PROJECT-23K21673
  • [学会発表] Rigorous numerics for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces2023

    • 著者名/発表者名
      Akitoshi Takayasu, Toshimasa Ishige
    • 学会等名
      10th International Congress on Industrial and Applied Mathematics (ICIAM 2023 TOKYO)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] 半線形放物型方程式の時間大域解の計算機援用証明2023

    • 著者名/発表者名
      Gabriel Duchesne, Jean-Philippe Lessard, 高安 亮紀
    • 学会等名
      日本数学会2023年度秋季総合分科会
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] 半線形放物型方程式の時間大域解の計算機援用証明2023

    • 著者名/発表者名
      Gabriel Duchesne, Jean-Philippe Lessard, 高安亮紀
    • 学会等名
      日本数学会2023年度秋季総合分科会
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] Rigorous forward numerical integration of general evolutionary partial differential equations based on semigroup theory2023

    • 著者名/発表者名
      Akitoshi Takayasu, Gabriel Duchesne, Jean-Philippe Lessard
    • 学会等名
      IUTAM Symposium on Nonlinear dynamics for design of mechanical systems across different length/time scales (IUTAM 2023)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] 遅延微分方程式系の周期解の数値的存在証明2023

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      第3回微分方程式セミナー
    • 招待講演
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] 自己共役な微分作用素の固有値に対する周回積分型精度保証付き数値解法2023

    • 著者名/発表者名
      今倉暁, 保國惠一, 高安亮紀
    • 学会等名
      第49回数値解析シンポジウム(NAS2023)
    • データソース
      KAKENHI-PROJECT-23K21673
  • [学会発表] Global Dynamics and Blowup in Some Quadratic PDEs2023

    • 著者名/発表者名
      Jonathan Jaquette, Jean-Philippe Lessard, Akitoshi Takayasu
    • 学会等名
      10th International Congress on Industrial and Applied Mathematics (ICIAM 2023 TOKYO)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] 自己共役な微分作用素の固有値に対する周回積分型精度保証付き数値解法2023

    • 著者名/発表者名
      今倉暁, 保國惠一, 高安亮紀
    • 学会等名
      第49回数値解析シンポジウム
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] あるK3曲面族についてのPicard-Fuchs微分方程式のモノドロミーに対する精度保証付き数値計算2023

    • 著者名/発表者名
      石毛利昌, 高安亮紀
    • 学会等名
      日本数学会2023年度年会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] ジブロック共重合体モデルの厳密な数値求積法2023

    • 著者名/発表者名
      高安亮紀, Gabriel W. Duchesne, Jean-Philippe Lessard
    • 学会等名
      日本応用数理学会 第19回 研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] 常微分方程式の爆発解の漸近展開と無限遠ダイナミクス2023

    • 著者名/発表者名
      松江要, 落合啓之, 小谷久寿, 高安亮紀
    • 学会等名
      日本数学会2023年度年会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Recent Results of Rigorous Numerical Integration for Higher Spatial Dimensional PDEs2023

    • 著者名/発表者名
      Akitoshi Takayasu, Gabriel Duchesne, Jean-Philippe Lessard
    • 学会等名
      SIAM Conference on Applications of Dynamical Systems (DS23)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] 二次の非線形性を持つ複素数値発展方程式の大域的なダイナミクスの計算機援用証明と未解決問題2023

    • 著者名/発表者名
      高安 亮紀
    • 学会等名
      「有限時間特異性」勉強会 第8回
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] 常微分方程式の爆発解の漸近展開と無限遠ダイナミクス2023

    • 著者名/発表者名
      松江要, 落合啓之, 小谷久寿, 高安亮紀
    • 学会等名
      日本数学会2023年度年会
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] チェビシェフ補間を用いた数学関数の精度保証付き数値計算2023

    • 著者名/発表者名
      近藤 慎佑, 高安 亮紀
    • 学会等名
      日本応用数理学会 第20回 研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] 微分作用素の固有値に対する複素モーメントを用いた精度保証付き数値計算2023

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

    • 著者名/発表者名
      石毛利昌, 高安亮紀
    • 学会等名
      日本数学会2023年度年会
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] 常微分方程式の爆発解の漸近展開と無限遠ダイナミクス2023

    • 著者名/発表者名
      松江 要, 落合 啓之, 小谷 久寿, 高安 亮紀
    • 学会等名
      日本数学会2023年度年会
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] 自己共役な微分作用素の固有値に対する周回積分型精度保証付き数値解法2023

    • 著者名/発表者名
      今倉 暁, 保國 惠一, 高安 亮紀
    • 学会等名
      第49回数値解析シンポジウム
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] 精度保証付き数値計算の実装環境の現状 - MATLAB, Julia, C++ -2023

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      第1回区間解析研究会
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] 微分作用素の固有値に対する複素モーメントを用いた精度保証付き数値計算2023

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

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      「有限時間特異性」勉強会 第8回
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] 二次非線形性を持つ複素数値発展方程式の大域的なダイナミクスの計算機援用証明2023

    • 著者名/発表者名
      高安 亮紀
    • 学会等名
      秋田発展方程式小研究集会
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] ジブロック共重合体モデルの厳密な数値求積法2023

    • 著者名/発表者名
      高安 亮紀, Gabriel W. Duchesne, Jean-Philippe Lessard
    • 学会等名
      日本応用数理学会第19回研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] Global Dynamics and Blowup in Some Quadratic PDEs2023

    • 著者名/発表者名
      Jonathan Jaquette, Jean-Philippe Lessard, Akitoshi Takayasu
    • 学会等名
      10th International Congress on Industrial and Applied Mathematics (ICIAM 2023 TOKYO)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] A general approach for rigorously integrating PDEs using semigroup theory2022

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      CRM Applied Mathematics Seminars
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Chebyshev補間の最大値最小値の精度保証付き数値計算2022

    • 著者名/発表者名
      近藤 慎佑, 高安 亮紀
    • 学会等名
      日本応用数理学会2022年度年会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] 遅延Duffing方程式の結合系に対する同期解の精度保証付き数値計算2022

    • 著者名/発表者名
      高橋和暉, 高安亮紀
    • 学会等名
      日本応用数理学会2022年度年会
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] 一般化エルミート固有値問題に対するRayleigh-Ritz版の周回積分型精度保証付き部分固有対計算2022

    • 著者名/発表者名
      今倉暁, 保國惠一, 高安亮紀
    • 学会等名
      日本応用数理学会2022年度年会
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] Rigorous integrator for higher spatial dimensional PDEs2022

    • 著者名/発表者名
      Akitoshi Takayasu, Jean-Philippe Lessard
    • 学会等名
      SIAM Conference on Nonlinear Waves and Coherent Structures (NWCS22)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] ベッセル関数のType-ll PSAの計算について2022

    • 著者名/発表者名
      宮内洋明, 高安亮紀, 柏木雅英, 浅井大晴
    • 学会等名
      日本応用数理学会 第18回 研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] 常微分方程式の爆発解の漸近展開と無限遠ダイナミクスの対応2022

    • 著者名/発表者名
      松江要, 落合啓之, 小谷久寿, 高安亮紀
    • 学会等名
      2022年度応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] 常微分方程式の爆発解の漸近展開と無限遠ダイナミクスの対応2022

    • 著者名/発表者名
      松江 要, 落合 啓之, 小谷 久寿, 高安 亮紀
    • 学会等名
      2022年度応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] Rigorous integrator for higher spatial dimensional PDEs2022

    • 著者名/発表者名
      Akitoshi Takayasu, Jean-Philippe Lessard
    • 学会等名
      SIAM Conference on Nonlinear Waves and Coherent Structures (NWCS22)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] 遅延Duffing方程式の結合系に対する同期解の精度保証付き数値計算2022

    • 著者名/発表者名
      高橋和暉, 高安亮紀
    • 学会等名
      日本応用数理学会2022年度年会
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] 一般化エルミート固有値問題に対するRayleigh-Ritz版の周回積分型精度保証付き部分固有対計算2022

    • 著者名/発表者名
      今倉暁, 保國惠一, 高安亮紀
    • 学会等名
      日本応用数理学会2022年度年会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Chebyshev interpolation for rigorous integrator of differential equations2022

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP2022)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] Rigorous integrator for higher spatial dimensional PDEs2022

    • 著者名/発表者名
      Takayasu, Akitoshi, Lessard, Jean-Philippe
    • 学会等名
      SIAM Conference on Nonlinear Waves and Coherent Structures (NWCS22)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] 無限次元固有値問題に対する複素モーメント型解法とその性能評価2022

    • 著者名/発表者名
      今倉暁, 保國惠一, 高安亮紀
    • 学会等名
      日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第34回単独研究会
    • データソース
      KAKENHI-PROJECT-23K21673
  • [学会発表] 無限次元固有値問題に対する複素モーメント型解法とその性能評価2022

    • 著者名/発表者名
      今倉暁, 保國惠一, 高安亮紀
    • 学会等名
      日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第34回研究会
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] 遅延Duffing方程式の結合系の完全同期解に対する精度保証付き数値計算2022

    • 著者名/発表者名
      高橋和暉, 高安亮紀
    • 学会等名
      RIMS 共同研究(公開型)時間遅れ系と数理科学:理論と応用の新たな展開に向けて
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] 半群理論に基づく一般的な時間発展方程式に対する厳密な数値求積法2022

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      2022年度応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] A general approach for rigorously integrating PDEs using semigroup theory2022

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      CRM Applied Mathematics Seminars
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] Chebyshev補間の最大値最小値の精度保証付き数値計算2022

    • 著者名/発表者名
      近藤慎佑, 高安亮紀
    • 学会等名
      日本応用数理学会2022年度年会
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] 遅延Duffing方程式の結合系に対する同期解の精度保証付き数値計算2022

    • 著者名/発表者名
      高橋和暉, 高安亮紀
    • 学会等名
      日本応用数理学会2022年度年会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] 時間発展方程式に対する厳密な数値求積法の最近の進展2022

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      RIMS 共同研究(公開型)数値解析が拓く次世代情報社会~エッジから富岳まで~
    • 招待講演
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Chebyshev interpolation for rigorous integrator of differential equations2022

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] Rigorous integrator for higher spatial dimensional PDEs2022

    • 著者名/発表者名
      Akitoshi Takayasu, Jean-Philippe Lessard
    • 学会等名
      SIAM Conference on Nonlinear Waves and Coherent Structures (NWCS22)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] 無限次元固有値問題に対する複素モーメント型解法とその性能評価2022

    • 著者名/発表者名
      今倉暁, 保國惠一, 高安亮紀
    • 学会等名
      日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第34回研究会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] 遅延Duffing方程式の結合系の完全同期解に対する精度保証付き数値計算2022

    • 著者名/発表者名
      高橋和暉, 高安亮紀
    • 学会等名
      RIMS 共同研究(公開型)時間遅れ系と数理科学:理論と応用の新たな展開に向けて
    • 招待講演
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] Julia言語を用いたChebyshev補間とその応用2022

    • 著者名/発表者名
      近藤慎佑, 高安亮紀
    • 学会等名
      日本応用数理学会若手の会 第7回学生研究発表会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] 遅延Duffing方程式の結合系に対する同期解の精度保証付き数値計算2022

    • 著者名/発表者名
      高橋 和暉, 高安 亮紀
    • 学会等名
      日本応用数理学会2022年度年会
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] A general approach for rigorously integrating PDEs using semigroup theory2022

    • 著者名/発表者名
      Takayasu, Akitoshi
    • 学会等名
      CRM Applied Mathematics Seminars
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] 時間発展方程式に対する厳密な数値求積法の最近の進展2022

    • 著者名/発表者名
      高橋和暉, 高安亮紀
    • 学会等名
      RIMS 共同研究(公開型)数値解析が拓く次世代情報社会~エッジから富岳まで~
    • 招待講演
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] A general approach for rigorously integrating PDEs using semigroup theory2022

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      CRM Applied Mathematics Seminars, McGill University
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] 時間発展方程式に対する厳密な数値求積法の最近の進展2022

    • 著者名/発表者名
      高安 亮紀
    • 学会等名
      RIMS共同研究 (公開型) 数値解析が拓く次世代情報社会~エッジから富岳まで~
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] 半群理論に基づく一般的な時間発展方程式に対する厳密な数値求積法2022

    • 著者名/発表者名
      高安 亮紀, Gabriel W. Duchesne, Jean-Philippe Lessard
    • 学会等名
      2022年度応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] Chebyshev interpolation for rigorous integrator of differential equations2022

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] 遅延Duffing方程式の結合系の完全同期解に対する精度保証付き数値計算2022

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

    • 著者名/発表者名
      松江要, 落合啓之, 小谷久寿, 高安亮紀
    • 学会等名
      2022年度応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] 常微分方程式の爆発解の漸近展開と無限遠ダイナミクスの対応2022

    • 著者名/発表者名
      松江要, 落合啓之, 小谷久寿, 高安亮紀
    • 学会等名
      2022年度応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] 半群理論に基づく一般的な時間発展方程式に対する厳密な数値求積法2022

    • 著者名/発表者名
      高安亮紀, Gabriel W. Duchesne, Jean-Philippe Lessar
    • 学会等名
      2022年度応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Chebyshev補間の最大値最小値の精度保証付き数値計算2022

    • 著者名/発表者名
      近藤慎佑, 高安亮紀
    • 学会等名
      日本応用数理学会2022年度年会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Julia言語を用いた常微分方程式の周期解の精度保証付き数値計算2022

    • 著者名/発表者名
      高橋和暉, 高安亮紀
    • 学会等名
      日本応用数理学会若手の会 第7回学生研究発表会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Chebyshev補間の最大値最小値の精度保証付き数値計算2022

    • 著者名/発表者名
      近藤慎佑, 高安亮紀
    • 学会等名
      日本応用数理学会2022年度年会
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] フーリエスペクトル法を用いた遅延Duffing方程式の周期解の精度保証付き数値計算2022

    • 著者名/発表者名
      市川葵, 高安亮紀
    • 学会等名
      日本応用数理学会 第18回 研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] 半群理論に基づく一般的な時間発展方程式に対する厳密な数値求積法2022

    • 著者名/発表者名
      高安亮紀, Gabriel W. Duchesne, Jean-Philippe Lessar
    • 学会等名
      2022年度応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] 時間発展方程式に対する厳密な数値求積法の最近の進展2022

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      RIMS 共同研究(公開型)数値解析が拓く次世代情報社会~エッジから富岳まで~
    • 招待講演
    • データソース
      KAKENHI-PROJECT-22K03411
  • [学会発表] 一般化エルミート固有値問題に対するRayleigh-Ritz版の周回積分型精度保証付き部分固有対計算2022

    • 著者名/発表者名
      今倉暁, 保國惠一, 高安亮紀
    • 学会等名
      日本応用数理学会 2022年度 年会
    • データソース
      KAKENHI-PROJECT-23K21673
  • [学会発表] 遅延Duffing方程式の結合系の完全同期解に対する精度保証付き数値計算2022

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

    • 著者名/発表者名
      市川葵, 高安亮紀
    • 学会等名
      日本応用数理学会若手の会 第6回学生研究発表会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Global dynamics in nonconservative nonlinear Schroedinger equations2021

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      京都大学 NLPDE セミナー
    • 招待講演
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Global existence and heteloclinics/homoclinics to a quadratic nonlinear Schrodinger equation2021

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      Czech-Japanese Seminar in Applied Mathematics
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] 無限次元固有値問題に対する複素モーメント型解法2021

    • 著者名/発表者名
      今倉暁, 保國惠一, 高安亮紀
    • 学会等名
      2021年並列/分散/協調処理に関するサマー・ワークショップ (SWoPP2021)
    • データソース
      KAKENHI-PROJECT-23K21673
  • [学会発表] Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity2021

    • 著者名/発表者名
      高安亮紀, Jonathan Jaquette, Jean-Philippe Lessard
    • 学会等名
      2021年度応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] Complex Moment-Based Methods for Differential Eigenvalue Problems2021

    • 著者名/発表者名
      Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu
    • 学会等名
      SIAM Conference on Applied Linear Algebra (SIAM-LA21)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K21673
  • [学会発表] 単位円盤領域上における半線形楕円型偏微分方程式の解の精度保証付き数値計算2021

    • 著者名/発表者名
      宮内洋明, 高安亮紀
    • 学会等名
      日本応用数理学会若手の会 第6回学生研究発表会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Julia言語を用いた精度保証付き数値計算の実践2021

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      第5回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2021)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] A rigorous forward integration method for time-dependent PDEs2021

    • 著者名/発表者名
      Akitoshi Takayasu, Jean-Philippe Lessard
    • 学会等名
      19th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] Rigorous integrator for dissipative PDEs using the Chebyshev-Fourier spectral method2021

    • 著者名/発表者名
      Akitoshi Takayasu, Jean-Philippe Lessard
    • 学会等名
      SIAM Conference on Applications of Dynamical Systems (DS21)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] Global dynamics in a quadratic nonlinear Schrodinger equation2021

    • 著者名/発表者名
      Jonathan Jaquette, Jean-Philippe Lessard, 高安亮紀
    • 学会等名
      日本数学会2021年度年会
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] A rigorous forward integration method for time-dependent PDEs2021

    • 著者名/発表者名
      Akitoshi Takayasu, Jean-Philippe Lessard
    • 学会等名
      The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Global existence and heteloclinics/homoclinics to a quadratic nonlinear Schrdinger equation2021

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      Czech-Japanese Seminar in Applied Mathematics
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Rigorous integrator for dissipative PDEs using the Chebyshev-Fourier spectral method2021

    • 著者名/発表者名
      Akitoshi Takayasu, Jean-Philippe Lessard
    • 学会等名
      Conference on Applications of Dynamical Systems (DS21)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity2021

    • 著者名/発表者名
      高安 亮紀, Jonathan Jaquette, Jean-Philippe Lessard
    • 学会等名
      2021年度応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] Global dynamics in a quadratic nonlinear Schrdinger equation2021

    • 著者名/発表者名
      J. Jaquette, J.-P. Lessard, 高安亮紀
    • 学会等名
      日本数学会2021年度年会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] ある連立遅延微分方程式系の星形周期解ー数値的根拠と精度保証ー2021

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      RIMS 共同研究(公開型)時間遅れ系と数理科学:理論と応用の新たな展開に向けて
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Swift-Hohenberg方程式の厳密な数値求積法2021

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      日本応用数理学会2021年度年会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Global dynamics in nonconservative nonlinear Schrodinger equations2021

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      京都大学NLPDEセミナー
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] Complex moment-based methods for differential eigenvalue problems2021

    • 著者名/発表者名
      Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu
    • 学会等名
      SIAM Conference on Applied Linear Algebra (LA21)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Eigensolvers using complex moments for operators2021

    • 著者名/発表者名
      Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu
    • 学会等名
      Numerical Methods and Scientific Computing (NMSC21)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K21673
  • [学会発表] Global dynamics in nonconservative nonlinear Schrodinger equations2021

    • 著者名/発表者名
      高安 亮紀
    • 学会等名
      京都大学 NLPDE セミナー
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] 遅延微分方程式に対する精度保証付き数値計算ー現状と課題ー2021

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      第2回 時間遅れと数理セミナー
    • 招待講演
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] A rigorous forward integration method for time-dependent PDEs2021

    • 著者名/発表者名
      Akitoshi Takayasu and Jean-Philippe Lessard
    • 学会等名
      SCAN2020
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] Swift-Hohenberg方程式の厳密な数値求積法2021

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      日本応用数理学会2021年度年会
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] 遅延微分方程式に対する精度保証付き数値計算ー現状と課題ー2021

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      第2回 時間遅れと数理セミナー
    • 招待講演
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity2021

    • 著者名/発表者名
      高安亮紀, Jonathan Jaquette, Jean-Philipp Lessard
    • 学会等名
      2021年度応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] ある連立遅延微分方程式系の星形周期解ー数値的根拠と精度保証ー2021

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      RIMS共同研究(公開型)時間遅れ系と数理科学:理論と応用の新たな展開に向けて
    • 招待講演
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] Rigorous integrator for dissipative PDEs using the Chebyshev-Fourier spectral method2021

    • 著者名/発表者名
      Akitoshi Takayasu, Jean-Philippe Lessard
    • 学会等名
      SIAM Conference on Applications of Dynamical Systems (DS21)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] 非線形熱方程式の複素時間領域における解の精度保証付き数値計算2021

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      東京大学数値解析セミナー
    • 招待講演
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] 非線形熱方程式の複素時間領域における解の精度保証付き数値計算2021

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      数値解析セミナー(東京大学大学院 数理科学研究科/情報理工学系研究科)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] 非線形熱方程式の複素時間領域における解の精度保証付き数値計算2021

    • 著者名/発表者名
      高安 亮紀
    • 学会等名
      数値解析セミナー (UTNAS)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23K20813
  • [学会発表] A spectral method for viscous Burgers equation with a time delay2021

    • 著者名/発表者名
      高安亮紀, 久保隆徹
    • 学会等名
      日本応用数理学会2021年度年会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Global dynamics in a quadratic nonlinear Schrodinger equation2020

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      第4回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2020)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] 非線形シュレディンガー方程式の厳密な数値求積法2020

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      日本応用数理学会2020年度年会
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] チェビシェフ級数を用いた逐次連立による非線形常微分方程式系の初期値問題の精度保証付き数値解法2020

    • 著者名/発表者名
      舩越康太, 高安亮紀
    • 学会等名
      日本応用数理学会2020年度年会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Global dynamics in a quadratic nonlinear Schrdinger equation2020

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      第4回 精度保証付き数値計算の実問題への応用研究集会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Computer-assisted proofs for finding the monodromy of hypergeometric differential equations2020

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      16th Seminar Series of CRM CAMP in Nonlinear Analysis
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] Homoclinics and global existence of solutions to a quadratic nonlinear Schrodinger equation2020

    • 著者名/発表者名
      高安亮紀, Jonathan Jaquette
    • 学会等名
      日本数学会2020年度秋季総合分科会
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] Homoclinics and global existence of solutions to a quadratic nonlinear Schrdinger equation2020

    • 著者名/発表者名
      高安亮紀, J. Jaquette
    • 学会等名
      日本数学会2020年度秋季総合分科会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Computer-assisted proofs for finding the monodromy of hypergeometric differential equations2020

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      16th Seminar Series of CRM CAMP in Nonlinear Analysis
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] 非線形シュレディンガー方程式の厳密な数値求積法2020

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      日本応用数理学会2020年度年会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Computer-assisted proofs of heteloclinic orbits to a quadratic nonlinear Schrdinger equation2020

    • 著者名/発表者名
      高安亮紀, J. Jaquette, J.-P. Lessard
    • 学会等名
      2020年度応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Computer-assisted proofs of heteloclinic orbits to a quadratic nonlinear Schrodinger equation2020

    • 著者名/発表者名
      高安亮紀, Jonathan Jaquette, Jean-Philippe Lessard
    • 学会等名
      2020年度応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-20H01820
  • [学会発表] ある非線形遅延微分方程式系の星形周期解のフーリエスペクトル法による近似解について2020

    • 著者名/発表者名
      野澤健三, 高安亮紀
    • 学会等名
      日本応用数理学会2020年度年会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Rigorous spectral methods for initial value problems of ordinary differential equations2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      Numerical Verification (NIVEA) 2019
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] 複素Ginzburg-Landau方程式に対する解の精度保証付き数値計算2019

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      日本数学会2019年年会
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] チェビシェフ級数を用いたタイムステッピングによる常微分方程式系の精度保証付き数値解法2019

    • 著者名/発表者名
      舩越康太, 高安亮紀
    • 学会等名
      日本応用数理学会2019年度年会
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] 非線形熱方程式の複素時間領域における解の挙動と精度保証付き数値計算"2019

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      千葉大学解析セミナー
    • 招待講演
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Gaussの超幾何微分方程式のモノドロミー行列に対する精度保証付き数値計算2019

    • 著者名/発表者名
      井上直也, 石毛利昌, 高安亮紀
    • 学会等名
      日本応用数理学会2019年度年会
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] Rigorous integrator for nonlinear heat equations in the complex plane of time using semigroup theory2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      Workshop: Rigorous Computational Dynamics in Infinite Dimensions
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] 時間発展方程式の線形化問題に対する解作用素の厳密評価2019

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      日本応用数理学会2019年研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] Rigorous numerics for a singular solution of advection equations with variable coefficients2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      International Congress on Industrial and Applied Mathematics (ICIAM2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] Numerical validation of blow-up solutions of ODEs2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      International Congress on Industrial and Applied Mathematics (ICIAM2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] Rigorous numerics for nonlinear heat equations in the complex plane of time2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      Equadiff 2019
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] 遅延微分方程式の周期解の精度保証付き数値計算2019

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      第1回 時間遅れが誘導する現象と数理
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Computer-assisted proofs for a nonlinear heat equation in the complex plane of time2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      CRM Applied Mathematics Seminars
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] Gaussの超幾何微分方程式のモノドロミー行列に対する精度保証付き数値計算2019

    • 著者名/発表者名
      井上直也, 石毛利昌, 高安亮紀
    • 学会等名
      日本応用数理学会2019年度年会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] 複素Ginzburg-Landau方程式に対する解の精度保証付き数値計算2019

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      日本数学会2019年度年会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Rigorous spectral methods for initial value problems of ordinary differential equations2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      Numerical Verification (NIVEA) 2019
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Rigorous numerics for a singular solution of advection equations with variable coefficients2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      The 9th International Congress on Industrial and Applied Mathematics (ICIAM 2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] チェビシェフ級数を用いた非線形常微分方程式系の精度保証付き数値解法2019

    • 著者名/発表者名
      舩越康太, 高安亮紀
    • 学会等名
      日本応用数理学会 第15回 研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Global existence of a solution for the nonlinear heat equation in the complex plane of time2019

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      RIMS 共同研究 (公開型)「偏微分方程式の臨界現象と正則性理論及び漸近解析」
    • 招待講演
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] 一般化エルミート固有値問題の部分固有値計算における周回積分に基づく精度保証法の改良2019

    • 著者名/発表者名
      今倉暁, 保國惠一, 高安亮紀
    • 学会等名
      日本応用数理学会2019年研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] Computer-assisted proofs for a nonlinear heat equation in the complex plane of time2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      CRM Applied Mathematics Seminars
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Global existence of a solution for the nonlinear heat equation in the complex plane of time2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      RIMS共同研究 (公開型)「偏微分方程式の臨界現象と正則性理論及び漸近解析」
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Numerical validation of periodic orbit to delay differential equations via Newton-Kantorovich argument2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      The 1st Hungary-Japan Workshop on Delay Equations and Mathematical Epidemiology
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Rigorous integrator for nonlinear heat equations in the complex plane of time using semigroup theory2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      Workshop: Rigorous Computational Dynamics in Infinite Dimensions
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] チェビシェフ級数を用いた非線形常微分方程式系の精度保証付き数値解法2019

    • 著者名/発表者名
      舩越康太, 高安亮紀
    • 学会等名
      日本応用数理学会2019年研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] Rigorous numerics for nonlinear heat equations in the complex plane of time2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      Equadiff 2019
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] 時間発展方程式の線形化問題に対する解作用素の厳密評価2019

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      日本応用数理学会 第15回 研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Numerical validation of blow-up solutions of ODEs2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      The 9th International Congress on Industrial and Applied Mathematics (ICIAM 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Numerical validation of periodic orbit to delay differential equations via Newton-Kantorovich argument2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      The 1st Hungary-Japan Workshop on Delay Equations and Mathematical Epidemiology
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] 一般化エルミート固有値問題の部分固有値計算における周回積分に基づく精度保証法の改良2019

    • 著者名/発表者名
      今倉暁, 保國惠一, 高安亮紀
    • 学会等名
      日本応用数理学会 第15回 研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] チェビシェフ級数を用いたタイムステッピングによる常微分方程式系の精度保証付き数値解法2019

    • 著者名/発表者名
      舩越康太, 高安亮紀
    • 学会等名
      日本応用数理学会2019年度年会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Rigorous numerics for nonlinear heat equations in the complex plane of time2019

    • 著者名/発表者名
      高安亮紀, J.-P. Lessard, J. Jaquette, 岡本久
    • 学会等名
      日本数学会2020年度年会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Verified computing for partial eigenvalues using a contour integral-type eigensolver2018

    • 著者名/発表者名
      Akitoshi Takayasu, Akira Imakura, Keiichi Morikuni
    • 学会等名
      the 18th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] 一般化エルミート固有値問題の周回積分型精度保証付き部分固有値計算2018

    • 著者名/発表者名
      今倉暁, 保國惠一, 高安亮紀
    • 学会等名
      日本応用数理学会2018年度年会
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] 微分方程式の爆発解の精度保証付き数値計算:指数関数非線型項を持つ場合2018

    • 著者名/発表者名
      松江要, 高安亮紀
    • 学会等名
      日本数学会2018年度秋季総合分科会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Verified partial eigenvalue computation for generalized Hermitian eigenproblems using contour integrals2018

    • 著者名/発表者名
      今倉暁, 保國惠一, 高安亮紀
    • 学会等名
      第47回数値解析シンポジウム
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] 非線形熱方程式の複素時間における解の精度保証付き数値計算2018

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      京都大学数理解析研究所RIMS研究集会「次世代の科学技術を支える数値解析学の基盤整備と応用展開」
    • 招待講演
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] 微分方程式の爆発解の精度保証付き数値計算:指数関数非線型項を持つ場合2018

    • 著者名/発表者名
      松江要, 高安亮紀
    • 学会等名
      日本数学会2018年度秋季総合分科会
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] 精度保証付き数値計算を利用する偏微分方程式の解の数値的検証法2018

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      第3回RCMSサロン「精度保証付き数値計算の有用性」
    • 招待講演
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] フーリエ係数の時間発展方程式に対する解の精度保証付き数値計算2018

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      日本応用数理学会2018年度年会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Generation of C_0 semigroup on sequence spaces for rigorous spectral methods in PDEs2018

    • 著者名/発表者名
      Akitoshi Takayasu, Motohiro Sobajima
    • 学会等名
      18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] 非線形熱方程式の複素時間変数における解の挙動とその精度保証付き数値計算について2018

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      2018年軽井沢グラフと解析研究集会
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] 非線形熱方程式の複素時間における解の精度保証付き数値計算2018

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      京都大学数理解析研究所RIMS研究集会「次世代の科学技術を支える数値解析学の基盤整備と応用展開」
    • 招待講演
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] 非線形熱方程式の複素時間における解の挙動:精度保証付き数値計算によるアプローチ2018

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      大分微分方程式研究集会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] Verified partial eigenvalue computation for generalized Hermitian eigenproblems using contour integrals2018

    • 著者名/発表者名
      今倉暁, 保國惠一, 高安亮紀
    • 学会等名
      第47回数値解析シンポジウム
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] 半群理論を利用する発展方程式に対する解の精度保証付き数値計算2018

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      日本数学会2018年度年会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] 一般化エルミート固有値問題の周回積分型精度保証付き部分固有値計算2018

    • 著者名/発表者名
      今倉暁, 保國惠一, 高安亮紀
    • 学会等名
      日本応用数理学会2018年度年会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] 非線形熱方程式の複素時間における解の挙動:精度保証付き数値計算によるアプローチ2018

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      大分微分方程式研究集会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] 微分方程式の爆発解の精度保証付き数値計算:ケーススタディ - 指数関数非線型項を持つ場合2018

    • 著者名/発表者名
      松江要, 高安亮紀
    • 学会等名
      日本応用数理学会2018年度年会
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] Verified computing for partial eigenvalues using a contour integral-type eigensolver2018

    • 著者名/発表者名
      Akitoshi Takayasu, Akira Imakura, Keiichi Morikuni
    • 学会等名
      18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] Generation of $C_0$ semigroup on sequence spaces for rigorous spectral methods in PDEs2018

    • 著者名/発表者名
      Akitoshi Takayasu, Motohiro Sobajima
    • 学会等名
      the 18th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] フーリエ係数の時間発展方程式に対する解の精度保証付き数値計算2018

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      日本応用数理学会2018年度年会
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] 非線形方程式の精度保証付き数値解法2018

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      「精度保証付き数値計算の基礎」チュートリアル
    • 招待講演
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] 微分方程式の爆発解の精度保証付き数値計算:ケーススタディ - 指数関数非線型項を持つ場合2018

    • 著者名/発表者名
      松江要, 高安亮紀
    • 学会等名
      日本応用数理学会2018年度年会
    • データソース
      KAKENHI-PROJECT-18K13453
  • [学会発表] Fourier-Chebyshevスペクトル法を用いた変数係数1次元移流方程式の精度保証付き解法2017

    • 著者名/発表者名
      高安亮紀, 尹授老, 遠藤靖典
    • 学会等名
      第46回数値解析シンポジウム
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] Verified computations for solutions to 1-dimensional advection equations with variable coefficients2017

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      Dagstuhl Seminar 17481
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] 放物型方程式の初期値問題に対する精度保証付き数値計算法について2017

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      非線形現象と高精度高品質数値解析
    • 発表場所
      富山大学 五福キャンパス(富山県富山市)
    • 年月日
      2017-02-15
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] Numerical validation of blow-up solutions via quasi-parabolic compactifications2017

    • 著者名/発表者名
      Akitoshi Takayasu, Kaname Matsue
    • 学会等名
      The International Workshop on Numerical Verification and its Applications 2017 (INVA 2017)
    • 発表場所
      HOTEL BREEZE BAY MARINA (Miyako-jima, Okinawa, Japan)
    • 年月日
      2017-03-15
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] 擬斉次コンパクト化を利用する爆発解の精度保証付き数値計算2017

    • 著者名/発表者名
      高安亮紀, 松江要
    • 学会等名
      2017年度応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] スペクトル法を用いた変数係数1次元移流方程式の精度保証付き解法2017

    • 著者名/発表者名
      尹授老, 高安亮紀
    • 学会等名
      日本応用数理学会2017年 研究部会連合発表会
    • 発表場所
      電気通信大学(東京都調布市)
    • 年月日
      2017-03-07
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] 擬斉次コンパクト化を利用する爆発解の数値的検証理論と応用2017

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      筑波大学エネルギー環境学域懇談会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] 非線形熱方程式の複素時間における解の挙動と精度保証付き数値計算2017

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      第1回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2017)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] Numerical validation of blow-up solutions via quasi-parabolic compactifications2017

    • 著者名/発表者名
      Akitoshi Takayasu, Kaname Matsue
    • 学会等名
      International Workshop on Numerical Verification and its Applications 2017 (INVA2017)
    • 発表場所
      Hotel Breeze Bay Marina, Miyako Island, Okinawa
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] Verified computations for solutions to 1-dimensional advection equations with variable coefficients2017

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      Dagstuhl Seminar
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] Rigorous numerical computations for 1-dimensional advection equations with variable coefficients2017

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      Workshop for young scholars Control and inverse problems on waves, oscillations and flows - Mathematical analysis and computational methods -
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] 常微分方程式系に対する爆発解の精度保証付き数値計算2017

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      東大数理情報第3研究室輪講
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] 点列空間上での変数係数1次元移流方程式に対する解の精度保証付き数値計算2017

    • 著者名/発表者名
      尹授老, 高安亮紀, 遠藤靖典
    • 学会等名
      日本応用数理学会2017年度年会
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] スペクトル法を用いた変数係数1次元移流方程式の精度保証付き解法2017

    • 著者名/発表者名
      尹授老, 高安亮紀
    • 学会等名
      日本応用数理学会第13回研究部会連合発表会
    • 発表場所
      電気通信大学(東京都調布市)
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] Verified numerical computations for blow-up solutions of ODEs2016

    • 著者名/発表者名
      Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin'ichi Oishi
    • 学会等名
      17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2016)
    • 発表場所
      Uppsala University, Sweden
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] 常微分方程式の爆発解に対する数値的検証法について2016

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      応用数学セミナー@芝浦工大「爆発問題の数値解析」
    • 発表場所
      芝浦工業大学大宮キャンパス
    • 年月日
      2016-03-07
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] Computable estimates of the evolution operator based on the operator theory2016

    • 著者名/発表者名
      Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi
    • 学会等名
      Czech-Japanese-Polish Seminar in Applied Mathematics 2016 (CJPS 2016)
    • 発表場所
      Krakow, Polland
    • 年月日
      2016-09-08
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] On verification methods for parabolic partial differential equations using the evolution operator2016

    • 著者名/発表者名
      Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi
    • 学会等名
      the 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2016)
    • 発表場所
      Uppsala, Sweden
    • 年月日
      2016-09-28
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] 間違える数値計算とその対策2016

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      第144回リスク工学研究会(RERM)
    • 発表場所
      筑波大学 筑波キャンパス(茨城県つくば市)
    • 年月日
      2016-05-16
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] 発展作用素に基づく非線形熱方程式に対する解の精度保証付き数値計算法2016

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      東京理科大学 理工学部数学科 談話会
    • 発表場所
      東京理科大学 野田キャンパス(千葉県野田市)
    • 年月日
      2016-10-27
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] Computable estimates of the evolution operator based on the operator theory2016

    • 著者名/発表者名
      Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, and Shin'ichi Oishi
    • 学会等名
      Czech-Japanese-Polish Seminar in Applied Mathematics 2016 (CJPS 2016)
    • 発表場所
      Krakow, Polland
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] Verified Computations for Solutions to Nonlinear Heat Equations based on Fractional Powers of a Positive Operator and the Evolution Operator2016

    • 著者名/発表者名
      Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi
    • 学会等名
      5th European Seminar on Computing (ESCO 2016)
    • 発表場所
      Pilsen, Czech Republic
    • 年月日
      2016-06-05
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] 放物型方程式に対する解の精度保証付き数値計算法について2016

    • 著者名/発表者名
      高安亮紀, 水口信, 久保隆徹, 大石進一
    • 学会等名
      SADO Workshop on Numerical Analysis and Related Topics
    • 発表場所
      ホテルファミリーオ佐渡相川(新潟県佐渡市)
    • 年月日
      2016-11-20
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] Computable norm bounds of the evolution operator using spectral properties2016

    • 著者名/発表者名
      Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi
    • 学会等名
      The 35th JSST Annual Conference International Conference on Simulation Technology (JSST2016)
    • 発表場所
      Kyoto University Yoshida Campus (Kyoto, Japan)
    • 年月日
      2016-10-28
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] 常微分方程式の爆発解に対する数値的検証法2016

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      日本学術会議 第6回 計算力学シンポジウム
    • 発表場所
      日本学術会議講堂(東京都港区)
    • 年月日
      2016-12-05
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] Verified Computations for Solutions to Nonlinear Heat Equations Based on Fractional Powers of a Positive Operator and the Evolution Operator2016

    • 著者名/発表者名
      Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, and Shin'ichi Oishi
    • 学会等名
      5th European Seminar on Computing (ESCO 2016)
    • 発表場所
      Pilsen, Czech Republic
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] On verification methods for parabolic partial differential equations using the evolution operator2016

    • 著者名/発表者名
      Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, and Shin'ichi Oishi
    • 学会等名
      17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2016)
    • 発表場所
      Uppsala University, Sweden
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] Verification algorithm for enclosing a mild solution of semilinear heat equations2016

    • 著者名/発表者名
      Makoto Mizuguchi, Kouta Sekine, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi
    • 学会等名
      The fifth Asian conference on Nonlinear Analysis and Optimization (NAO-Asia 2016)
    • 発表場所
      TOKI MESSE (Niigata, Japan)
    • 年月日
      2016-08-02
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] 時間発展問題の精度保証付き数値計算に現れる誤差伝搬の縮小技術2016

    • 著者名/発表者名
      高安亮紀, 水口信, 久保隆徹, 大石進一
    • 学会等名
      2016年度応用数学合同研究集会
    • 発表場所
      龍谷大学 瀬田キャンパス(滋賀県大津市)
    • 年月日
      2016-12-15
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] 正値作用素の分数冪と発展作用素を用いる非線形熱方程式に対する解の精度保証付き数値計算法2016

    • 著者名/発表者名
      高安亮紀, 水口信, 久保隆徹, 大石進一
    • 学会等名
      日本数学会2016年度年会
    • 発表場所
      筑波大学 筑波キャンパス
    • 年月日
      2016-03-19
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] Computable norm bounds of the evolution operator using spectral properties2016

    • 著者名/発表者名
      Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, and Shin'ichi Oishi
    • 学会等名
      The 35th JSST Annual Conference International Conference on Simulation Technology (JSST2016)
    • 発表場所
      Kyoto University, Kyoto, Japan
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03950
  • [学会発表] 非線形方程式に対する解の精度保証付き数値計算2016

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      日本応用数理学会3部会連携「応用数理セミナー」
    • 発表場所
      東京大学 本郷キャンパス(東京都文京区)
    • 年月日
      2016-12-27
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] 重み付きラプラス作用素の分数べきに対する計算可能なソボレフの埋め込み定数2016

    • 著者名/発表者名
      水口信, 高安亮紀, 久保隆徹, 大石進一
    • 学会等名
      日本数学会2016年度年会
    • 発表場所
      筑波大学 筑波キャンパス
    • 年月日
      2016-03-19
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] Concatenation scheme for verified inclusion of solutions to semilinear heat equations2016

    • 著者名/発表者名
      Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi
    • 学会等名
      The fifth Asian conference on Nonlinear Analysis and Optimization (NAO-Asia 2016)
    • 発表場所
      TOKI MESSE (Niigata, Japan)
    • 年月日
      2016-08-02
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] 放物面コンパクト化を用いる常微分方程式の爆発解の数値的検証法2016

    • 著者名/発表者名
      高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一
    • 学会等名
      日本応用数理学会 2016年研究部会連合発表会
    • 発表場所
      神戸学院大学 ポートアイランドキャンパス
    • 年月日
      2016-03-05
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] Verified numerical computations for blow-up solutions of ODEs2016

    • 著者名/発表者名
      Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin'ichi Oishi
    • 学会等名
      the 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2016)
    • 発表場所
      Uppsala, Sweden
    • 年月日
      2016-09-26
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] Verified Computations for Solutions to Nonlinear Heat Equations Based on Fractional Powers of a Positive Operator and the Evolution Operator2016

    • 著者名/発表者名
      Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi
    • 学会等名
      5th European Seminar on Computing (ESCO 2016)
    • 発表場所
      Pilsen, Czech Republic
    • 年月日
      2016-06-09
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] 解析半群を利用した半線形放物型方程式に対する解の精度保証付き数値計算法2015

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      数値解析セミナー
    • 発表場所
      東京大学 駒場キャンパス
    • 年月日
      2015-04-27
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] ある自己共役作用素から生成される解析半群を用いた半線形熱方程式の解の数値的検証法2015

    • 著者名/発表者名
      水口信, 関根晃太, 高安亮紀, 久保隆徹, 大石進一
    • 学会等名
      日本応用数理学会2015年度年会
    • 発表場所
      金沢大学 角間キャンパス
    • 年月日
      2015-09-09
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] Verified numerical enclosure of blow-up time for ODEs2015

    • 著者名/発表者名
      高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一
    • 学会等名
      日本数学会2015年度秋季総合分科会
    • 発表場所
      京都産業大学
    • 年月日
      2015-09-16
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] 常微分方程式の爆発解に対する精度保証付き数値計算2015

    • 著者名/発表者名
      高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一
    • 学会等名
      日本応用数理学会2015年度年会
    • 発表場所
      金沢大学 角間キャンパス
    • 年月日
      2015-09-09
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] Verified computations for solutions of semilinear heat equations using an analytic semigroup generated by a self-adjoint operator2015

    • 著者名/発表者名
      Makoto Mizuguchi, Kouta Sekine, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi
    • 学会等名
      The 34th JSST Annual Conference International Conference on Simulation Technology (JSST2015)
    • 発表場所
      Toyama, Japan
    • 年月日
      2015-10-12
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] Verified computations for solutions to semilinear parabolic equations using the evolution operator2015

    • 著者名/発表者名
      Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi
    • 学会等名
      Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS2015)
    • 発表場所
      Berlin, Germany
    • 年月日
      2015-11-12
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] Numerical existence theorem for solutions of semilinear parabolic equations using the evolution operator2015

    • 著者名/発表者名
      Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi
    • 学会等名
      The 34th JSST Annual Conference International Conference on Simulation Technology (JSST2015)
    • 発表場所
      Toyama, Japan
    • 年月日
      2015-10-12
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] 常微分方程式の解の爆発時刻に対する精度保証付き数値計算2015

    • 著者名/発表者名
      高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一
    • 学会等名
      第44回数値解析シンポジウム
    • 発表場所
      山梨県甲府市
    • 年月日
      2015-06-10
    • データソース
      KAKENHI-PROJECT-15K17596
  • [学会発表] 発展作用素を用いた半線形放物型方程式に対する解の精度保証付き数値計算法2015

    • 著者名/発表者名
      高安亮紀, 水口信, 久保隆徹, 大石進一
    • 学会等名
      京都大学数理解析研究所RIMS研究集会「現象解明に向けた数値解析学の新展開」
    • 発表場所
      京都大学数理解析研究所
    • 年月日
      2015-11-19
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15K17596
  • 1.  久保 隆徹 (90424811)
    共同の研究課題数: 3件
    共同の研究成果数: 22件
  • 2.  小林 健太 (60432902)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 3.  土屋 卓也 (00163832)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 4.  渡部 善隆 (90243972)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 5.  劉 雪峰 (50571220)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 6.  新宅 勇一 (80780064)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 7.  保國 惠一 (90765934)
    共同の研究課題数: 2件
    共同の研究成果数: 7件
  • 8.  今倉 暁 (60610045)
    共同の研究課題数: 2件
    共同の研究成果数: 9件
  • 9.  松江 要 (70610046)
    共同の研究課題数: 2件
    共同の研究成果数: 9件
  • 10.  石渡 哲哉 (50334917)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 11.  寺田 賢二郎 (40282678)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 12.  齋藤 平和 (30754882)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 13.  相原 研輔 (70735498)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 14.  櫻井 鉄也 (60187086)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 15.  堤 成一郎 (70344702)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  高橋 昭如 (00366444)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  中田 行彦 (30741061)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  大石 進一
    共同の研究課題数: 1件
    共同の研究成果数: 26件
  • 19.  水口 信
    共同の研究課題数: 1件
    共同の研究成果数: 26件
  • 20.  市原 一裕
    共同の研究課題数: 0件
    共同の研究成果数: 1件
  • 21.  佐々木 多希子
    共同の研究課題数: 0件
    共同の研究成果数: 1件

URL: 

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi