研究業績

学術論文

ー投稿中
ー英文誌
  1. K. Matsue and A. Takayasu:
    "Numerical validation of blow-up solutions with quasi-homogeneous compactifications", Numer. Math., Vol. 145, pp. 605-654, July 2020 (available online Jun. 2020). (DOI:10.1007/s00211-020-01125-z, arXiv:1707.05936)
    Code associated to the paper is available here.
  2. K. Matsue and A. Takayasu:
    "Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity", J. Comput. Appl. Math., Vol. 374, 112607, 11 pages, August 2020 (available online Jan. 2020). (DOI:10.1016/j.cam.2019.112607, arXiv:1902.01842)
    Code associated to the paper is available here.
  3. A. Imakura, K. Morikuni, and A. Takayasu:
    "Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems", J. Comput. Appl. Math., Vol. 369, 112543, 11 pages, May 2020 (available online Oct. 2019). (DOI:10.1016/j.cam.2019.112543, arXiv:1904.06277)
  4. A. Takayasu, S. Yoon, and Y. Endo:
    "Rigorous numerical computations for 1D advection equations with variable coefficients", Japan J. Indust. Appl. Math., Vol. 36, No. 2, pp. 357-384, July 2019 (available online Feb. 2019). (DOI:10.1007/s13160-019-00345-7, arXiv:1803.02960)
    Code associated to the paper is available here.
  5. A. Takayasu, M. Mizuguchi, T. Kubo, and S. Oishi:
    "Accurate method of verified computing for solutions of semilinear heat equations", Reliable computing, Vol. 25, pp. 74-99, July 2017. (PDF, arXiv:1611.10243)
    Code associated to the paper is available here.
  6. M. Mizuguchi, A. Takayasu, T. Kubo, and S. Oishi:
    "A method of verified computations for solutions to semilinear parabolic equations using semigroup theory", SIAM J. Numer. Anal., Vol. 55, No. 2, pp. 980-1001, Apr. 2017. (DOI:10.1137/141001664, PDF)
  7. M. Mizuguchi, A. Takayasu, T. Kubo, and S. Oishi:
    "Numerical verification for existence of a global-in-time solution to semilinear parabolic equations", J. Comput. Appl. Math., Vol. 315, pp. 1-16, May 2017 (available online Nov. 2016). (DOI:10.1016/j.cam.2016.10.024, PDF)
  8. A. Takayasu, K. Matsue, T. Sasaki, K. Tanaka, M. Mizuguchi, and S. Oishi:
    "Numerical validation of blow-up solutions of ordinary differential equations", J. Comput. Appl. Math., Vol. 314, pp. 10-29, Apr. 2017 (available online Oct. 2016). (DOI:10.1016/j.cam.2016.10.013, arXiv:1606.03039)
  9. M. Mizuguchi, A. Takayasu, T. Kubo, and S. Oishi:
    "On the embedding constant of the Sobolev type inequality for fractional derivatives", NOLTA, IEICE, Vol. 7, No. 3, pp. 386-394, Jul. 2016. (DOI:10.1587/nolta.7.386, PDF)
  10. N. Hoffman, K. Ichihara, M. Kashiwagi, H. Masai, S. Oishi, and A. Takayasu:
    "Verified computations for hyperbolic 3-manifolds", Exp. Math., Vol. 25, Issue 1, pp. 66-78, 2016 (available online Oct. 2015). (DOI:10.1080/10586458.2015.1029599, arXiv:1310.3410)
    Code associated to the paper is available here.
  11. K. Tanaka, A. Takayasu, X. Liu, S. Oishi:
    "Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation", Jpn. J. Ind. Appl. Math., Vol. 31, Issue 3, pp. 665-679, Nov. 2014. (DOI:10.1007/s13160-014-0156-2)
  12. A. Takayasu, X. Liu, S. Oishi:
    "Remarks on computable a priori error estimates for finite element solutions of elliptic problems", NOLTA, IEICE, Vol. 5, No. 1, pp. 53-63, Jan. 2014. (DOI:10.1587/nolta.5.53)
  13. K. Sekine, A. Takayasu, S. Oishi:
    "An algorithm of identifying parameters satisfying a sufficient condition of Plum's Newton-Kantorovich like existence theorem for nonlinear operator equations", NOLTA, IEICE, Vol. 5, No. 1, pp. 64-79, Jan. 2014. (DOI:10.1587/nolta.5.64)
  14. A. Takayasu, X. Liu, S. Oishi:
    "Verified computations to semilinear elliptic boundary value problems on arbitrary polygonal domains", NOLTA, IEICE, Vol. 4, No. 1, pp. 34-61, Jan. 2013. (DOI:10.1587/nolta.4.34)
  15. A. Takayasu, S. Oishi:
    "A method of computer assisted proof for nonlinear two-point boundary value problems using higher order finite elements", NOLTA, IEICE, Vol. 2, No. 1, pp. 74-89, Jan. 2011. (DOI:10.1587/nolta.2.74)
  16. A. Takayasu, S. Oishi, T. Kubo:
    "Numerical existence theorem for solutions of two-point boundary value problems of nonlinear differential equations", NOLTA, IEICE, Vol. 1, No. 1, pp. 105-118, Oct. 2010. (DOI:10.1587/nolta.1.105)
Google Scholar Citations

国際会議論文

  1. A. Takayasu:
    "A computer-assisted proof for nonlinear heat equations in the complex plane of time", RIMS Kôkyûroku Bessatsu, B82, pp. 47-66, 2020.
  2. A. Takayasu, M. Mizuguchi, T. Kubo, S. Oishi:
    "Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator", in Mathematical Aspects of Computer and Information Sciences,
    Volume 9582 of the series Lecture Notes in Computer Science, pp. 218-223, Springer International Publishing, Switzerland, 2016.
  3. A. Takayasu, S. Oishi:
    "A verified continuation algorithm for solution curve of nonlinear elliptic equations",
    Proceedings of 2013 International Symposium on Nonlinear Theory and its Applications (NOLTA 2013), US, 2013, pp.441-444.
  4. A. Takayasu, S. Oishi:
    "A computer-assisted proof method of the invertibility to elliptic operators",
    Proceedings of 2012 International Symposium on Nonlinear Theory and its Applications (NOLTA 2012), Spain, 2012, pp.816-819.
  5. A. Takayasu, X. Liu, S. Oishi:
    "Computer assisted proofs for solutions to nonlinear elliptic partial differential equations on arbitrary polygonal domain",
    Proceedings of 2011 International Symposium on Nonlinear Theory and its Applications (NOLTA 2011), Japan, 2011, pp.90-93.
  6. A. Takayasu, S. Oishi, T. Kubo:
    "Computer assisted proofs of solutions to Nonlinear elliptic partial differential equations",
    Proceedings of 2010 International Symposium on Nonlinear Theory and its Applications (NOLTA 2010), Poland, 2010, pp.135-138.
  7. A. Takayasu, S. Oishi, T. Kubo:
    "A priori inverse operator estimation for guaranteed error estimate",
    Proceedings of 4th Workshop on Reliable Engineering Computing (REC2010) "Robust Design - Coping with Hazards, Risk and Uncertainty", Singapore, 2010, pp.649-664.
  8. A. Takayasu, S. Oishi, T. Kubo:
    "Guaranteed error estimate for solutions to two-point boundary value problem",
    Proceedings of 2009 International Symposium on Nonlinear Theory and its Applications (NOLTA 2009), Japan, 2009, pp.214-217.
  9. A. Takayasu, S. Oishi, T. Kubo:
    "Guaranteed error estimate for solutions to linear two-point boundary value problems with FEM",
    Proceedings of ASIA SIMULATION CONFERENCE 2009 (JSST 2009), Japan, 2009, Paper ID: 163 (8 pages).
  10. A. Takayasu, S. Oishi, T. Kubo:
    "Numerical verification for solutions to nonlinear two-point boundary value problems with finite element method",
    Proceedings of the 24th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2009), Korea, 2009, pp.165-168.

