講演 / Talks

※ 特に断りがない限り、第一著者が登壇者です。

国際学会・シンポジウム（口頭発表）

1. Sora Sawai, (Spearker) Kazuaki Tanaka, Katsuhisa Ozaki and Shin'ichi Oishi: PSTV: An Incremental Validator for 2D Delaunay Triangulation, The 43rd JSST Annual International Conference on Simulation Technology & The 23rd Asia Simulation Conference (JSST 2024), Kobe, Japan, Sept. 17, 2024. 

2. Kazuaki Tanaka: Understanding from solution-enclosures - Using elliptic equations as a case study, The 42nd JSST Annual International Conference on Simulation Technology (JSST 2023), Aug. 31, 2023

3. Kazuaki Tanaka: Addressing Open Challenges in Exploring Positivity and Sign-Change in Solutions of Elliptic Equations, Numerical methods for spectral problems: theory and applications(NMSP2023), Aug. 27, 2023

4. Kazuaki Tanaka, Kaname Matsue, Hiroyuki Ochiai: Rigorous solution-enclosures of elliptic boundary value problems between piecewise linear functions, 10th International Congress on Industrial and Applied Mathematics (ICIAM2023), Aug. 22, 2023  

5. Taisei Asai, Kazuaki Tanaka, Shin’ichi Oishi: Verified Numerical Computations for multiple solutions of the Henon equation, 10th International Congress on Industrial and Applied Mathematics (ICIAM2023), Aug. 22, 2023  

6. Kazuaki Tanaka, Kohei Yatabe, Taisei Asai, Sora Sawai: Rigorous simulation of reaction-diffusion models with neural networks, The 41st JSST Annual International Conference on Simulation Technology (JSST 2022), Online, Aug. 31, 2022.

7. Kazuaki Tanaka, Kohei Yatabe: Rigorous solution-enclosures of differential equations between sub- and super-solutions constructed by neural networks, International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022), Online, March 17, 2022.

8. Kazuaki Tanaka: Verification of sign-change structure for elliptic partial differential equations, The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2020), Online, Sep. 13, 2021 (Invited).

9. Kazuaki Tanaka, Mitsuhiro T. Nakao: Constructive a priori error estimates for Poisson's equation with discontinuous coefficients, The 40th JSST Annual International Conference on Simulation Technology (JSST 2021), Online, Sep. 2, 2021.

10. Taisei Asai, Kazuaki Tanaka, Shin’ichi Oishi: Numerical verification for positive solutions of the Hénon equation on some bounded domain, The 40th JSST Annual International Conference on Simulation Technology (JSST 2021), Online, Sep. 2, 2021.

11. Yuta Matsushima, Kazuaki Tanaka, Shin’ichi Oishi: Numerical verification for positive global-in-time solutions of Allen-Cahn equation in three space dimensions using sub- and super-solution method, The 38th JSST Annual International Conference on Simulation Technology (JSST 2019), Miyazaki, Japan, Nov. 5, 2019.

12. Taisei Asai, Kazuaki Tanaka, Shin’ichi Oishi: Numerical verification for asymmetric solutions of the Hénon equation, The 38th JSST Annual International Conference on Simulation Technology (JSST 2019), Miyazaki, Japan, Nov. 5, 2019.

13. Kazuaki Tanaka, Kouta Sekine: Rigorous solution-enclosures of elliptic problems and its application to the best embedding constants, Minisymposium "Numerical verification methods and their application to differential equations", 9th International Congress on Industrial and Applied Mathematics - ICIAM 2019, July 19, Valencia, Spain, 2019.

14. Kazuaki Tanaka, Kazunaga Tanaka: Numerical verification method for elliptic problems with sign change information, The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2018), Waseda University, Tokyo, Japan, Sep. 13, 2018.

15. Yuta Matsushima, Kazuaki Tanaka, Shin’ichi Oishi: Numerical verification method for positive solutions of Allen-Cahn equation using sub- and super-solution method, The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2018), Waseda University, Tokyo, Japan, Sep. 13, 2018.

