Talks
Total: 120 Invited: 21 International: 43
※ Bold names indicate the speaker.
International Conferences (Oral) (39)
- Aug 27, 2026Kazuaki 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
- Jul 7, 2026Taisei 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
- Sep 24, 2025Kazuaki 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
- Sep 24, 2025Taisei 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
- Mar 13, 2025Kazuaki 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 more
- Sep 17, 2024Sora Sawai, Kazuaki Tanaka, Katsuhisa Ozaki, Shin'ichi Oishi: PSTV: An Incremental Validator for 2D Delaunay Triangulation, JSST 2024, Kobe, Japan
- Sep 17, 2024Taisei Asai, Kazuaki Tanaka, Shin'ichi Oishi: Numerical verification for multiple positive even solutions for the Hénon-type equation, JSST 2024, Kobe, Japan
- Aug 31, 2023Kazuaki Tanaka: Understanding from solution-enclosures - Using elliptic equations as a case study, JSST 2023
- Aug 27, 2023Kazuaki Tanaka: Addressing Open Challenges in Exploring Positivity and Sign-Change in Solutions of Elliptic Equations, NMSP2023
- Aug 22, 2023Kazuaki Tanaka, Kaname Matsue, Hiroyuki Ochiai: Rigorous solution-enclosures of elliptic boundary value problems between piecewise linear functions, ICIAM2023
- Aug 22, 2023Taisei Asai, Kazuaki Tanaka, Shin'ichi Oishi: Verified Numerical Computations for multiple solutions of the Henon equation, ICIAM2023
- Aug 31, 2022Kazuaki Tanaka, Kohei Yatabe, Taisei Asai, Sora Sawai: Rigorous simulation of reaction-diffusion models with neural networks, JSST 2022, Online
- Mar 17, 2022Kazuaki Tanaka, Kohei Yatabe: Rigorous solution-enclosures of differential equations between sub- and super-solutions constructed by neural networks, ReCAP 2022, Online
- Sep 13, 2021Kazuaki Tanaka: Verification of sign-change structure for elliptic partial differential equations, SCAN 2020, Online Invited
- Sep 2, 2021Kazuaki Tanaka, Mitsuhiro T. Nakao: Constructive a priori error estimates for Poisson's equation with discontinuous coefficients, JSST 2021, Online
- Sep 2, 2021Taisei Asai, Kazuaki Tanaka, Shin'ichi Oishi: Numerical verification for positive solutions of the Hénon equation on some bounded domain, JSST 2021, Online
- Nov 5, 2019Yuta 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
- Nov 5, 2019Taisei Asai, Kazuaki Tanaka, Shin'ichi Oishi: Numerical verification for asymmetric solutions of the Hénon equation, JSST 2019, Miyazaki, Japan
- Aug 22, 2023Kazuaki Tanaka, Kouta Sekine: Rigorous solution-enclosures of elliptic problems and its application to the best embedding constants, ICIAM 2019
- Sep 13, 2018Kazuaki Tanaka, Kazunaga Tanaka: Numerical verification method for elliptic problems with sign change information, SCAN 2018, Waseda University, Tokyo, Japan
- Sep 13, 2018Yuta 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
- Sep 14, 2018Makoto Mizuguchi, Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi: Estimation of Sobolev embedding constant on a bounded convex domain, SCAN 2018, Waseda University, Tokyo, Japan
- May 18, 2017Shin'ichi Oishi, Kazuaki Tanaka: Computer-assisted analysis of stationary problem of Allen-Cahn equation, International Workshop on Industrial Mathematics 2017, Burjassot (València)
- Mar 17, 2017Kazuaki 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
- Feb 5, 2017Shin'ichi Oishi, Kazuaki Tanaka: Verified numerical computation for stationary problem of Allen-Cahn equation, ANXIAM 2017, Hahndorf, South Australia
- Sep 28, 2016Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi: On verified numerical computation for positive solutions to elliptic boundary value problems, SCAN 2016, Uppsala Sweden
- Sep 28, 2016Kouta Sekine, Kazuaki Tanaka, Shin'ichi Oishi: A norm estimation for an inverse of linear operator using a minimal eigenvalue, SCAN 2016, Uppsala Sweden
- Sep 28, 2016Akitoshi 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
- Sep 22, 2016Shin'ichi Oishi, Kazuaki Tanaka: Rigorous numerical inclusions of positive solutions to elliptic problems, International Workshop on Enclosure Methods, Freudenstadt, Germany Invited
- Aug 2, 2016Kouta 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
- Aug 2, 2016Kazuaki 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
- Jul 1, 2016Kaname Matsue, Akitoshi Takayasu, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin'ichi Oishi: Rigorous numerics of blowup solutions for ODEs, The 11th AIMS Conference
- Jun 20, 2016Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi: Numerically verifiable condition for positivity of solution to elliptic equation, The 11th East Asia SIAM, Macao
- Oct 12, 2015Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, Shin'ichi Oishi: Numerical verification for positiveness of solutions to self-adjoint elliptic problems, JSST 2015, Toyama, Japan
- Oct 30, 2014Kazuaki Tanaka, Shin'ichi Oishi: Computer-assisted analysis for solutions to nonlinear elliptic Neumann problems, JSST 2014, Kitakyushu, Japan
- Sep 25, 2014Kazuaki Tanaka, Shin'ichi Oishi: Numerical verification for periodic stationary solutions to the Allen-Cahn equation, SCAN 2014, Würzburg, Germany
- Mar 15, 2014Kazuaki Tanaka, Shin'ichi Oishi: Numerical verification for stationary solutions to the Allen-Cahn equation, INVA 2014, Waseda Univ., Japan
- Sep 13, 2013Kazuaki 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
- Jun 19, 2013Kazuaki 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
Domestic Conferences (Oral) (63)
- Sep 4, 2026眞弓皓一, 小田達郎, 宮島信也, 大林一平, 田中 一成: 数理科学とコントラスト変調中性子散乱の融合が切り拓く多成分系ナノ構造解析, 第75回高分子討論会, 東京理科大学 葛飾キャンパス
- Nov 26, 2025眞弓皓一, 宮島信也, 大林一平, 田中一成: コントラスト変調SANSにおける部分散乱関数推定の高精度化：ベイズ推定の活用, 日本中性子科学会 第25回年会, 理化学研究所
- Nov 7, 2025田中 一成: AI時代の精度保証付き数値計算 ― 計算機援用証明の過去・現在・未来 ―, 岐阜数理科学セミナー, 岐阜市生涯学習センター Invited
- Sep 8, 2025大林一平, 宮島信也, 田中 一成, 眞弓皓一: ガウス過程回帰によるコントラスト変調中性子小角散乱データの部分散乱関数への高精度な分解手法について, 2025年度 統計関連学会連合大会, 関西大学
- Jul 30, 2025田中 一成: 異分野連携の実例：数理✕河川工学のシナジー, 数理・情報と諸科学の連携のための研究会2025, 東京国際フォーラム Invited
58 more
- Dec 5, 2024眞弓皓一, 小田達郎, 宮島信也, 大林一平, 田中一成: コントラスト変調小角中性子散乱測定における部分散乱関数の数理的誤差評価, 日本中性子科学会 第24回年会, 名古屋国際会議場
- Oct 25, 2024浅井大晴, 田中一成, 田中敏, 大石進一: エノン型方程式の解の多重性の考察: 全解探索アプローチの適用, RIMS共同研究「計算科学に資する数値解析学の展開」, 京都大学 Invited
- Sep 16, 2024田中一成, 松江 要, 落合啓之: Green 関数による解包含理論：非凸多次元領域上における Poisson 方程式への適用, 日本応用数理学会2024年度年会, 京都大学
- Sep 16, 2024浅井大晴, 田中一成, 大石進一: 計算機援用によるエノン型方程式の正値対称解の多重性解析, 日本応用数理学会2024年度年会, 京都大学
- Sep 6, 2024田中一成, 柏木雅英, 内藤雄基, 田中敏: 計算機援用によるscalar field方程式の符号変化球対称解の一意性証明, 2024年度日本数学会秋季総合分科会, 大阪大学
- Jul 16, 2024田中一成: 異分野連携の実例：中性子小角散乱法と誤差評価の数理, 数理・情報と諸科学の連携のための研究会, 京都大学 Invited
- Mar 25, 2024田中一成, 松江 要, 落合啓之: 優解劣解による解包含の可能性：楕円型境界値問題を中心に, 北陸応用数理研究会 2024, 石川県政しいのき迎賓館 Invited
- Dec 27, 2023田中一成: 深層学習と精度保証付き数値計算：導入と微分方程式への応用を中心に, 第15回 三部会連携「応用数理セミナー」, Zoom Invited
- Oct 24, 2023田中一成: ニューラルネットワークによる微分方程式解の包含と優解劣解法の再考, 東京大学数値解析セミナー（UTNAS）, 東京大学 Invited
- Oct 19, 2023浅井大晴, 田中一成, 大石進一: エノン型方程式の正値対称解の多重性に関する考察, RIMS共同研究「新時代における高性能科学技術計算法の探究」, 京都大学 Invited
- May 13, 2023田中一成: 深層学習と精度保証付き数値計算, 創発的研究支援事業 融合の場, Zoom Invited
- Mar 8, 2023田中一成, 松江要, 落合啓之: 区分線形関数による優解劣解の構成と楕円型境界値問題への応用, 日本応用数理学会第19回研究部会連合発表会, 岡山理科大学
- Mar 5, 2023田中一成: 楕円型偏微分方程式の解符号検証法といくつかの課題, 科学計算・計測工学連携ワークショップ, ニュー阿寒ホテル Invited
- Oct 13, 2022田中一成: 微分方程式に対する精度保証付き数値計算法とニューラルネットワークによる解の包含, RIMS共同研究 数値解析が拓く次世代情報社会, 京都大学 Invited
- Sep 10, 2022沢井宇宙, 田中一成, 尾崎克久, 大石進一: 2次元領域における三角形分割の事後保証法, 日本応用数理学会2022年度年会, 北海道大学
- Sep 10, 2022多田秀介, 浅井大晴, 田中一成, 大石進一: Batt-Faltenbacher-Horst方程式の解の精度保証付き数値計算, 日本応用数理学会2022年度年会, 北海道大学
- Mar 7, 2022田中一成: 楕円型偏微分方程式の解の包含から分かること, 第3回 数学と諸分野の連携に向けた若手数学者交流会, オンライン Invited
- Nov 27, 2021田中一成: 楕円型境界値問題の自明解の確定条件とその応用, JST/CREST 成果報告会, Zoom
- Nov 11, 2021田中一成: 常微分方程式に対する計算機援用解析, RIMS共同研究 常微分方程式の定性的理論とその応用, Zoom Invited
- Nov 11, 2021浅井大晴, 田中一成, 関根晃太, 大石進一: 精度保証付き数値計算を用いた1次元エノン型方程式に対する分岐解析, RIMS共同研究 常微分方程式の定性的理論とその応用, Zoom Invited
- Sep 9, 2021田中一成, 矢田部浩平: 優解劣解法による微分方程式の解の精度保証法とニューラルネットワーク近似への応用, 日本応用数理学会2021年度年会, Zoom
- Sep 9, 2021浅井大晴, 田中一成, 大石進一: 1次元エノン方程式の分岐図に対する計算機援用解析, 日本応用数理学会2021年度年会, Zoom
- Mar 4, 2021田中一成, 中尾 充宏: 不連続拡散係数を持つ３次元ポアソン方程式の解に対する事前誤差評価, 応用数理学会2021年研究部会連合発表会
- Mar 4, 2021浅井大晴, 田中一成, 大石進一: 特異関数を用いた1次元エノン方程式の解の精度保証付き数値計算, 応用数理学会2021年研究部会連合発表会
- Nov 29, 2020田中一成: エノン方程式の解に対する正値性検証法, NVR 2020 Invited
- Nov 29, 2020浅井大晴, 田中一成, 大石進一: 精度保証付き数値計算を用いたHénon方程式の対称性に関する考察, NVR 2020 Invited
- Sep 10, 2020田中一成, 浅井大晴: 楕円型境界値問題に対する解符号の事後検証法, 日本応用数理学会2020年度年会, Zoom
- Sep 10, 2020浅井大晴, 田中一成, 大石進一: 精度保証付き数値計算を用いたHenon方程式の多重解の存在証明, 日本応用数理学会2020年度年会, Zoom
- Sep 2, 2021田中一成, 中尾充宏: A priori error estimates for Poisson's equation with discontinuous coefficients, 日本応用数理学会2019年度連合発表会, 中央大学, 2020年3月
- Dec 14, 2019松嶋佑汰, 田中一成, 大石進一: 優解劣解法を用いた Allen-Cahn 方程式の正値解に対する精度保証付き数値計算, 2019年度応用数学合同研究集会, 龍谷大学
- Dec 13, 2019浅井大晴, 田中一成, 大石進一: 精度保証付き数値計算を用いた Henon 方程式の非対称解の存在証明, 2019年度応用数学合同研究集会, 龍谷大学
- Sep 2019田中一成: 楕円型方程式の弱解に対する正値性証明法, 日本応用数理学会2019年度年会, 東京大学, 2019年9月
- Sep 2019松嶋佑汰, 田中一成, 大石進一: 空間3次元Allen-Cahn方程式の正値時間大域解に対する精度保証付き数値計算法, 日本応用数理学会2019年度年会, 東京大学, 2019年9月
- Sep 2019浅井大晴, 田中一成, 大石進一: Henon方程式の非対称解に対する精度保証付き数値計算, 日本応用数理学会2019年度年会, 東京大学, 2019年9月
- Mar 16, 2019田中一成: 精度保証付き数値計算を用いた楕円型境界値問題の解の符号変化構造解析, 若手数学者交流会, JST東京本部
- Mar 2018酒井将大, 田中一成, 大石進一: 半線形楕円型境界値問題の高エネルギー解に対する精度保証付き数値計算, 日本応用数理学会2017年度連合発表会, 大阪大学, 2018年3月
- Mar 2018松嶋佑汰, 田中一成, 大石進一: 優解劣解法を用いたアレンカーン方程式の解の精度保証付き数値計算, 日本応用数理学会2017年度連合発表会, 大阪大学, 2018年3月
- Sep 2017若山馨太, 金子直樹, 田中一成, 関根晃太, 尾崎克久, 大石進一: 前処理ソート付き逐次添加法によるドロネー性保証付き三角形分割法, 日本応用数理学会2017年度年会, 武蔵野大学, 2017年9月
- Mar 2017酒井将大, 田中一成, 大石進一: 線形化問題の精度保証を利用した非線形楕円型境界値問題の精度保証結果の改善, 日本応用数理学会2016年度連合発表会, 電気通信大学, 2017年3月
- Oct 2016田中一成, 関根晃太, 大石進一: 楕円型微分方程式の正値解に対する精度保証付き数値計算法, RIMS研究集会「現象解明に向けた数値解析学の新展開II」, 2016年10月 Invited
- Oct 2016関根晃太, 田中一成, 大石進一: ある無限次元固有値を用いた楕円型偏微分方程式の解の存在性に対する計算機援用証明法, RIMS研究集会「現象解明に向けた数値解析学の新展開II」, 2016年10月 Invited
- Oct 2016関根晃太, 田中一成, 大石進一: 有界な凸領域における連立楕円型偏微分方程式の解の計算機援用存在証明法, The Twenty-Eighth RAMP Symposium, 2016年10月 Invited
- Mar 2016高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一: 放物面コンパクト化を用いる常微分方程式の爆発解の数値的検証法, 日本応用数理学会2015年度連合発表会, 神戸学院大学, 2016年3月
- Sep 2015高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一: Verified numerical enclosure of blow-up time for ODEs, 日本数学会2015年度年会, 京都産業大学, 2015年9月
- Sep 2015若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一: 逐次添加法による三角形分割のDelaunay性に対する数値的検証法, 日本応用数理学会2015年度年会, 金沢大学, 2015年9月
- Sep 2015田中一成, 関根晃太, 水口信, 大石進一: 楕円型偏微分方程式の解の正値性に対する数値的検証法, 日本応用数理学会2015年度年会, 金沢大学, 2015年9月
- Sep 2015高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一: 常微分方程式の爆発解に対する精度保証付き数値計算, 日本応用数理学会2015年度年会, 金沢大学, 2015年9月
- Aug 2015田中一成: 同次Dirichlet境界条件における埋め込み定数の評価について, 第18回環瀬戸内ワークショップ, 2015年8月
- Jun 2015高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一: 常微分方程式の解の爆発時刻に対する精度保証付き数値計算, 第44回数値解析シンポジウム, 山梨県甲州市, 2015年6月
- Mar 2015田中一成, 水口信, 関根晃太, 大石進一: 偏微分方程式の解の正値性に対する数値的検証法, CRESTシンポジウム, 北九州国際会議場, 2015年3月
- Mar 2015高安亮紀, 松江要, 佐々木多希子, 田中一成, 大石進一: ODEの爆発解に対する精度保証付き数値計算, CRESTシンポジウム, 北九州国際会議場, 2015年3月
- Dec 2014関根晃太, 田中一成, 高安亮紀, 山崎憲: シグマノルムを利用した精度保証付き数値計算法の連立楕円型偏微分方程式への応用, 第47回日本大学生産工学部学術講演会, 2014年12月
- Sep 2014関根晃太, 田中一成, 高安亮紀, 大石進一: 重み付きノルムによる特異摂動問題の精度保証付き数値計算結果の改善, 日本応用数理学会2014年度年会, 政策研究大学院大学, 2014年9月
- Mar 2014田中一成, 水口信, 関根晃太, 大石進一: An a priori estimation of the Sobolev embedding constant and its application, 第10回日本応用理学会研究部会連合発表会, 京都大学, 2014年3月
- Sep 2013田中一成, 高安亮紀, 劉雪峰, 大石進一: 線形楕円型作用素のNeumann条件下における精度保証付き逆作用素ノルム評価, 日本応用数理学会2013年度年会, アクロス福岡, 2013年9月
- Mar 2013田中一成, 高安亮紀, 劉雪峰, 大石進一: 逆作用素ノルム評価を用いた楕円型Neumann境界値問題の解に対する精度保証付き数値計算, 日本応用数理学会2013年度連合発表会, 東洋大学, 2013年3月
- Aug 2012田中一成, 高安亮紀, 劉雪峰, 大石進一: 線形楕円型作用素のNeumann条件下における精度保証付き逆作用素ノルム評価, 日本応用数理学会2012年度年会, 稚内, 2012年8月
- Jun 2012田中一成, 高安亮紀, 大石進一: ある固有値評価を利用した線形楕円型作用素の逆作用素に対する精度保証付きノルム評価, 第41回数値解析シンポジウム, 群馬県, 2012年6月
Poster Presentations (14)
- Aug 25, 2026Audrey Chen, Chenjian XU, Kazuaki Tanaka: Adaptive Growth Learning Method for Verified Neural Solvers of Differential Equations, EASIAM 2026, Jeju Oriental Hotel, Jeju, South Korea
- May 26, 2026大林一平, 宮島信也, 田中 一成, 眞弓皓一: コントラスト変調小角中性子散乱のベイズ推定・ガウス過程回帰によるデータ解析の信頼性定量化・高精度化, オープンイノベーション Match Up vol.5, 岡山大学創立五十周年記念館, 岡山市
- Mar 12, 2026Audrey Chen, Chenjian XU, Kazuaki Tanaka: Iterative Greedy Backward Pruning in the Adaptive Growth Learning Method, 日本応用数理学会若手の会第11回学生研究発表会, 東京大学本郷キャンパス工学部6号館3階セミナー室AD
- Feb 10, 2026Kazuaki Tanaka, Kohei Yatabe: Rigorous Verification of PINNs: Training Networks for Strict Error Bounds, MLDS 5 & DEDS 2026, Kyoto University
- Nov 12, 2025田中 一成, 矢田部 浩平: ニューラルネットワークによる優解・劣解生成と解の厳密包含, 第28回情報論的学習理論ワークショップ, 那覇
9 more
- Nov 12, 2025Chenjian XU, 田中 一成: Bounding ODE Solutions with Neural Operator–Based Sub- and Super-Solutions, 第28回情報論的学習理論ワークショップ, 那覇
- Sep 3, 2025Chenjian XU, 田中 一成: Rigorous Enclosure of ODE Solutions Using Neural Operator-Based Sub- and Super-Solution, 日本応用数理学会2025年度年会, 東京理科大学
- Mar 8, 2025岩波龍雅, 田中一成, 柏木雅英: 対数型特異性を含む広義2重積分の精度保証法とその応用, 日本応用数理学会若手の会第10回学生研究発表会, 岡山
- Sep 13, 2024岩波龍雅, 田中一成, 柏木雅英: 対数ポテンシャルを含む2重積分の精度保証, Waseda SIAM Student Chapter第1回早大京大合同研究会, 京都大学
- Mar 16, 2019田中一成: 精度保証付き数値計算を用いた楕円型境界値問題の解の符号変化構造解析, 若手数学者交流会, JST東京本部
- Jan 21, 2018田中一成: アレン・カーン方程式の解に対する精度保証付き数値計算, CREST・さきがけ合同シンポジウム, 秋葉原
- Nov 2016若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一: 精度保証付きドロネー三角形分割の計算手法に対する考察, 異分野・異業種研究交流会2016, 明治大学, 2016年11月
- Sep 2016若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一: Delaunay三角形分割の精度保証付き数値計算手法に対する考察, 日本応用数理学会2016年度年会, 北九州, 2016年9月
- Feb 2016田中一成, 関根晃太, 大石進一: 偏微分方程式の正値解に対する精度保証付き数値計算, 第3回JST数学領域横断若手合宿, ウェスティンホテル淡路, 2016年2月
Others (Seminars / Outreach) (4)
- Jan 17, 2024クラウド教育システムCES-Alphaは教育と研究にどう貢献するか？, 武蔵野大学第64回MCMEセミナー, 武蔵野大学
- Feb 15, 2021Introduction to Verified Numerical Computation, JSTさくらサイエンスプラン, Online
- Dec 17, 2019偏微分方程式に対する精度保証付き数値計算と符号変化構造解析への応用, 京都大学応用数学セミナー(KUAMS)
- Mar 5, 2019田中一成: 早稲田オープン・イノベーション・フォーラム2019（出展代表）, 早稲田オープン・イノベーション・フォーラム2019