講究録・紀要・テクニカルレポート等

  1. 高安亮紀, 水口信, 久保隆徹, 大石進一:
    "発展作用素を用いた半線形放物型方程式に対する解の精度保証付き数値計算法",
    京大数理解析研究所講究録, 1995 (2016), pp.122-131.
  2. A. Takayasu, X. Liu, S. Oishi:
    "A residual bound evaluation of operator equations with Raviart-Thomas finite element",
    京大数理解析研究所講究録, 1791 (2012), pp.206-215.
  3. 高安亮紀, 劉雪峰, 大石進一:
    "任意多角形領域上における非線形楕円型境界値問題の数値解に対する計算機援用証明",
    第33回 発展方程式 若手セミナー 報告集 (2011), pp.53-58.
  4. A. Takayasu, S. Oishi:
    "A refinement technique to residual evaluation of Computer assisted proofs for Semilinear elliptic boundary value problems",
    京大数理解析研究所講究録, 1733 (2011), pp.118-126.
  5. A. Takayasu, S. Oishi, T. Kubo:
    "Numerical Existence Proofs and Guaranteed Error Bounds for Solutions to Two-Point Boundary Value Problems",
    京大数理解析研究所講究録, 1719 (2010), pp.48-60.

博士論文

Studies on verified computations for solutions to elliptic boundary value problems
楕円型境界値問題の解の精度保証付き数値計算に関する研究 (PDF)


修士論文

微分方程式の境界値問題に対する精度保証付き数値計算法の研究,
Verified Numerical Computations for Boundary Value Problems of Differential Equations


