講演

Talks

総数: 120件招待講演: 21件国際発表: 43件

※ 太字が登壇者です。

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

2026.8.27
Kazuaki Tanaka, Kohei Yatabe: Rigorous Solution Enclosures for Differential Equations via Neural-Network-Generated Sub- and Super-Solutions, EASIAM 2026, Jeju Oriental Hotel, Jeju, South Korea
2026.7.7
Taisei Asai, Kazuaki Tanaka, Satoshi Tanaka, Shin'ichi Oishi: Rigorous global search of all solution orbits for nonlinear boundary value problems, The 15th AIMS Conference, School of Philosophy, National and Kapodistrian University of Athens, Greece
2025.9.24
Kazuaki Tanaka, Ryoga Iwanami, Kaname Matsue, Hiroyuki Ochiai: Green-Representable Solutions: Reformulating Sub- and Super-solution Theory for Poisson's Equation, SCAN 2025, the University of Oldenburg, Germany
2025.9.24
Taisei Asai, Kazuaki Tanaka, Satoshi Tanaka, Shin'Ichi Oishi, Ryoga Iwanami, Kaname Matsue, Hiroyuki Ochiai: Verified Computation of All Positive Solutions to a Hénon-Type Boundary Value Problem, SCAN 2025, the University of Oldenburg, Germany
2025.3.13
Kazuaki Tanaka: Green's function-based framework for pointwise enclosures: Extending super- and sub-solutions of Poisson's equation, FJWNC 2025, Sorbonne University, Paris, France

ほか 34 件