16. Makoto Mizuguchi, Kazuaki Tanaka, Kouta Sekine, Shin’ichi Oishi: Estimation of Sobolev embedding constant on a bounded convex domain, The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2018), Waseda University, Tokyo, Japan, Sep. 14, 2018.

17. Shin'ichi Oishi, Kazuaki Tanaka: Computer-assisted analysis of stationary problem of Allen-Cahn equation, International Workshop on Industrial Mathematics 2017, Burjassot (València), May 18, 2017.

18. Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, Shin'ichi Oishi: Numerical method for estimating the best constant in Sobolev type inequality on unit square, The International Workshop on Numerical Verification and its Applications (INVA 2017), Miyakojima-island, Okinawa, Japan, March 17, 2017.

19. Shin'ichi Oishi, Kazuaki Tanaka: Verified numerical computation for stationary problem of Allen-Cahn equation, the 53rd meeting of ANXIAM 2017, Hahndorf, South Australia, Feb. 5-9, 2017.

20. Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi: On verified numerical computation for positive solutions to elliptic boundary value problems, Computer Arithmetic and Validated Numerics (SCAN 2016), Uppsala Sweden, Sep. 28, 2016.

21. Kouta Sekine, Kazuaki Tanaka, Shin'ichi Oishi: A norm estimation for an inverse of linear operator using a minimal eigenvalue, Computer Arithmetic and Validated Numerics, (SCAN 2016), Uppsala Sweden, Sep. 28, 2016.

22. Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin’ichi Oishi: Verified numerical computations for blow-up solutions of ODEs, Computer Arithmetic and Validated Numerics (SCAN 2016), Uppsala Sweden, Sep. 28, 2016.

23. Shin'ichi Oishi, Kazuaki Tanaka: Rigorous numerical inclusions of positive solutions to elliptic problems, International Workshop on Enclosure Methods, Freudenstadt, Germany, Sep. 22-23, 2016 (Invited).

24. Kouta Sekine, Kazuaki Tanaka, Shin'ichi Oishi: Estimation for optimal constant satisfying an inequality for linear operator using minimal eigenvalue, The fifth Asian Conference on Nonlinear Analysis and Optimization, Toki Messe, Niigata, Japan, Aug. 2, 2016.

25. Kazuaki Tanaka, Shin'ichi Oishi: On verified numerical computation for elliptic Dirichlet boundary value problems using sub- and super-solution method, The fifth Asian Conference on Nonlinear Analysis and Optimization, Toki Messe, Niigata, Japan, Aug. 2, 2016.

26. Kaname Matsue, Akitoshi Takayasu, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin’ichi Oishi: Rigorous numerics of blowup solutions for ODEs, The 11th AIMS Conference on Dynamical Systems, Differential Equations and Applications, July 1-5, 2016.

27. Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi: Numerically verifiable condition for positivity of solution to elliptic equation, The 11th East Asia SIAM, Macao, June 20, 2016.

28. Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, Shin'ichi Oishi: Numerical verification for positiveness of solutions to self-adjoint elliptic problems, The 34th JSST Annual International Conference on Simulation Technology (JSST 2015), Toyama, Japan, Oct. 12, 2015.

29. Kazuaki Tanaka, Shin'ichi Oishi: Computer-assisted analysis for solutions to nonlinear elliptic Neumann problems, The 33rd JSST Annual International Conference on Simulation Technology (JSST 2014), Kitakyushu, Japan, Oct. 30, 2014.

30. Kazuaki Tanaka, Shin'ichi Oishi: Numerical verification for periodic stationary solutions to the Allen-Cahn equation, The16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2014), Würzburg, Germany, Sep. 25, 2014.

31. Kazuaki Tanaka, Shin'ichi Oishi: Numerical verification for stationary solutions to the Allen-Cahn equation, The International Workshop on Numerical Verification and its Applications (INVA 2014), Waseda Univ. Nishiwaseda campus, Japan, March 15, 2014.