講演(研究発表)

     2020年度

  1. Akitoshi Takayasu:
    "Computer-assisted proofs for finding the monodromy of hypergeometric differential equations",
    16th Seminar Series of CRM CAMP in Nonlinear Analysis, online (2020/10/6). (Lecture Video)
  2. 高安亮紀, J. Jaquette:
    "Homoclinics and global existence of solutions to a quadratic nonlinear Schrödinger equation",
    日本数学会2020年度秋季総合分科会, 熊本大学(オンライン) (2020/9/22).
  3. 野澤健三, 高安亮紀:
    "ある非線形遅延微分方程式系の星形周期解のフーリエスペクトル法による近似解について",
    日本応用数理学会2020年度年会, 遠隔学会 (2020/9/10).
  4. 舩越康太, 高安亮紀:
    "チェビシェフ級数を用いた逐次連立による非線形常微分方程式系の初期値問題の精度保証付き数値解法",
    日本応用数理学会2020年度年会, 遠隔学会 (2020/9/10).
  5. 高安亮紀:
    "非線形シュレディンガー方程式の厳密な数値求積法",
    日本応用数理学会2020年度年会, 遠隔学会 (2020/9/10).
  6.  2019年度

  7. 高安亮紀, J.-P. Lessard, J. Jaquette, 岡本久:
    "Rigorous numerics for nonlinear heat equations in the complex plane of time",
    日本数学会2020年度年会, 日本大学理工学部 (2020/3/16).
  8. 高安亮紀:
    "遅延微分方程式の周期解の精度保証付き数値計算",
    第1回 時間遅れが誘導する現象と数理, いするの家 西原脩三記念館, 長野県北佐久郡軽井沢町 (2019/9/29).
  9. Akitoshi Takayasu:
    "Computer-assisted proofs for a nonlinear heat equation in the complex plane of time",
    CRM Applied Mathematics Seminars, McGill University, Canada (2019/9/16).
  10. 舩越康太, 高安亮紀:
    "チェビシェフ級数を用いたタイムステッピングによる常微分方程式系の精度保証付き数値解法",
    日本応用数理学会2019年度年会, 東京大学 駒場キャンパス (2019/9/4).
  11. 井上直也, 石毛利昌, 高安亮紀:
    "Gaussの超幾何微分方程式のモノドロミー行列に対する精度保証付き数値計算",
    日本応用数理学会2019年度年会, 東京大学 駒場キャンパス (2019/9/4).
  12. Akitoshi Takayasu:
    "Rigorous numerics for a singular solution of advection equations with variable coefficients",
    The 9th International Congress on Industrial and Applied Mathematics (ICIAM 2019), Valencia, Spain (2019/7/16).
  13. Akitoshi Takayasu:
    "Numerical validation of blow-up solutions of ODEs",
    The 9th International Congress on Industrial and Applied Mathematics (ICIAM 2019), Valencia, Spain (2019/7/15).
  14. Akitoshi Takayasu:
    "Rigorous numerics for nonlinear heat equations in the complex plane of time",
    Equadiff 2019, Leiden, Netherlands (2019/7/8).
  15. 高安亮紀:
    "Global existence of a solution for the nonlinear heat equation in the complex plane of time",
    RIMS 共同研究 (公開型)「偏微分方程式の臨界現象と正則性理論及び漸近解析」, 京都大学数理解析研究所 (2019/5/29).
  16. Akitoshi Takayasu:
    "Numerical validation of periodic orbit to delay differential equations via Newton-Kantorovich argument",
    The 1st Hungary-Japan Workshop on Delay Equations and Mathematical Epidemiology, Tokyo, Japan (2019/4/25).
  17. Akitoshi Takayasu:
    "Rigorous integrator for nonlinear heat equations in the complex plane of time using semigroup theory",
    Workshop: Rigorous Computational Dynamics in Infinite Dimensions, Montreal, Canada (2019/4/4).
  18.  2018年度

  19. 高安亮紀:
    "複素Ginzburg-Landau方程式に対する解の精度保証付き数値計算",
    日本数学会2019年度年会, 東京工業大学 大岡山キャンパス (2019/3/17).
  20. 舩越康太, 高安亮紀:
    "チェビシェフ級数を用いた非線形常微分方程式系の精度保証付き数値解法",
    日本応用数理学会 第15回 研究部会連合発表会, 筑波大学 筑波キャンパス (2019/3/4).
  21. 高安亮紀:
    "時間発展方程式の線形化問題に対する解作用素の厳密評価",
    日本応用数理学会 第15回 研究部会連合発表会, 筑波大学 筑波キャンパス (2019/3/4).
  22. 今倉暁, 保國惠一, 高安亮紀:
    "一般化エルミート固有値問題の部分固有値計算における周回積分に基づく精度保証法の改良",
    日本応用数理学会 第15回 研究部会連合発表会, 筑波大学 筑波キャンパス (2019/3/4).
  23. Akitoshi Takayasu:
    "Rigorous spectral methods for initial value problems of ordinary differential equations",
    Numerical Verification (NIVEA) 2019, Hokkaido, Japan (2019/2/27).
  24. 高安亮紀(セミナー):
    "非線形熱方程式の複素時間領域における解の挙動と精度保証付き数値計算",
    千葉大学解析セミナー, 千葉大学 西千葉キャンパス (2019/2/12).
  25. 高安亮紀(セミナー):
    "精度保証付き数値計算を利用する偏微分方程式の解の数値的検証法",
    第3回RCMSサロン「精度保証付き数値計算の有用性」, 筑波大学 筑波キャンパス (2018/12/12).
  26. 高安亮紀:
    "非線形熱方程式の複素時間における解の精度保証付き数値計算",
    京都大学数理解析研究所RIMS研究集会「次世代の科学技術を支える数値解析学の基盤整備と応用展開」, 京都大学数理解析研究所 (2018/11/16).
  27. 松江要, 高安亮紀:
    "微分方程式の爆発解の精度保証付き数値計算:指数関数非線型項を持つ場合",
    日本数学会2018年度秋季総合分科会, 岡山大学 津島キャンパス (2018/9/26).
  28. 高安亮紀:
    "非線形熱方程式の複素時間における解の挙動:精度保証付き数値計算によるアプローチ",
    大分微分方程式研究集会, サテライトキャンパス大分, 大分県大分市 (2018/9/23).
  29. Akitoshi Takayasu, Motohiro Sobajima:
    "Generation of $C_0$ semigroup on sequence spaces for rigorous spectral methods in PDEs",
    the 18th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2018), Tokyo, Japan (2018/9/13).
  30. Akitoshi Takayasu, Akira Imakura, Keiichi Morikuni:
    "Verified computing for partial eigenvalues using a contour integral-type eigensolver",
    the 18th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2018), Tokyo, Japan (2018/9/12).
  31. 高安亮紀:(チュートリアル)
    "非線形方程式の精度保証付き数値解法",
    「精度保証付き数値計算の基礎」チュートリアル, 早稲田大学国際会議場 (2018/9/10). (講演スライド)
  32. 高安亮紀:
    "フーリエ係数の時間発展方程式に対する解の精度保証付き数値計算",
    日本応用数理学会2018年度年会, 名古屋大学 東山キャンパス (2018/9/3).
  33. 松江要, 高安亮紀:
    "微分方程式の爆発解の精度保証付き数値計算:ケーススタディ - 指数関数非線型項を持つ場合",
    日本応用数理学会2018年度年会, 名古屋大学 東山キャンパス (2018/9/3).
  34. 今倉暁, 保國惠一, 高安亮紀:
    "一般化エルミート固有値問題の周回積分型精度保証付き部分固有値計算",
    日本応用数理学会2018年度年会, 名古屋大学 東山キャンパス (2018/9/3).
  35. 今倉暁, 保國惠一, 高安亮紀:
    "Verified partial eigenvalue computation for generalized Hermitian eigenproblems using contour integrals",
    第47回数値解析シンポジウム, あわら温泉まつや千千, 福井県あわら市 (2018/6/6), 講演予稿集 pp.1-4.
  36.  2017年度

  37. 高安亮紀:
    "半群理論を利用する発展方程式に対する解の精度保証付き数値計算",
    日本数学会2018年度年会, 東京大学 駒場キャンパス, 東京都目黒区 (2018/3/21). (講演アブストラクト)
  38. 高安亮紀:
    "非線形熱方程式の複素時間変数における解の挙動とその精度保証付き数値計算について",
    2018年軽井沢グラフと解析研究集会, 日本大学軽井沢研修所, 長野県北佐久郡軽井沢町 (2018/2/13).
  39. 高安亮紀, 松江要:
    "擬斉次コンパクト化を利用する爆発解の精度保証付き数値計算",
    2017年度応用数学合同研究集会, 龍谷大学 瀬田キャンパス (2017/12/14).
  40. 高安亮紀:
    "非線形熱方程式の複素時間における解の挙動と精度保証付き数値計算",
    第1回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2017), 西日本総合展示場, 福岡県北九州市 (2017/12/10).
  41. Akitoshi Takayasu:
    "Verified computations for solutions to 1-dimensional advection equations with variable coefficients",
    Dagstuhl Seminar 17481, Wadern, Germany (2017/11/27).
  42. 高安亮紀:(セミナー)
    "常微分方程式系に対する爆発解の精度保証付き数値計算",
    東大数理情報第3研究室輪講, 東京大学 本郷キャンパス (2017/10/18).
  43. 高安亮紀:(懇談会)
    "擬斉次コンパクト化を利用する爆発解の数値的検証理論と応用",
    筑波大学エネルギー環境学域懇談会, 筑波大学 筑波キャンパス (2017/9/26).
  44. 尹授老, 高安亮紀, 遠藤靖典:
    "点列空間上での変数係数1次元移流方程式に対する解の精度保証付き数値計算",
    日本応用数理学会2017年度年会, 武蔵野大学 有明キャンパス (2017/9/6).
  45. Akitoshi Takayasu:
    "Rigorous numerical computations for 1-dimensional advection equations with variable coefficients",
    Workshop for young scholars Control and inverse problems on waves, oscillations and flows - Mathematical analysis and computational methods -, Kyoto, Japan (2017/8/21).
  46. 今倉暁, 保國惠一, 高安亮紀:
    "実対称行列に対する周回積分を用いた精度保証付き部分固有値計算",
    第46回数値解析シンポジウム, グリーンパーク想い出の森, 滋賀県高島市 (2017/6/30), 講演予稿集 pp.119-122.
  47. 高安亮紀, 尹授老, 遠藤靖典:
    "Fourier-Chebyshevスペクトル法を用いた変数係数1次元移流方程式の精度保証付き解法",
    第46回数値解析シンポジウム, グリーンパーク想い出の森, 滋賀県高島市 (2017/6/30), 講演予稿集 pp.111-114.
  48.  2016年度

  49. Akitoshi Takayasu, Kaname Matsue:
    "Numerical validation of blow-up solutions via quasi-parabolic compactifications",
    The International Workshop on Numerical Verification and its Applications 2017 (INVA 2017), Okinawa, Japan (2017/3/15).
  50. 尹授老, 高安亮紀:
    "スペクトル法を用いた変数係数1次元移流方程式の精度保証付き解法",
    日本応用数理学会2017年 研究部会連合発表会, 電気通信大学 (2017/3/7).
  51. 高安亮紀:
    "放物型方程式の初期値問題に対する精度保証付き数値計算法について",
    非線形現象と高精度高品質数値解析, 富山大学 五福キャンパス (2017/2/15).
  52. 高安亮紀:(セミナー)
    "非線形方程式に対する解の精度保証付き数値計算",
    日本応用数理学会3部会連携「応用数理セミナー」, 東京大学 本郷キャンパス (2016/12/27). (講演スライド)
  53. 高安亮紀, 水口信, 久保隆徹, 大石進一:
    "時間発展問題の精度保証付き数値計算に現れる誤差伝搬の縮小技術",
    2016年度応用数学合同研究集会, 龍谷大学 瀬田キャンパス (2016/12/15).
  54. 高安亮紀:
    "常微分方程式の爆発解に対する数値的検証法",
    日本学術会議 第6回 計算力学シンポジウム, 日本学術会議講堂 (2016/12/5).
  55. 高安亮紀, 水口信, 久保隆徹, 大石進一:
    "放物型方程式に対する解の精度保証付き数値計算法について",
    SADO Workshop on Numerical Analysis and Related Topics, ホテルファミリーオ佐渡相川 (2016/11/20).
  56. Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi:
    "Computable norm bounds of the evolution operator using spectral properties",
    The 35th JSST Annual Conference International Conference on Simulation Technology (JSST2016), Kyoto, Japan (2016/10/28).
  57. 高安亮紀:(談話会)
    "発展作用素に基づく非線形熱方程式に対する解の精度保証付き数値計算法",
    東京理科大学 理工学部数学科 談話会, 東京理科大学 野田キャンパス (2016/10/27).
  58. Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi:
    "On verification methods for parabolic partial differential equations using the evolution operator",
    the 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2016), Uppsala, Sweden (2016/9/28).
  59. Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin'ichi Oishi:
    "Verified numerical computations for blow-up solutions of ODEs",
    the 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2016), Uppsala, Sweden (2016/9/26).
  60. Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi:
    "Computable estimates of the evolution operator based on the operator theory",
    Czech-Japanese-Polish Seminar in Applied Mathematics 2016 (CJPS 2016), Krakow, Polland (2016/9/8).
  61. Makoto Mizuguchi, Kouta Sekine, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi:
    "Verification algorithm for enclosing a mild solution of semilinear heat equations",
    The fifth Asian conference on Nonlinear Analysis and Optimization (NAO-Asia 2016), Niigata, Japan (2016/8/2).
  62. Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi:
    "Concatenation scheme for verified inclusion of solutions to semilinear heat equations",
    The fifth Asian conference on Nonlinear Analysis and Optimization (NAO-Asia 2016), Niigata, Japan (2016/8/2).
  63. Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi:
    "Verified Computations for Solutions to Nonlinear Heat Equations Based on Fractional Powers of a Positive Operator and the Evolution Operator",
    5th European Seminar on Computing (ESCO 2016), Pilsen, Czech Republic (2016/6/9).
  64. 高安亮紀:(セミナー)
    "間違える数値計算とその対策",
    第144回リスク工学研究会(RERM), 筑波大学 筑波キャンパス (2016/5/16).
  65.  2015年度

  66. 水口信, 高安亮紀, 久保隆徹, 大石進一:
    "重み付きラプラス作用素の分数べきに対する計算可能なソボレフの埋め込み定数",
    日本数学会2016年度年会, 筑波大学 筑波キャンパス (2016/3/19).
  67. 高安亮紀, 水口信, 久保隆徹, 大石進一:
    "正値作用素の分数冪と発展作用素を用いる非線形熱方程式に対する解の精度保証付き数値計算法",
    日本数学会2016年度年会, 筑波大学 筑波キャンパス (2016/3/19).
  68. 高安亮紀:(セミナー)
    "常微分方程式の爆発解に対する数値的検証法について",
    応用数学セミナー@芝浦工大「爆発問題の数値解析」, 芝浦工業大学大宮キャンパス (2016/3/7).
  69. 高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一:
    "放物面コンパクト化を用いる常微分方程式の爆発解の数値的検証法",
    日本応用数理学会 2016年研究部会連合発表会, 神戸学院大学 ポートアイランドキャンパス (2016/3/5).
  70. 高安亮紀, 水口信, 久保隆徹, 大石進一:
    "発展作用素を用いた半線形放物型方程式に対する解の精度保証付き数値計算法",
    京都大学数理解析研究所RIMS研究集会「現象解明に向けた数値解析学の新展開」, 京都大学数理解析研究所 (2015/11/19).
  71. Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi:
    "Verified computations for solutions to semilinear parabolic equations using the evolution operator",
    Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS2015), Berlin, Germany (2015/11/12).
  72. Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi:
    "Numerical existence theorem for solutions of semilinear parabolic equations using the evolution operator",
    The 34th JSST Annual Conference International Conference on Simulation Technology (JSST2015), Toyama, Japan (2015/10/12).
  73. Makoto Mizuguchi, Kouta Sekine, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi:
    "Verified computations for solutions of semilinear heat equations using an analytic semigroup generated by a self-adjoint operator",
    The 34th JSST Annual Conference International Conference on Simulation Technology (JSST2015), Toyama, Japan (2015/10/12).
  74. 高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一:
    "Verified numerical enclosure of blow-up time for ODEs",
    日本数学会2015年度秋季総合分科会, 京都産業大学 (2015/9/16).
  75. 水口信, 関根晃太, 高安亮紀, 久保隆徹, 大石進一:
    "ある自己共役作用素から生成される解析半群を用いた半線形熱方程式の解の数値的検証法",
    日本応用数理学会2015年度年会, 金沢大学 角間キャンパス (2015/9/9).
  76. 高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一:
    "常微分方程式の爆発解に対する精度保証付き数値計算",
    日本応用数理学会2015年度年会, 金沢大学 角間キャンパス (2015/9/9).
  77. 高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一:
    "常微分方程式の解の爆発時刻に対する精度保証付き数値計算",
    第44回数値解析シンポジウム, ぶどうの丘, 山梨県甲府市 (2015/6/10), 講演予稿集 pp.135-138.
  78. 高安亮紀:(セミナー)
    "解析半群を利用した半線形放物型方程式に対する解の精度保証付き数値計算法",
    数値解析セミナー(東大), 東京大学 駒場キャンパス (2015/4/27).
  79.  2014年度

  80. 高安亮紀, 水口信, 久保隆徹, 大石進一:
    "半線形放物型偏微分方程式に対する解の精度保証付き数値計算",
    日本数学会2015年度年会, 明治大学 駿河台キャンパス (2015/3/24).
  81. 高安亮紀, 松江要, 佐々木多希子, 田中一成, 大石進一:
    "ODEの爆発解に対する精度保証付き数値計算",
    精度保証付き数値計算の最近の展開, 北九州国際会議場 (2015/3/9).
  82. 水口信, 高安亮紀, 久保隆徹, 大石進一:
    "発展方程式の解に対する精度保証付き数値計算法を用いた時間大域解の存在証明",
    精度保証付き数値計算の最近の展開, 北九州国際会議場 (2015/3/9).
  83. 水口信, 高安亮紀, 久保隆徹, 大石進一:
    "半線形熱方程式の解に対する精度保証付き数値計算法を用いた時間大域解の存在証明",
    日本応用数理学会 2015年研究部会連合発表会, 明治大学 中野キャンパス (2015/3/6).
  84. 高安亮紀, 水口信, 久保隆徹, 大石進一:
    "藤田型方程式に対する時間大域解の精度保証付き数値計算",
    2014年度応用数学合同研究集会, 龍谷大学 瀬田キャンパス (2014/12/18).
  85. Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi:
    "Numerical verification of solutions for the Fujita type parabolic equations",
    The 14th Asia Simulation Conference & The 33rd JSST Annual Conference: International Conference on Simulation Technology (AsiaSim & JSST 2014), Kitakyushu, Japan (2014/10/30).
  86. Kouta Sekine, Akitoshi Takayasu, Shin'ichi Oishi:
    "A numerical verification method using $H^1_sigma$-norm for an elliptic system of FitzHugh-Nagumo type",
    The 14th Asia Simulation Conference & The 33rd JSST Annual Conference: International Conference on Simulation Technology (AsiaSim & JSST 2014), Kitakyushu, Japan (2014/10/30).
  87. Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi:
    "A sharper error estimate of verified computations for nonlinear heat equations",
    16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN2014), Würzburg, Germany (2014/9/23).
  88. Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi:
    "A method of verified computations for nonlinear parabolic equations",
    16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN2014), Würzburg, Germany (2014/9/23).
  89. 関根晃太, 田中一成, 高安亮紀, 大石進一:
    "重み付きノルムによる特異摂動問題の精度保証付き数値計算結果の改善",
    日本応用数理学会2014年度年会, 政策研究大学院大学 (2014/9/3).
  90. 高安亮紀, 水口信, 久保隆徹, 大石進一:
    "藤田型方程式に対する時間大域解の計算機援用証明",
    日本応用数理学会2014年度年会, 政策研究大学院大学 (2014/9/3).
  91. 高安亮紀:(談話会)
    "半線形放物型方程式の初期値境界値問題に対する精度保証付き数値計算法",
    芝浦工業大学 数理科学科 談話会, 芝浦工業大学大宮キャンパス (2014/7/1).
  92. Akitoshi Takayasu:
    "An approach for verified computations of semilinear parabolic equations using the semigroup theory",
    ICIAM 2014 Scientific Workshop, Ohio, US (2014/5/15). With M. Mizuguchi, T. Kubo, and S. Oishi.

  93.  2013年度

  94. Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi:
    "Verified numerical classification of non-trivial solutions to elliptic equations",
    The International Workshop on Numerical Verification and its Applications 2014 (INVA 2014), Kyoto, Japan (2014/3/20).
  95. Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi:
    "A method of verified computations for nonlinear homogeneous heat equations, Part I: Enclosure of semidiscrete approximate solution for space variable",
    The International Workshop on Numerical Verification and its Applications 2014 (INVA 2014), Tokyo, Japan (2014/3/16).
  96. Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi:
    "A method of verified computations for nonlinear homogeneous heat equations, Part II: Semigroup approach to construct an exact solution for time variable",
    The International Workshop on Numerical Verification and its Applications 2014 (INVA 2014), Tokyo, Japan (2014/3/16).
  97. Kouta Sekine, Akitoshi Takayasu, Shin'ichi Oishi:
    "Computer assisted proof for existence of solutions to a system of elliptic partial differential equations",
    The International Workshop on Numerical Verification and its Applications 2014 (INVA 2014), Tokyo, Japan (2014/3/15).
  98. N. Hoffman, 市原一裕, 柏木雅英, 正井秀俊, 大石進一, 高安亮紀:
    "3次元双曲多様体の精度保証付き数値計算",
    日本数学会2014年度年会, 学習院大学 目白キャンパス (2014/3/15).
  99. 高安亮紀:
    "偏微分方程式の解の精度保証付き数値計算法",
    第1回 JST CREST「数学」領域横断若手合宿〜冬の学校@指宿〜, 休暇村 指宿 鹿児島県指宿市 (2014/2/1).
  100. 高安亮紀, 大石進一:
    "任意多角形領域上での楕円型方程式の解挙動に対する精度保証付き追跡",
    2013年度応用数学合同研究集会, 龍谷大学 瀬田キャンパス (2013/12/21).
  101. Shin'ichi Oishi (substitute speaker: Akitoshi Takayasu):
    "Numerical Verification of Hyperbolicity for 3-Manifolds",
    The Second International Conference on Engineering and Computational Mathematics(ECM2013), The Hong Kong Polytechnic University, Hong Kong (2013/12/18).
  102. 正井秀俊, 高安亮紀:
    "Verified computations for hyperbolic 3-manifolds",
    トポロジーとコンピュータ 2013, 明治大学 中野キャンパス (2013/12/1).
  103. 高安亮紀, 大石進一:
    "構成的陰関数の定理とその応用について",
    日本数学会2013年度秋季総合分科会, 愛媛大学 城北キャンパス (2013/9/27).
  104. 高安亮紀, 大石進一:
    "非線形作用素方程式に対する解曲線の精度保証付き追跡",
    第2回岐阜数理科学研究会, 飛騨高山まちの博物館, 岐阜県高山市 (2013/9/17).
  105. Makoto Mizuguchi, Takayuki Kubo, Akitoshi Takayasu, Shin'ichi Oishi:
    "A priori error estimate of inhomogeneous heat equations using rational approximation of semigroups",
    International Conference on Simulation Technology (JSST 2013), Meiji University, Tokyo, Japan (2013/9/13).
  106. Kazuaki Tanaka, Makoto Mizuguchi, Kouta Sekine, Akitoshi Takayasu, Shin'ichi Oishi:
    "Estimation of an embedding constant on Lipschitz domains using extension operators",
    International Conference on Simulation Technology (JSST 2013), Meiji University, Tokyo, Japan (2013/9/13).
  107. Kouta Sekine, Akitoshi Takayasu, Shin'ichi Oishi:
    "A verified computation of steady-state solutions to Reaction-Diffusion equations",
    International Conference on Simulation Technology (JSST 2013), Meiji University, Tokyo, Japan (2013/9/13).
  108. Akitoshi Takayasu, Shin'ichi Oishi:
    "A verified continuation algorithm for solution curve of nonlinear elliptic equations",
    2013 International Symposium on Nonlinear Theory and its Applications (NOLTA 2013), Santa Fe, US (2013/9/11).
  109. 田中一成, 水口信, 関根晃太, 高安亮紀, 大石進一:
    "拡張作用素を用いたLipschitz領域における埋め込み定数の評価法",
    日本応用数理学会2013年度年会, アクロス福岡, 福岡県福岡市 (2013/9/10).
  110. 関根晃太, 高安亮紀, 大石進一:
    "反応拡散方程式の定常解に対する精度保証付き数値計算",
    日本応用数理学会2013年度年会, アクロス福岡, 福岡県福岡市 (2013/9/9).
  111. 高安亮紀, 大石進一:
    "疑似弧長法による楕円型境界値問題の解曲線の精度保証付き追跡",
    日本応用数理学会2013年度年会, アクロス福岡, 福岡県福岡市 (2013/9/9).
  112. 高安亮紀:
    "Newton法の収束定理と精度保証",
    早稲田大学理工学術院総合研究所主催 精度保証付き数値計算ワークショップ, アクロス福岡, 福岡県福岡市 (2013/9/9).
  113. Kazuaki Tanaka, Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi:
    "Verified norm estimation for the inverse of linear elliptic operators and its application",
    The 9th East Asia SIAM Conference & The 2nd Conference on Industrial and Applied Mathematics (EASIAM 2013-CIAM 2013), West Java, Indonesia (2013/6/19).

  114.  2012年度

  115. 高安亮紀, 劉雪峰, 大石進一:
    "任意多角形領域上の半線形偏微分方程式の解に対する精度保証付き数値計算",
    日本数学会2013年度年会, 京都大学 吉田キャンパス (2013/3/22).
  116. 水口信, 久保隆徹, 高安亮紀, 大石進一:
    "半群理論を用いた非斉次熱方程式の全離散近似解に対する事前誤差評価",
    日本応用数理学会 2013年研究部会連合発表会, 東洋大学 白山キャンパス (2013/3/15).
  117. 田中一成, 高安亮紀, 劉雪峰, 大石進一:
    "逆作用素ノルム評価を用いた楕円型Neumann境界値問題の解に対する精度保証付き数値計算",
    日本応用数理学会 2013年研究部会連合発表会, 東洋大学 白山キャンパス (2013/3/15).
  118. 高安亮紀, 大石進一:
    "計算機援用解析を用いた楕円型境界値問題に対する解曲線の追跡",
    日本応用数理学会 2013年研究部会連合発表会, 東洋大学 白山キャンパス (2013/3/15).
  119. 高安亮紀:(セミナー)
    "任意多角形領域上の半線形偏微分方程式に対する精度保証付き数値計算",
    第20回「岐阜数理科学セミナー」, 岐阜大学 工学部 (2012/11/30).
  120. 高安亮紀, 劉雪峰, 大石進一:
    "混合型有限要素を用いた誤差定数の算出方法",
    環瀬戸内ワークショップ, 土庄町総合会館「フレトピアホール」, 香川県小豆郡土庄町 (2012/11/16).
  121. Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi:
    "Verified computations for elliptic boundary value problems on arbitrary polygonal domains",
    The Tenth Asian Symposium on Computer Mathematics (ASCM 2012), Beijing, China (2012/10/28).
  122. Akitoshi Takayasu, Shin'ichi Oishi:
    "A computer-assisted proof method of the invertibility to elliptic operators",
    2012 International Symposium on Nonlinear Theory and its Applications (NOLTA 2012), Palma Majorca, Spain (2012/10/26).
  123. Kouta Sekine, Akitoshi Takayasu, Shin'ichi Oishi:
    "A numerical verification method for solutions to systems of elliptic partial differential equations",
    15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN'2012), Novosibirsk, Russia (2012/9/24).
  124. Akitoshi Takayasu, Shin'ichi Oishi:
    "Computer-assisted error analysis for second-order elliptic equations in divergence form",
    15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN'2012), Novosibirsk, Russia (2012/9/24).
  125. 田中一成, 高安亮紀, 劉雪峰, 大石進一:
    "線形楕円型作用素のNeumann条件下における精度保証付き逆作用素ノルム評価",
    日本応用数理学会2012年度年会, 稚内全日空ホテル, 北海道稚内市 (2012/8/31).
  126. 関根晃太, 高安亮紀, 大石進一:
    "ある連立2階楕円型偏微分方程式系の解に対する計算機援用証明方法",
    日本応用数理学会2012年度年会, 稚内全日空ホテル, 北海道稚内市 (2012/8/31).
  127. 高安亮紀, 大石進一:
    "最高階に0を含む2階楕円型偏微分方程式に対する計算機援用解析",
    日本応用数理学会2012年度年会, 稚内全日空ホテル, 北海道稚内市 (2012/8/31).
  128. Akitoshi Takayasu, Shin'ichi Oishi:
    "Computer-assisted existence proof of solutions to elliptic equations in divergence form",
    The 8th East Asia SIAM Conference (EASIAM 2012), Taipei, Taiwan (2012/6/27).
  129. Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi:
    "Verified numerical computations for solutions to semilinear elliptic boundary value problems on arbitrary polygonal domains",
    Fifth Conference on Numerical Analysis and Applications (NAA'12), Lozenetz, Bulgaria (2012/6/18).
  130. 田中一成, 高安亮紀, 大石進一:
    "ある固有値評価を利用した線形楕円型作用素の逆作用素に対する精度保証付きノルム評価",
    第41回数値解析シンポジウム, 伊香保温泉 よろこびの宿 しん喜, 群馬県渋川市伊香保町 (2012/6/8), 講演予稿集 pp.110-113.
  131. 高安亮紀, 劉雪峰, 大石進一:
    "有限要素近似に対する補間誤差定数の精度保証付き算出法",
    第41回数値解析シンポジウム, 伊香保温泉 よろこびの宿 しん喜, 群馬県渋川市伊香保町 (2012/6/6), 講演予稿集 pp.21-24.
  132. 高安亮紀:(セミナー)
    "任意多角形領域上における非線形楕円型境界値問題に対する精度保証付き数値計算法",
    第7回「数理科学セミナー」, 一橋大学 国立キャンパス (2012/4/18).

  133.  2011年度

  134. 高安亮紀, 大石進一:
    "強圧性を仮定しない微分方程式の計算機援用解析",
    日本応用数理学会 2012年研究部会連合発表会, 九州大学伊都キャンパス (2012/3/8).
  135. 高安亮紀:(セミナー)
    「精度保証付き数値計算の応用(2)」 - 精度保証付き数値計算による偏微分方程式の解の数値的検証法 - ,
    日本応用数理学会3部会連携「応用数理セミナー」, 早稲田大学 西早稲田キャンパス (2011/12/27).
  136. 高安亮紀, 劉雪峰, 大石進一:
    "楕円型非線形境界値問題に対する計算機援用解析のRT1要素による高精度化",
    京都大学数理解析研究所RIMS研究集会「科学技術計算における理論と応用の新展開」, 京都大学数理解析研究所 (2011/10/27).
  137. 高安亮紀, 大石進一:
    "Some remarks on verified numerical computations for two-point boundary value problems",
    日本応用数理学会2011年度年会, 同志社大学 今出川キャンパス (2011/9/16).
  138. Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi:
    "Computer Assisted Proofs for Solutions to Nonlinear Elliptic Partial Differential Equations on Arbitrary Polygonal Domain",
    2011 International Symposium on Nonlinear Theory and its Applications (NOLTA 2011), Hyogo, Japan (2011/9/5).
  139. 高安亮紀, 劉雪峰, 大石進一:
    "任意多角形領域上での非線形楕円型境界値問題の計算機援用証明",
    第33回発展方程式若手セミナー, つくばグランドホテル, 茨城県つくば市筑波 (2011/8/26).
  140. Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi:
    "A Method of computer assisted proof for Semilinear elliptic equations on Arbitrary polygonal domain",
    The 7th International Congress on Industrial and Applied Mathematics (ICIAM 2011), Vancouver, Canada (2011/7/20).
  141. Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi:
    "Numerical verification for solution existence of elliptic PDE on arbitrary polygonal domain",
    The 7th East Asia SIAM Conference & RIMS Workshop on Methods in Industrial and Applied Mathematics (EASIAM 2011), Kitakyushu, Japan (2011/6/29).
  142. Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi:
    "A computer assisted proof method for semilinear elliptic equations on arbitrary polygonal domain",
    Workshop on Analytic and Computational Techniques in Spectral Theory and Related Topics (EPSRC Gregynog Workshop 2011), Gregynog Hall, UK (2011/6/21).

  143.  2010年度

  144. 高安亮紀, 劉雪峰, 大石進一:
    "任意多角形領域上での非線形偏微分方程式の計算機援用証明",
    日本応用数理学会 2011年研究部会連合発表会, 電気通信大学 (2011/3/8).
  145. 高安亮紀:(セミナー)
    "楕円型非線形偏微分方程式のDirichlet境界値問題に対する精度保証付き数値計算法",
    数値解析セミナー(東大), 東京大学 駒場キャンパス (2010/12/7).
  146. 高安亮紀, 劉雪峰, 大石進一:
    "無限次元固有値問題の精度保証付き数値計算を用いた逆作用素の効果的ノルム評価",
    京都大学数理解析研究所RIMS研究集会「科学技術計算アルゴリズムの数理的基盤と展開」, 京都大学数理解析研究所 (2010/10/20).
  147. Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi, Takayuki Kubo:
    "Numerical existence proofs and Accurate error bounds of solutions to Semilinear elliptic equations with higher order finite elements",
    14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2010), ENS de Lyon, France (2010/9/30).
  148. Shin'ichi Oishi, Akitoshi Takayasu, Takayuki Kubo:
    "Numerical Verification of Existence for Solutions to Dirichlet Boundary Value Problems of Semilinear Elliptic Equations",
    14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2010), ENS de Lyon, France (2010/9/30).
  149. Akitoshi Takayasu, Shin'ichi Oishi, Takayuki Kubo:
    "Computer assisted proofs of solutions to Nonlinear elliptic partial differential equations",
    2010 International Symposium on Nonlinear Theory and its Applications (NOLTA 2010), Krakow, Poland (2010/8/6).
  150. 高安亮紀, 大石進一, 久保隆徹:
    "Strum-Liouville型2点境界値問題の精度保証付き数値計算法について",
    第29回 日本シミュレーション学会大会, 山形大学 工学部キャンパス, 山形県米沢市城南 (2010/6/19), 講演予稿集 pp.89-92.
  151. 高安亮紀, 大石進一, 久保隆徹:
    "非線形楕円型偏微分方程式の精度保証法とその速度評価について",
    第39回数値解析シンポジウム, 鳥羽シーサイドホテル, 三重県鳥羽市安楽島町 (2010/5/26), 講演予稿集 pp.5-8.

  152.  2009年度

  153. Akitoshi Takayasu, Shin'ichi Oishi, Takayuki Kubo:
    "Numerical Existence Theorem for Semilinear Elliptic Boundary Value Problems II",
    2010 International Workshop on Numerical Verification and its Applications (INVA2010), Hachijo-jima, Japan (2010/3/11).
  154. 高安亮紀, 大石進一, 久保隆徹:
    "Sturm-Liouville型2点境界値問題の精度保証付き数値計算",
    日本応用数理学会 2010年 研究部会 連合発表会, 筑波大学 計算科学研究センター (2010/3/8).
  155. 高安亮紀, 大石進一, 久保隆徹:
    "非線形楕円型偏微分方程式の精度保証II",
    日本応用数理学会 2010年 研究部会 連合発表会, 筑波大学 計算科学研究センター (2010/3/8).
  156. 大石進一, 高安亮紀, 久保隆徹:
    "非線形楕円型偏微分方程式の精度保証I",
    日本応用数理学会 2010年 研究部会 連合発表会, 筑波大学 計算科学研究センター (2010/3/8).
  157. Akitoshi Takayasu, Shin'ichi Oishi, Takayuki Kubo:
    "A priori inverse operator estimation for guaranteed error estimate",
    4th Workshop on Reliable Engineering Computing (REC2010) "Robust Design - Coping with Hazards, Risk and Uncertainty", Hotel Furama Riverfront, Singapore (2010/3/5).
  158. 高安亮紀, 大石進一, 久保隆徹:
    "線形2点境界値問題の有限要素解に対する精度保証付き数値計算法",
    京都大学数理解析研究所RIMS研究集会「数値解析と数値計算アルゴリズムの最近の展開」, 京大会館 (2009/12/15).
  159. Shin'ichi Oishi, Akitoshi Takayasu, Takayuki Kubo:
    "Numerical Verification Method for Nonlinear Differential Equations",
    The Joint Conference of ASCM2009 and MACIS2009, JAL Resort Sea Hawk Hotel, Fukuoka, Japan (2009/12/15).
  160. 高安亮紀, 大石進一, 久保隆徹:
    "非線形関数方程式の精度保証付き数値計算",
    非線形問題研究会(NLP), 屋久島環境文化村センター, 鹿児島 (2009/11/11).
  161. Akitoshi Takayasu, Shin'ichi Oishi, Takayuki Kubo:
    "Guaranteed error estimate for solutions to two-point boundary value problem",
    2009 International Symposium on Nonlinear Theory and its Applications (NOLTA 2009), Hokkaido, Japan (2009/10/19).
  162. Akitoshi Takayasu, Shin'ichi Oishi, Takayuki Kubo:
    "Guaranteed error estimate for solutions to linear two-point boundary value problems with FEM",
    ASIA SIMULATION CONFERENCE 2009 (JSST 2009), Ritsumeikan University, Shiga, Japan (2009/10/8).
  163. 高安亮紀, 大石進一, 久保隆徹:
    "非線形2点境界値問題の精度保証付き数値計算法",
    日本応用数理学会2009年度年会, 大阪大学 豊中キャンパス (2009/9/30).
  164. Akitoshi Takayasu, Shin'ichi Oishi, Takayuki Kubo:
    "Numerical verification for solutions to nonlinear two-point boundary value problems with finite element method",
    The 24th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2009), Jeju Island, Korea (2009/7/8).
  165. 高安亮紀, 大石進一, 久保隆徹:
    "線形2点境界値問題の精度保証付き数値計算法",
    第38回数値解析シンポジウム, 熱川ハイツ, 静岡県賀茂郡東伊豆町 (2009/6/15), 講演予稿集 pp.1-4.
  166. Akitoshi Takayasu, Shin'ichi Oishi, Takayuki Kubo:
    "Guaranteed error estimate for solutions to linear two-point boundary value problems",
    The 2nd International Conference on Mathematical Modelling and Computation and The 5th East Asia SIAM Conference (EASIAM), Bandar Seri Begawan, Brunei Darussalam (2009/6/8).

  167.  2008年度

  168. Akitoshi Takayasu, Shin'ichi Oishi, Takayuki Kubo:
    "Guaranteed error estimate for solutions to nonlinear two-point boundary value problem",
    2009 International Workshop on Numerical Verification and its Applications (INVA2009), Okinawa, Japan (2009/3/26).
  169. 高安亮紀, 大石進一, 久保隆徹:
    "2階常微分方程式の非線形2点境界値問題に対する精度保証法",
    平成21年日本応用数理学会研究部会連合発表会, 京都大学 (2009/3/8).
  170. 高安亮紀, 後保範, 大石進一:
    "多次元多項式による代数平方根の計算",
    第37回 数値解析シンポジウム, たざわこ芸術村, 秋田県仙北市 (2008/6/13), 講演予稿集 pp.75-78.

  171.  2007年度

  172. 高安亮紀, 後保範, 大石進一:
    "疑似ニュートン法による代数平方根の計算",
    第36回 数値解析シンポジウム, ウェルシティ湯河原(湯河原厚生年金会館), 熱海市 (2007/6/20), 講演予稿集 pp.73-76.