2024.9.17
Sora Sawai, Kazuaki Tanaka, Katsuhisa Ozaki, Shin'ichi Oishi: PSTV: An Incremental Validator for 2D Delaunay Triangulation, JSST 2024, Kobe, Japan
2024.9.17
Taisei Asai, Kazuaki Tanaka, Shin'ichi Oishi: Numerical verification for multiple positive even solutions for the Hénon-type equation, JSST 2024, Kobe, Japan
2023.8.31
Kazuaki Tanaka: Understanding from solution-enclosures - Using elliptic equations as a case study, JSST 2023
2023.8.27
Kazuaki Tanaka: Addressing Open Challenges in Exploring Positivity and Sign-Change in Solutions of Elliptic Equations, NMSP2023
2023.8.22
Kazuaki Tanaka, Kaname Matsue, Hiroyuki Ochiai: Rigorous solution-enclosures of elliptic boundary value problems between piecewise linear functions, ICIAM2023
2023.8.22
Taisei Asai, Kazuaki Tanaka, Shin'ichi Oishi: Verified Numerical Computations for multiple solutions of the Henon equation, ICIAM2023
2022.8.31
Kazuaki Tanaka, Kohei Yatabe, Taisei Asai, Sora Sawai: Rigorous simulation of reaction-diffusion models with neural networks, JSST 2022, Online
2022.3.17
Kazuaki Tanaka, Kohei Yatabe: Rigorous solution-enclosures of differential equations between sub- and super-solutions constructed by neural networks, ReCAP 2022, Online
2021.9.13
Kazuaki Tanaka: Verification of sign-change structure for elliptic partial differential equations, SCAN 2020, Online Invited
2021.9.2
Kazuaki Tanaka, Mitsuhiro T. Nakao: Constructive a priori error estimates for Poisson's equation with discontinuous coefficients, JSST 2021, Online
2021.9.2
Taisei Asai, Kazuaki Tanaka, Shin'ichi Oishi: Numerical verification for positive solutions of the Hénon equation on some bounded domain, JSST 2021, Online
2019.11.5
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, JSST 2019, Miyazaki, Japan
2019.11.5
Taisei Asai, Kazuaki Tanaka, Shin'ichi Oishi: Numerical verification for asymmetric solutions of the Hénon equation, JSST 2019, Miyazaki, Japan
2023.8.22
Kazuaki Tanaka, Kouta Sekine: Rigorous solution-enclosures of elliptic problems and its application to the best embedding constants, ICIAM 2019
2018.9.13
Kazuaki Tanaka, Kazunaga Tanaka: Numerical verification method for elliptic problems with sign change information, SCAN 2018, Waseda University, Tokyo, Japan
2018.9.13
Yuta Matsushima, Kazuaki Tanaka, Shin'ichi Oishi: Numerical verification method for positive solutions of Allen-Cahn equation using sub- and super-solution method, SCAN 2018, Waseda University, Tokyo, Japan
2018.9.14
Makoto Mizuguchi, Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi: Estimation of Sobolev embedding constant on a bounded convex domain, SCAN 2018, Waseda University, Tokyo, Japan
2017.5.18
Shin'ichi Oishi, Kazuaki Tanaka: Computer-assisted analysis of stationary problem of Allen-Cahn equation, International Workshop on Industrial Mathematics 2017, Burjassot (València)
2017.3.17
Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, Shin'ichi Oishi: Numerical method for estimating the best constant in Sobolev type inequality on unit square, INVA 2017, Miyakojima-island, Okinawa, Japan
2017.2.5
Shin'ichi Oishi, Kazuaki Tanaka: Verified numerical computation for stationary problem of Allen-Cahn equation, ANXIAM 2017, Hahndorf, South Australia
2016.9.28
Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi: On verified numerical computation for positive solutions to elliptic boundary value problems, SCAN 2016, Uppsala Sweden
2016.9.28
Kouta Sekine, Kazuaki Tanaka, Shin'ichi Oishi: A norm estimation for an inverse of linear operator using a minimal eigenvalue, SCAN 2016, Uppsala Sweden
2016.9.28
Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin'ichi Oishi: Verified numerical computations for blow-up solutions of ODEs, SCAN 2016, Uppsala Sweden
2016.9.22
Shin'ichi Oishi, Kazuaki Tanaka: Rigorous numerical inclusions of positive solutions to elliptic problems, International Workshop on Enclosure Methods, Freudenstadt, Germany Invited
2016.8.2
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, Niigata, Japan
2016.8.2
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, Niigata, Japan
2016.7.1
Kaname Matsue, Akitoshi Takayasu, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin'ichi Oishi: Rigorous numerics of blowup solutions for ODEs, The 11th AIMS Conference
2016.6.20
Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi: Numerically verifiable condition for positivity of solution to elliptic equation, The 11th East Asia SIAM, Macao
2015.10.12
Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, Shin'ichi Oishi: Numerical verification for positiveness of solutions to self-adjoint elliptic problems, JSST 2015, Toyama, Japan
2014.10.30
Kazuaki Tanaka, Shin'ichi Oishi: Computer-assisted analysis for solutions to nonlinear elliptic Neumann problems, JSST 2014, Kitakyushu, Japan
2014.9.25
Kazuaki Tanaka, Shin'ichi Oishi: Numerical verification for periodic stationary solutions to the Allen-Cahn equation, SCAN 2014, Würzburg, Germany
2014.3.15
Kazuaki Tanaka, Shin'ichi Oishi: Numerical verification for stationary solutions to the Allen-Cahn equation, INVA 2014, Waseda Univ., Japan
2013.9.13
Kazuaki Tanaka, Makoto Mizuguchi, Kouta Sekine, Akitoshi Takayasu, Shin'ichi Oishi: Estimation of an embedding constant on Lipschitz domains using extension operators, JSST 2013, Tokyo, Japan
2013.6.19
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

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

2026.9.4
眞弓皓一, 小田達郎, 宮島信也, 大林一平, 田中一成: 数理科学とコントラスト変調中性子散乱の融合が切り拓く多成分系ナノ構造解析, 第75回高分子討論会, 東京理科大学葛飾キャンパス
2025.11.26
眞弓皓一, 宮島信也, 大林一平, 田中一成: コントラスト変調SANSにおける部分散乱関数推定の高精度化：ベイズ推定の活用, 日本中性子科学会第25回年会, 理化学研究所
2025.11.7
田中一成: AI時代の精度保証付き数値計算 ― 計算機援用証明の過去・現在・未来 ―, 岐阜数理科学セミナー, 岐阜市生涯学習センター Invited
2025.9.8
大林一平, 宮島信也, 田中一成, 眞弓皓一: ガウス過程回帰によるコントラスト変調中性子小角散乱データの部分散乱関数への高精度な分解手法について, 2025年度統計関連学会連合大会, 関西大学
2025.7.30
田中一成: 異分野連携の実例：数理✕河川工学のシナジー, 数理・情報と諸科学の連携のための研究会2025, 東京国際フォーラム Invited

ほか 58 件

2024.12.5
眞弓皓一, 小田達郎, 宮島信也, 大林一平, 田中一成: コントラスト変調小角中性子散乱測定における部分散乱関数の数理的誤差評価, 日本中性子科学会第24回年会, 名古屋国際会議場
2024.10.25
浅井大晴, 田中一成, 田中敏, 大石進一: エノン型方程式の解の多重性の考察: 全解探索アプローチの適用, RIMS共同研究「計算科学に資する数値解析学の展開」, 京都大学 Invited
2024.9.16
田中一成, 松江要, 落合啓之: Green 関数による解包含理論：非凸多次元領域上における Poisson 方程式への適用, 日本応用数理学会2024年度年会, 京都大学
2024.9.16
浅井大晴, 田中一成, 大石進一: 計算機援用によるエノン型方程式の正値対称解の多重性解析, 日本応用数理学会2024年度年会, 京都大学
2024.9.6
田中一成, 柏木雅英, 内藤雄基, 田中敏: 計算機援用によるscalar field方程式の符号変化球対称解の一意性証明, 2024年度日本数学会秋季総合分科会, 大阪大学
2024.7.16
田中一成: 異分野連携の実例：中性子小角散乱法と誤差評価の数理, 数理・情報と諸科学の連携のための研究会, 京都大学 Invited
2024.3.25
田中一成, 松江要, 落合啓之: 優解劣解による解包含の可能性：楕円型境界値問題を中心に, 北陸応用数理研究会 2024, 石川県政しいのき迎賓館 Invited
2023.12.27
田中一成: 深層学習と精度保証付き数値計算：導入と微分方程式への応用を中心に, 第15回三部会連携「応用数理セミナー」, Zoom Invited
2023.10.24
田中一成: ニューラルネットワークによる微分方程式解の包含と優解劣解法の再考, 東京大学数値解析セミナー（UTNAS）, 東京大学 Invited
2023.10.19
浅井大晴, 田中一成, 大石進一: エノン型方程式の正値対称解の多重性に関する考察, RIMS共同研究「新時代における高性能科学技術計算法の探究」, 京都大学 Invited
2023.5.13
田中一成: 深層学習と精度保証付き数値計算, 創発的研究支援事業融合の場, Zoom Invited
2023.3.8
田中一成, 松江要, 落合啓之: 区分線形関数による優解劣解の構成と楕円型境界値問題への応用, 日本応用数理学会第19回研究部会連合発表会, 岡山理科大学
2023.3.5
田中一成: 楕円型偏微分方程式の解符号検証法といくつかの課題, 科学計算・計測工学連携ワークショップ, ニュー阿寒ホテル Invited
2022.10.13
田中一成: 微分方程式に対する精度保証付き数値計算法とニューラルネットワークによる解の包含, RIMS共同研究数値解析が拓く次世代情報社会, 京都大学 Invited
2022.9.10
沢井宇宙, 田中一成, 尾崎克久, 大石進一: 2次元領域における三角形分割の事後保証法, 日本応用数理学会2022年度年会, 北海道大学
2022.9.10
多田秀介, 浅井大晴, 田中一成, 大石進一: Batt-Faltenbacher-Horst方程式の解の精度保証付き数値計算, 日本応用数理学会2022年度年会, 北海道大学
2022.3.7
田中一成: 楕円型偏微分方程式の解の包含から分かること, 第3回数学と諸分野の連携に向けた若手数学者交流会, オンライン Invited
2021.11.27
田中一成: 楕円型境界値問題の自明解の確定条件とその応用, JST/CREST 成果報告会, Zoom
2021.11.11
田中一成: 常微分方程式に対する計算機援用解析, RIMS共同研究常微分方程式の定性的理論とその応用, Zoom Invited
2021.11.11
浅井大晴, 田中一成, 関根晃太, 大石進一: 精度保証付き数値計算を用いた1次元エノン型方程式に対する分岐解析, RIMS共同研究常微分方程式の定性的理論とその応用, Zoom Invited
2021.9.9
田中一成, 矢田部浩平: 優解劣解法による微分方程式の解の精度保証法とニューラルネットワーク近似への応用, 日本応用数理学会2021年度年会, Zoom
2021.9.9
浅井大晴, 田中一成, 大石進一: 1次元エノン方程式の分岐図に対する計算機援用解析, 日本応用数理学会2021年度年会, Zoom
2021.3.4
田中一成, 中尾充宏: 不連続拡散係数を持つ３次元ポアソン方程式の解に対する事前誤差評価, 応用数理学会2021年研究部会連合発表会
2021.3.4
浅井大晴, 田中一成, 大石進一: 特異関数を用いた1次元エノン方程式の解の精度保証付き数値計算, 応用数理学会2021年研究部会連合発表会
2020.11.29
田中一成: エノン方程式の解に対する正値性検証法, NVR 2020 Invited
2020.11.29
浅井大晴, 田中一成, 大石進一: 精度保証付き数値計算を用いたHénon方程式の対称性に関する考察, NVR 2020 Invited
2020.9.10
田中一成, 浅井大晴: 楕円型境界値問題に対する解符号の事後検証法, 日本応用数理学会2020年度年会, Zoom
2020.9.10
浅井大晴, 田中一成, 大石進一: 精度保証付き数値計算を用いたHenon方程式の多重解の存在証明, 日本応用数理学会2020年度年会, Zoom
2021.9.2
田中一成, 中尾充宏: A priori error estimates for Poisson's equation with discontinuous coefficients, 日本応用数理学会2019年度連合発表会, 中央大学, 2020年3月
2019.12.14
松嶋佑汰, 田中一成, 大石進一: 優解劣解法を用いた Allen-Cahn 方程式の正値解に対する精度保証付き数値計算, 2019年度応用数学合同研究集会, 龍谷大学
2019.12.13
浅井大晴, 田中一成, 大石進一: 精度保証付き数値計算を用いた Henon 方程式の非対称解の存在証明, 2019年度応用数学合同研究集会, 龍谷大学
2019.9
田中一成: 楕円型方程式の弱解に対する正値性証明法, 日本応用数理学会2019年度年会, 東京大学, 2019年9月
2019.9
松嶋佑汰, 田中一成, 大石進一: 空間3次元Allen-Cahn方程式の正値時間大域解に対する精度保証付き数値計算法, 日本応用数理学会2019年度年会, 東京大学, 2019年9月
2019.9
浅井大晴, 田中一成, 大石進一: Henon方程式の非対称解に対する精度保証付き数値計算, 日本応用数理学会2019年度年会, 東京大学, 2019年9月
2019.3.16
田中一成: 精度保証付き数値計算を用いた楕円型境界値問題の解の符号変化構造解析, 若手数学者交流会, JST東京本部
2018.3
酒井将大, 田中一成, 大石進一: 半線形楕円型境界値問題の高エネルギー解に対する精度保証付き数値計算, 日本応用数理学会2017年度連合発表会, 大阪大学, 2018年3月
2018.3
松嶋佑汰, 田中一成, 大石進一: 優解劣解法を用いたアレンカーン方程式の解の精度保証付き数値計算, 日本応用数理学会2017年度連合発表会, 大阪大学, 2018年3月
2017.9
若山馨太, 金子直樹, 田中一成, 関根晃太, 尾崎克久, 大石進一: 前処理ソート付き逐次添加法によるドロネー性保証付き三角形分割法, 日本応用数理学会2017年度年会, 武蔵野大学, 2017年9月
2017.3
酒井将大, 田中一成, 大石進一: 線形化問題の精度保証を利用した非線形楕円型境界値問題の精度保証結果の改善, 日本応用数理学会2016年度連合発表会, 電気通信大学, 2017年3月
2016.10
田中一成, 関根晃太, 大石進一: 楕円型微分方程式の正値解に対する精度保証付き数値計算法, RIMS研究集会「現象解明に向けた数値解析学の新展開II」, 2016年10月 Invited
2016.10
関根晃太, 田中一成, 大石進一: ある無限次元固有値を用いた楕円型偏微分方程式の解の存在性に対する計算機援用証明法, RIMS研究集会「現象解明に向けた数値解析学の新展開II」, 2016年10月 Invited
2016.10
関根晃太, 田中一成, 大石進一: 有界な凸領域における連立楕円型偏微分方程式の解の計算機援用存在証明法, The Twenty-Eighth RAMP Symposium, 2016年10月 Invited
2016.3
高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一: 放物面コンパクト化を用いる常微分方程式の爆発解の数値的検証法, 日本応用数理学会2015年度連合発表会, 神戸学院大学, 2016年3月
2015.9
高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一: Verified numerical enclosure of blow-up time for ODEs, 日本数学会2015年度年会, 京都産業大学, 2015年9月
2015.9
若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一: 逐次添加法による三角形分割のDelaunay性に対する数値的検証法, 日本応用数理学会2015年度年会, 金沢大学, 2015年9月
2015.9
田中一成, 関根晃太, 水口信, 大石進一: 楕円型偏微分方程式の解の正値性に対する数値的検証法, 日本応用数理学会2015年度年会, 金沢大学, 2015年9月
2015.9
高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一: 常微分方程式の爆発解に対する精度保証付き数値計算, 日本応用数理学会2015年度年会, 金沢大学, 2015年9月
2015.8
田中一成: 同次Dirichlet境界条件における埋め込み定数の評価について, 第18回環瀬戸内ワークショップ, 2015年8月
2015.6
高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一: 常微分方程式の解の爆発時刻に対する精度保証付き数値計算, 第44回数値解析シンポジウム, 山梨県甲州市, 2015年6月
2015.3
田中一成, 水口信, 関根晃太, 大石進一: 偏微分方程式の解の正値性に対する数値的検証法, CRESTシンポジウム, 北九州国際会議場, 2015年3月
2015.3
高安亮紀, 松江要, 佐々木多希子, 田中一成, 大石進一: ODEの爆発解に対する精度保証付き数値計算, CRESTシンポジウム, 北九州国際会議場, 2015年3月
2014.12
関根晃太, 田中一成, 高安亮紀, 山崎憲: シグマノルムを利用した精度保証付き数値計算法の連立楕円型偏微分方程式への応用, 第47回日本大学生産工学部学術講演会, 2014年12月
2014.9
関根晃太, 田中一成, 高安亮紀, 大石進一: 重み付きノルムによる特異摂動問題の精度保証付き数値計算結果の改善, 日本応用数理学会2014年度年会, 政策研究大学院大学, 2014年9月
2014.3
田中一成, 水口信, 関根晃太, 大石進一: An a priori estimation of the Sobolev embedding constant and its application, 第10回日本応用理学会研究部会連合発表会, 京都大学, 2014年3月
2013.9
田中一成, 高安亮紀, 劉雪峰, 大石進一: 線形楕円型作用素のNeumann条件下における精度保証付き逆作用素ノルム評価, 日本応用数理学会2013年度年会, アクロス福岡, 2013年9月
2013.3
田中一成, 高安亮紀, 劉雪峰, 大石進一: 逆作用素ノルム評価を用いた楕円型Neumann境界値問題の解に対する精度保証付き数値計算, 日本応用数理学会2013年度連合発表会, 東洋大学, 2013年3月
2012.8
田中一成, 高安亮紀, 劉雪峰, 大石進一: 線形楕円型作用素のNeumann条件下における精度保証付き逆作用素ノルム評価, 日本応用数理学会2012年度年会, 稚内, 2012年8月
2012.6
田中一成, 高安亮紀, 大石進一: ある固有値評価を利用した線形楕円型作用素の逆作用素に対する精度保証付きノルム評価, 第41回数値解析シンポジウム, 群馬県, 2012年6月

ポスター発表 (14)

2026.8.25
Audrey Chen, Chenjian XU, Kazuaki Tanaka: Adaptive Growth Learning Method for Verified Neural Solvers of Differential Equations, EASIAM 2026, Jeju Oriental Hotel, Jeju, South Korea
2026.5.26
大林一平, 宮島信也, 田中一成, 眞弓皓一: コントラスト変調小角中性子散乱のベイズ推定・ガウス過程回帰によるデータ解析の信頼性定量化・高精度化, オープンイノベーション Match Up vol.5, 岡山大学創立五十周年記念館, 岡山市
2026.3.12
Audrey Chen, Chenjian XU, Kazuaki Tanaka: Iterative Greedy Backward Pruning in the Adaptive Growth Learning Method, 日本応用数理学会若手の会第11回学生研究発表会, 東京大学本郷キャンパス工学部6号館3階セミナー室AD
2026.2.10
Kazuaki Tanaka, Kohei Yatabe: Rigorous Verification of PINNs: Training Networks for Strict Error Bounds, MLDS 5 & DEDS 2026, Kyoto University
2025.11.12
田中一成, 矢田部浩平: ニューラルネットワークによる優解・劣解生成と解の厳密包含, 第28回情報論的学習理論ワークショップ, 那覇

ほか 9 件

2025.11.12
Chenjian XU, 田中一成: Bounding ODE Solutions with Neural Operator–Based Sub- and Super-Solutions, 第28回情報論的学習理論ワークショップ, 那覇
2025.9.3
Chenjian XU, 田中一成: Rigorous Enclosure of ODE Solutions Using Neural Operator-Based Sub- and Super-Solution, 日本応用数理学会2025年度年会, 東京理科大学
2025.3.8
岩波龍雅, 田中一成, 柏木雅英: 対数型特異性を含む広義2重積分の精度保証法とその応用, 日本応用数理学会若手の会第10回学生研究発表会, 岡山
2024.9.13
岩波龍雅, 田中一成, 柏木雅英: 対数ポテンシャルを含む2重積分の精度保証, Waseda SIAM Student Chapter第1回早大京大合同研究会, 京都大学
2019.3.16
田中一成: 精度保証付き数値計算を用いた楕円型境界値問題の解の符号変化構造解析, 若手数学者交流会, JST東京本部
2018.1.21
田中一成: アレン・カーン方程式の解に対する精度保証付き数値計算, CREST・さきがけ合同シンポジウム, 秋葉原
2016.11
若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一: 精度保証付きドロネー三角形分割の計算手法に対する考察, 異分野・異業種研究交流会2016, 明治大学, 2016年11月
2016.9
若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一: Delaunay三角形分割の精度保証付き数値計算手法に対する考察, 日本応用数理学会2016年度年会, 北九州, 2016年9月
2016.2
田中一成, 関根晃太, 大石進一: 偏微分方程式の正値解に対する精度保証付き数値計算, 第3回JST数学領域横断若手合宿, ウェスティンホテル淡路, 2016年2月

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

2024.1.17
クラウド教育システムCES-Alphaは教育と研究にどう貢献するか？, 武蔵野大学第64回MCMEセミナー, 武蔵野大学
2021.2.15
Introduction to Verified Numerical Computation, JSTさくらサイエンスプラン, Online
2019.12.17
偏微分方程式に対する精度保証付き数値計算と符号変化構造解析への応用, 京都大学応用数学セミナー(KUAMS)
2019.3.5
田中一成: 早稲田オープン・イノベーション・フォーラム2019（出展代表）, 早稲田オープン・イノベーション・フォーラム2019