32. Kazuaki Tanaka, Makoto Mizuguchi, Kouta Sekine, Akitoshi Takayasu, Shin'ichi Oishi: Estimation of an embedding constant on Lipschitz domains using extension operators, The 32nd JSST Annual International Conference on Simulation Technology (JSST 2013), Tokyo, Japan, Sep. 13, 2013.

33. 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, Bandung, Japan, June 19, 2013.

国内学会・シンポジウム（口頭発表）

1. 眞弓皓一, 小田達郎, 宮島信也, 大林一平, 田中一成: コントラスト変調小角中性子散乱測定における部分散乱関数の数理的誤差評価, 日本中性子科学会 第24回年会, 名古屋国際会議場, 2024年12月5日. 

2. 田中一成, 柏木雅英, 内藤雄基, 田中敏: 計算機援用によるscalar field方程式の符号変化球対称解の一意性証明, 2024年度日本数学会秋季総合分科会, 大阪大学豊中キャンパス, 2024年9月6日. 

3. 田中一成: 異分野連携の実例：中性子小角散乱法と誤差評価の数理, 数理・情報と諸科学の連携のための研究会, 百周年記念ホール, 2024年7月16日（Invited）.

4. 田中一成, 松江 要, 落合啓之: 優解劣解による解包含の可能性：楕円型境界値問題を中心に, 北陸応用数理研究会 2024, 石川県政しいのき迎賓館, 2024年3月25日（Invited）.

5. 田中一成: 深層学習と精度保証付き数値計算：導入と微分方程式への応用を中心に, 第15回 三部会連携「応用数理セミナー」, Zoom, 2023年12月27日（Invited）.

6. 田中一成: ニューラルネットワークによる微分方程式解の包含と優解劣解法の再考, 東京大学数値解析セミナー（UTNAS）, 東京大学, 2023年10月24日（Invited）.

7. 浅井大晴, 田中一成, 大石進一: エノン型方程式の正値対称解の多重性に関する考察－計算機援用アプローチ, RIMS共同研究（公開型）「新時代における高性能科学技術計算法の探究」, 京都大学 益川ホール, 2023年10月19日 (Invited).

8. 田中一成: 深層学習と精度保証付き数値計算, 創発的研究支援事業 融合の場 －深層学習がもたらすブレイクスルーと可能性－, Zoom, 2023年5月13日.

9. 田中一成: 松江要, 落合啓之, 区分線形関数による優解劣解の構成と楕円型境界値問題への応用, 日本応用数理学会第19回研究部会連合発表会, 岡山理科大学, 2023年3月8日.

10. 田中一成: 楕円型偏微分方程式の解符号検証法といくつかの課題, 科学計算・計測工学連携ワークショップ, ニュー阿寒ホテル, 2023年3月5日 (Invited).

11. 田中一成: 微分方程式に対する精度保証付き数値計算法とニューラルネットワークによる解の包含, RIMS共同研究（公開型）数値解析が拓く次世代情報社会～エッジから富岳まで～, 京都大学益川ホール, 2022年10月13日 (Invited). 

12. 沢井宇宙, 田中一成, 尾崎克久, 大石進一: 2次元領域における三角形分割の事後保証法, 日本応用数理学会2022年度年会, 北海道大学, 2022年9月10日.

13. 多田秀介, 浅井大晴, 田中一成, 大石進一: Batt-Faltenbacher-Horst方程式の解の精度保証付き数値計算, 日本応用数理学会2022年度年会, 北海道大学, 2022年9月10日.

14. 田中一成: 楕円型偏微分方程式の解の包含から分かること, 第3回 数学と諸分野の連携に向けた若手数学者交流会, オンライン, 2022年3月7日 (Invited) .

15. 田中一成: 楕円型境界値問題の自明解の確定条件とその応用, JST/CREST「モデリングのための精度保証付き数値計算論の展開」成果報告会（※第5回精度保証付き数値計算の実問題への応用研究集会 (NVR2021)と同時開催）, Zoom, 2021年11月27日.

16. 田中一成: 常微分方程式に対する計算機援用解析, RIMS共同研究（公開型）常微分方程式の定性的理論とその応用, Zoom, 2021年11月11日 (Invited). 

17. 浅井大晴, 田中一成, 関根晃太, 大石進一: 精度保証付き数値計算を用いた1次元エノン型方程式に対する分岐解析, RIMS共同研究（公開型）常微分方程式の定性的理論とその応用, Zoom, 2021年11月11日 (Invited).

18. 田中一成, 矢田部浩平: 優解劣解法による微分方程式の解の精度保証法とニューラルネットワーク近似への応用, 日本応用数理学会2021年度年会, Zoom, 2021年9月9日.

19. 浅井大晴, 田中一成, 大石進一: 1次元エノン方程式の分岐図に対する計算機援用解析, 日本応用数理学会2021年度年会, Zoom, 2021年9月9日.

20. 田中一成, 中尾 充宏: 不連続拡散係数を持つ３次元ポアソン方程式の解に対する事前誤差評価, 応用数理学会2021年研究部会連合発表会, 2021年3月4日.

21. 浅井大晴, 田中一成, 大石進一: 特異関数を用いた1次元エノン方程式の解の精度保証付き数値計算, 応用数理学会2021年研究部会連合発表会, 2021年3月4日.

22. 田中一成: エノン方程式の解に対する正値性検証法, 精度保証付き数値計算の実問題への応用研究集会 (NVR 2020), 2020年11月29日 (Invited).

23. 浅井大晴, 田中一成, 大石進一: 精度保証付き数値計算を用いたHénon方程式の対称性に関する考察, 精度保証付き数値計算の実問題への応用研究集会 (NVR 2020), 2020年11月29日 (Invited).

24. 田中一成, 浅井大晴: 楕円型境界値問題に対する解符号の事後検証法, 日本応用数理学会2020年度年会, Zoom, 2020年9月10日.

25. 浅井大晴, 田中一成, 大石進一: 精度保証付き数値計算を用いたHenon方程式の多重解の存在証明, 日本応用数理学会2020年度年会, Zoom, 2020年9月10日.

26. 田中一成, 中尾充宏: A priori error estimates for Poisson's equation with discontinuous coefficients, 日本応用数理学会2019年度連合発表会, 中央大学後楽園キャンパス, 2020年3月4日～5日.

27. 松嶋佑汰, 田中一成, 大石進一: 優解劣解法を用いた Allen-Cahn 方程式の正値解に対する精度保証付き数値計算, 2019年度応用数学合同研究集会, 龍谷大学瀬田キャンパス, 2019年12月14日.

28. 浅井大晴, 田中一成, 大石進一: 精度保証付き数値計算を用いた Henon 方程式の非対称解の存在証明, 2019年度応用数学合同研究集会, 龍谷大学瀬田キャンパス, 2019年12月13日.

29. 田中一成: 楕円型方程式の弱解に対する正値性証明法, 日本応用数理学会2019年度年会, 東京大学駒場キャンパス, 2019年9月3日～5日.

30. 松嶋佑汰, 田中一成, 大石進一: 空間3次元Allen-Cahn方程式の正値時間大域解に対する精度保証付き数値計算法, 日本応用数理学会2019年度年会, 東京大学駒場キャンパス, 2019年9月3日～5日.

31. 浅井大晴, 田中一成, 大石進一: Henon方程式の非対称解に対する精度保証付き数値計算, 日本応用数理学会2019年度年会, 東京大学駒場キャンパス, 2019年9月3日～5日.

32. 田中一成: 精度保証付き数値計算を用いた楕円型境界値問題の解の符号変化構造解析, 数学と諸分野の連携にむけた若手数学者交流会, 科学技術振興機構(JST)東京本部, 2019年3月16日.

33. 酒井将大, 田中一成, 大石進一: 半線形楕円型境界値問題の高エネルギー解に対する精度保証付き数値計算, 日本応用数理学会2017年度連合発表会, 大阪大学吹田キャンパス, 2018年3月15日～16日.　

34. 松嶋佑汰, 田中一成, 大石進一: 優解劣解法を用いたアレンカーン方程式の解の精度保証付き数値計算, 日本応用数理学会2017年度連合発表会, 大阪大学吹田キャンパス, 2018年3月15日～16日.

35. 若山馨太, 金子直樹, 田中一成, 関根晃太, 尾崎克久, 大石進一: 前処理ソート付き逐次添加法によるドロネー性保証付き三角形分割法, 日本応用数理学会2017年度年会，武蔵野大学 有明キャンパス，2017年9月6日～9月8日．

36. 酒井将大, 田中一成, 大石進一：線形化問題の精度保証を利用した非線形楕円型境界値問題の精度保証結果の改善，日本応用数理学会2016年度連合発表会，電気通信大学，2017年3月6日～7日．

37. 田中一成, 関根晃太, 大石進一：楕円型微分方程式の正値解に対する精度保証付き数値計算法(Verified numerical computation method for positive solutions to elliptic differential equations), RIMS研究集会「現象解明に向けた数値解析学の新展開II」, 2016年10月19日～10月21日 (Invited)．

38. 関根晃太, 田中一成, 大石進一：ある無限次元固有値を用いた楕円型偏微分方程式の解の存在性に対する計算機援用証明法(Computer-assisted proof for existence of solutions to PDEs using an infinite eigenvalue), RIMS研究集会「現象解明に向けた数値解析学の新展開II」, 2016年10月19日～10月21日 (Invited)．

39. 関根晃太, 田中一成, 大石進一：有界な凸領域における連立楕円型偏微分方程式の解の計算機援用存在証明法(Computer assisted existence proof of solutions to system of partial differential equations with bounded convex polygonal domains), The Twenty-Eighth RAMP Symposium, 2016年10月13日～10月14日 (Invited)．

40. 高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一：放物面コンパクト化を用いる常微分方程式の爆発解の数値的検証法，日本応用数理学会2015年度連合発表会，神戸学院大学ポートアイランドキャンパス，2016年3月4日～3月5日．

41. 高安亮紀, 松江要，佐々木多希子，田中一成，水口信，大石進一：Verified numerical enclosure of blow-up time for ODEs，日本数学会2015年度年会，京都産業大学，2015年9月13日～9月16日．

42. 若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一：逐次添加法による三角形分割のDelaunay 性に対する数値的検証法，日本応用数理学会2015年度年会，金沢大学，2015年9月9日～9月11日．

43. 田中一成, 関根晃太, 水口信, 大石進一：楕円型偏微分方程式の解の正値性に対する数値的検証法，日本応用数理学会2015年度年会，金沢大学，2015年9月9日～9月11日．

44. 高安亮紀, 松江要，佐々木多希子，田中一成，水口信，大石進一：常微分方程式の爆発解に対する精度保証付き数値計算，日本応用数理学会2015年度年会，金沢大学，2015年9月9日～9月11日．

45. 田中一成：同次Dirichlet境界条件における埋め込み定数の評価について，第18回環瀬戸内ワークショップ，2015年8月25日～8月26日．

46. 高安亮紀, 松江要，佐々木多希子，田中一成，水口信，大石進一：常微分方程式の解の爆発時刻に対する精度保証付き数値計算,  第44回数値解析シンポジウム, ぶどうの丘, 山梨県甲州市, 2015年6月8日～6月10日.

47. 田中一成，水口信，関根晃太，大石進一：偏微分方程式の解の正値性に対する数値的検証法，CRESTシンポジウム，精度保証付き数値計算の最近の展開，北九州国際会議場，2015年3月8日～3月10日．

48. 高安亮紀, 松江要, 佐々木多希子, 田中一成, 大石進一：ODEの爆発解に対する精度保証付き数値計算，CRESTシンポジウム，精度保証付き数値計算の最近の展開，北九州国際会議場，2015年3月8日～3月10日．

49. 関根晃太，田中一成，高安亮紀，山崎憲：シグマノルムを利用した精度保証付き数値計算法の連立楕円型偏微分方程式への応用，第４７回日本大学生産工学部学術講演会，日本大学，2014年12月6日．

50. 関根晃太，田中一成，高安亮紀，大石進一：重み付きノルムによる特異摂動問題の精度保証付き数値計算結果の改善，日本応用数理学会2014年度年会, 政策研究大学院大学，2014年9月3日～9月5日.

51. 田中一成，水口信，関根晃太，大石進一：An a priori estimation of the Sobolev embedding constant and its application to numerical verification for solutions to PDEs, 第10回日本応用理学会研究部会連合発表会，京都大学吉田キャンパス総合研究８号館， 2014年3月19日～3月20日．

52. 田中一成, 高安亮紀, 劉雪峰, 大石進一：線形楕円型作用素のNeumann条件下における精度保証付き逆作用素ノルム評価, 日本応用数理学会2013年度年会, アクロス福岡, 福岡県福岡市, 2013年9月9日～9月11日.

53. 田中一成, 高安亮紀, 劉雪峰, 大石進一：逆作用素ノルム評価を用いた楕円型Neumann境界値問題の解に対する精度保証付き数値計算, 日本応用数理学会2013年度連合発表会, 東洋大学白山キャンパス, 2013年3月14日～3月15日.

54. 田中一成, 高安亮紀, 劉雪峰, 大石進一：線形楕円型作用素のNeumann条件下における精度保証付き逆作用素ノルム評価, 日本応用数理学会2012年度年会, 稚内全日空ホテル, 北海道稚内市, 2012年8月28日～9月2日.

55. 田中一成, 高安亮紀, 大石進一：ある固有値評価を利用した線形楕円型作用素の逆作用素に対する精度保証付きノルム評価,  第41回数値解析シンポジウム, 伊香保温泉よろこびの宿しん喜, 群馬県渋川市伊香保町, 2012年6月6日～6月8日.

国内学会・シンポジウム（ポスター発表）

1. 田中一成: 精度保証付き数値計算を用いた楕円型境界値問題の解の符号変化構造解析, 数学と諸分野の連携にむけた若手数学者交流会, 科学技術振興機構(JST)東京本部, 2019年3月16日.

2. 田中一成: アレン・カーン方程式の解に対する精度保証付き数値計算，CREST・さきがけ数学関連領域合同シンポジウム ー数学パワーが世界を変える2018ー，富士ソフト秋葉原ビル5Fアキバホール，2018年1月21日．

3. 若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一: 精度保証付きドロネー三角形分割の計算手法に対する考察，数学・数理科学専攻若手研究者のための異分野・異業種研究交流会2016，明治大学中野キャンパス，2016年11月19日．

4. 若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一：Delaunay三角形分割の精度保証付き数値計算手法に対する考察，日本応用数理学会2016年度年会，北九州国際会議場，2016年9月12日～9月14日．

5. 田中一成, 関根晃太, 大石進一：偏微分方程式の正値解に対する精度保証付き数値計算，第3回JST数学領域横断若手合宿，ウェスティンホテル淡路，2016年2月21日～2月23日．

その他（セミナー、アウトリーチ活動）

1. クラウド教育システムCES-Alphaは教育と研究にどう貢献するか？, 武蔵野大学第64回MCMEセミナー, 武蔵野⼤学有明キャンパス, 2024年1月17日. Link

2. Introduction to Verified Numerical Computation, JSTさくらサイエンスプラン, Online, 2021年2月15日. Link

3. 偏微分方程式に対する精度保証付き数値計算と符号変化構造解析への応用, 京都大学応用数学セミナー(KUAMS), 2019年12月17日. Link

4. 早稲田オープン・イノベーション・フォーラム2019 『 計算数理科学（複雑現象解明のための革新的な数値計算法，シミュレーション技術，アルゴリズムの開発）』 2019年3月5日，出典代表．Link