ポスター発表

  1. Akira Imakura, Keiichi Morikuni, and Akitoshi Takayasu:
    "Verified computation of partial eigenvalues using contour integrals",
    SIAM Conference on Applied Linear Algebra (SIAM-ALA18), Hong Kong Baptist University, Hong Kong, (2018/5/7).
  2. Akitoshi Takayasu, Akira Imakura, and Keiichi Morikuni:
    "Contour Integral-Based Verified Computing for Partial Eigenvalues",
    18th SIAM Conference on Parallel Processing for Scientific Computing (SIAM PP18), Waseda University, Tokyo, Japan (2018/3/8).
  3. 今倉暁, 保國惠一, 高安亮紀:
    "複素モーメントの誤差評価を用いた周回積分型精度保証付き部分固有値計算",
    日本応用数理学会2017年度年会, 武蔵野大学 有明キャンパス (2017/9/6).
  4. 高安亮紀:
    "放物型方程式に対する解の精度保証付き数値計算",
    第4回JST数学領域横断若手合宿, 休暇村讃岐五色台, 香川県坂手市 (2017/2/21).
  5. 高安亮紀, 劉雪峰, 大石進一:
    "Raviart-Thomas混合型有限要素を用いた非線形作用素方程式の高精度残差評価法",
    第5回63号館ハイテクリサーチセンターシンポジウム『材料・デバイス・システム連携と次世代通信社会』, 早稲田大学西早稲田キャンパス (2011/12/17).
  6. 高安亮紀, 劉雪峰, 大石進一:
    "非線形楕円型境界値問題の計算機援用証明ツールボックス",
    63号館ハイテクリサーチセンター プロジェクト1・2 若手交流会「数値シミュレーションと高信頼通信」, 早稲田大学西早稲田キャンパス (2011/10/1).
  7. 高安亮紀, 劉雪峰, 大石進一:
    "任意多角形領域上の楕円型非線形偏微分方程式の計算機援用証明",
    第2回領域シンポジウム『越境する数学 ~CREST 研究報告会~』, アキバホール, 東京 (2011/9/7).
  8. 高安亮紀, 大石進一:
    "凸多角形領域上での非線形偏微分方程式の計算機援用証明",
    第4回63号館ハイテクリサーチセンターシンポジウム『材料・デバイス・システム連携と次世代通信社会』, 早稲田大学西早稲田キャンパス (2010/12/18).
  9. 高安亮紀, 大石進一, 久保隆徹:
    "非線形偏微分方程式のDirichlet境界値問題に対する計算機援用証明",
    63号館ハイテクリサーチセンタープロジェクトI 若手交流会, 早稲田大学西早稲田キャンパス (2010/6/26).
  10. 高安亮紀, 大石進一, 久保隆徹:
    "2点境界値問題の精度保証付き数値計算法",
    第3回63号館ハイテクリサーチセンターシンポジウム『材料・デバイス・システム連携と次世代通信社会』, 早稲田大学大久保キャンパス (2009/12/12).
  11. 高安亮紀, 大石進一, 久保隆徹:
    "2点境界値問題の精度保証付き誤差評価法",
    第5回『シミュレーション技術の革新と実用化基盤の構築』領域シンポジウム, 東京大学弥生講堂・一条ホール (2009/10/28).
  12. 高安亮紀, 大石進一, 久保隆徹:
    "2階常微分方程式の精度保証法",
    第2回63号館ハイテクリサーチセンターシンポジウム『材料・デバイス・システム連携と次世代通信社会』, 早稲田大学大久保キャンパス (2009/1/17).

賞罰


外部研究費

研究代表者

研究分担者


所属学会


学会活動等


記事等


Last Modified: