田中 一成

J-GLOBALへ         更新日: 19/01/21 19:40
 
アバター
研究者氏名
田中 一成
 
タナカ カズアキ
URL
https://sites.google.com/site/kazuakitanaka0203/
所属
早稲田大学
部署
理工学術院総合研究所 数理科学研究所
職名
研究院講師
学位
博士(工学)(早稲田大学)
科研費研究者番号
00801226

研究分野

 
 

経歴

 
2018年4月
 - 
現在
早稲田大学 理工学術院総合研究所 数理科学研究所 研究院講師
 
2017年4月
 - 
2018年3月
早稲田大学 理工学術院 基幹理工学部 応用数理学科 助教
 

学歴

 
2014年4月
 - 
2017年3月
早稲田大学大学院 基幹理工学研究科 数学応用数理専攻(博士後期課程)
 
2012年4月
 - 
2014年3月
早稲田大学大学院 基幹理工学研究科 数学応用数理専攻(修士課程)
 
2008年4月
 - 
2012年3月
早稲田大学 基幹理工学部 応用数理学科
 

受賞

 
2016年
2016年度大川功記念特別優秀賞
 
2016年
日本応用数理学会2016年度年会 優秀ポスター賞
受賞者: 若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一
 
2014年
JSST 2014 International Conference Student Presentation Award
 
2013年
JSST 2014 International Conference Student Presentation Award
 

論文

 
Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, and Shin'ichi Oishi
Journal of Computational and Applied Mathematics   311 306-313   2017年   [査読有り]
Makoto Mizuguchi, Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi
Journal of Inequalities and Applications   299    2017年   [査読有り]
Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, and Shin'ichi Oishi
Journal of Computational and Applied Mathematics   314 10-29   2017年   [査読有り]
Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi
RIMS Kokyuroku No.2037, Numerical Analysis: New Developments for Elucidating Interdisciplinary Problems II   117-125   2017年
関根晃太, 田中一成, 大石進一
京都大学数理解析研究所講究録 No.2037,現象解明に向けた数値解析学の新展開 II   86-96   2017年
Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, and Shin'ichi Oishi
JSIAM Letters   7 73-76   2015年   [査読有り]
Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, and Shin'ichi Oishi
Journal of Inequalities and Applications   389    2015年   [査読有り]
Kazuaki Tanaka, Akitoshi Takayasu, Xuefeng Liu, and Shin'ichi Oishi
Japan Journal of Industrial and Applied Mathematics   31 665-679   2014年   [査読有り]
半線形楕円型境界値問題の精度保証付き数値計算結果の改善
酒井将大, 田中一成, 大石進一
   [査読有り]
Verified numerical computation for semilinear elliptic problems with lack of Lipschitz continuity of the first derivative
Kazuaki Tanaka, Michael Plum, Kouta Sekine, Masahide Kashiwagi, and Shin'ichi Oishi
   [査読有り]

講演・口頭発表等

 
Numerical verification method for elliptic problems with sign change information
Kazuaki Tanaka, Kazunaga Tanaka
The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2018)   2018年9月   
Numerical verification method for positive solutions of Allen-Cahn equation using sub- and super-solution method
Yuta Matsushima, Kazuaki Tanaka, Shin’ichi Oishi
The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2018)   2018年9月   
Estimation of Sobolev embedding constant on a bounded convex domain
Makoto Mizuguchi, Kazuaki Tanaka, Kouta Sekine and Shin’ichi Oishi
The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2018)   2018年9月   
優解劣解法を用いたアレンカーン方程式の解の精度保証付き数値計算
松嶋佑汰, 田中一成, 大石進一
日本応用数理学会2017年度連合発表会   2018年3月   
半線形楕円型境界値問題の高エネルギー解に対する精度保証付き数値計算
酒井将大, 田中一成, 大石進一
日本応用数理学会2017年度連合発表会   2018年3月   
アレン・カーン方程式の解に対する精度保証付き数値計算
田中一成
CREST・さきがけ数学関連領域合同シンポジウム −数学パワーが世界を変える2018−   2018年1月   
前処理ソート付き逐次添加法によるドロネー性保証付き三角形分割法
若山馨太,金子直樹,田中一成, 関根晃太,尾崎克久, 大石進一
日本応用数理学会2017年度年会   2017年9月   
Computer assisted analysis of stationary problem of Allen-Cahn equation
Shin'ichi Oishi, Kazuaki Tanaka
International Workshop on Industrial Mathematics 2017   2017年5月   
線形化問題の精度保証を利用した非線形楕円型境界値問題の精度保証結果の改善
酒井将大, 田中一成, 大石進一
日本応用数理学会2016年度連合発表会   2017年3月   
Numerical method for estimating the best constant in Sobolev type inequality on unit square
Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, Shin'ichi Oishi
The International Workshop on Numerical Verification and its Applications   2017年3月   
Verified numerical computation for stationary problem of Allen-Cahn equation
Shin'ichi Oishi, Kazuaki Tanaka
The 53rd meeting of ANXIAM 2017   2017年2月   
精度保証付きドロネー三角形分割の計算手法に対する考察
若山馨太,田中一成,関根晃太,尾崎克久,大石進一
数学・数理科学専攻若手研究者のための異分野・異業種研究交流会2016   2016年11月   
有界な凸領域における連立楕円型偏微分方程式の解の計算機援用存在証明法 [招待有り]
関根晃太,田中一成,大石進一
The Twenty-Eighth RAMP Symposium   2016年10月   
ある無限次元固有値を用いた楕円型偏微分方程式の解の存在性に対する計算機援用証明法 [招待有り]
関根晃太,田中一成,大石進一
RIMS研究集会「現象解明に向けた数値解析学の新展開II」   2016年10月   
楕円型微分方程式の正値解に対する精度保証付き数値計算法 [招待有り]
田中一成,関根晃太,大石進一
RIMS研究集会「現象解明に向けた数値解析学の新展開II」   2016年10月   
Delaunay三角形分割の精度保証付き数値計算手法に対する考察
若山馨太,田中一成,関根晃太,尾崎克久,大石進一
日本応用数理学会2016年度年会   2016年9月   
Verified numerical computations for blow-up solutions of ODEs
Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, and Shin’ichi Oishi
The 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics. (2016)   2016年9月   
A norm estimation for an inverse of linear operator using a minimal eigenvalue
Kouta Sekine, Kazuaki Tanaka, Shin'ichi Oishi
The 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics. (2016)   2016年9月   
On verified numerical computation for positive solutions to elliptic boundary value problems
Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi
The 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics. (2016)   2016年9月   
Rigorous numerical inclusions of positive solutions to elliptic problems [招待有り]
Shin'ichi Oishi, Kazuaki Tanaka
International Workshop on Enclosure Methods   2016年9月   
On verified numerical computation for elliptic Dirichlet boundary value problems using sub- and super-solution method
Kazuaki Tanaka, Shin'ichi Oishi
The fifth Asian conference on Nonlinear Analysis and Optimization   2016年8月   
Estimation for optimal constant satisfying an inequality for linear operator using minimal eigenvalue
Kouta Sekine, Kazuaki Tanaka, Shin'ichi Oishi
The fifth Asian conference on Nonlinear Analysis and Optimization   2016年8月   
Rigorous numerics of blowup solutions for ODEs
Kaname Matsue, Akitoshi Takayasu, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, and Shin’ichi Oishi
The 11th AIMS Conference on Dynamical Systems, Differential Equations and Applications   2016年7月   
Numerically verifiable condition for positivity of solution to elliptic equation
Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi
The 11th East Asia SIAM   2016年6月   
放物面コンパクト化を用いる常微分方程式の爆発解の数値的検証法
高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一
日本応用数理学会2015年度連合発表会   2016年3月   
偏微分方程式の正値解に対する精度保証付き数値計算
田中一成, 関根晃太, 大石進一
第3回JST数学領域横断若手合宿   2016年2月   
Numerical verification for positiveness of solutions to self-adjoint elliptic problems
Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, Shin'ichi Oishi
JSST 2015 International Conference on Simulation Technology   2015年10月   
常微分方程式の爆発解に対する精度保証付き数値計算
高安亮紀, 松江要,佐々木多希子,田中一成,水口信,大石進一
日本応用数理学会2015年度年会   2015年9月   
楕円型偏微分方程式の解の正値性に対する数値的検証法
田中一成, 関根晃太, 水口信, 大石進一
日本応用数理学会2015年度年会   2015年9月   
逐次添加法による三角形分割のDelaunay 性に対する数値的検証法
若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一
日本応用数理学会2015年度年会   2015年9月   
Verified numerical enclosure of blow-up time for ODEs
高安亮紀, 松江要,佐々木多希子,田中一成,水口信,大石進一
日本数学会2015年度年会   2015年9月   
同次Dirichlet境界条件における埋め込み定数の評価について
田中一成
第18会環瀬戸内ワークショップ   2015年8月   
常微分方程式の解の爆発時刻に対する精度保証付き数値計算
高安亮紀, 松江要,佐々木多希子,田中一成,水口信,大石進一
第44回数値解析シンポジウム   2015年6月   
ODEの爆発解に対する精度保証付き数値計算
高安亮紀, 松江要, 佐々木多希子, 田中一成, 大石進一
CRESTシンポジウム,精度保証付き数値計算の最近の展開   2015年3月   
偏微分方程式の解の正値性に対する数値的検証法
田中一成,水口信,関根晃太,大石進一
CRESTシンポジウム,精度保証付き数値計算の最近の展開   2015年3月   
シグマノルムを利用した精度保証付き数値計算法の連立楕円型偏微分方程式への応用
関根晃太,田中一成,高安亮紀,山崎憲
第47回日本大学生産工学部学術講演会   2014年12月   
Computer-assisted analysis for solutions to nonlinear elliptic Neumann problems
Kazuaki Tanaka and Shin'ichi Oishi
JSST 2014 International Conference on Simulation Technology   2014年10月   
重み付きノルムによる特異摂動問題の精度保証付き数値計算結果の改善
関根晃太,田中一成,高安亮紀,大石進一
日本応用数理学会2014年度年会   2014年9月   
Numerical verification for periodic stationary solutions to the Allen-Cahn equation
Kazuaki Tanaka and Shin'ichi Oishi
The16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics(SCAN2014)   2014年9月   
An a priori estimation of the Sobolev embedding constant and its application to numerical verification for solutions to PDEs
田中一成,水口信,関根晃太,大石進一
第10回日本応用理学会研究部会連合発表会   2014年3月   
Numerical verification for stationary solutions to the Allen-Cahn equation
Kazuaki Tanaka and Shin'ichi Oishi
The International Workshop on Numerical Verification and its Applications   2014年3月   
線形楕円型作用素のNeumann条件下における精度保証付き逆作用素ノルム評価
田中一成, 高安亮紀, 劉雪峰, 大石進一
日本応用数理学会2013年度年会   2013年9月   
Estimation of an embedding constant on Lipschitz domains using extension operators
Kazuaki Tanaka, Makoto Mizuguchi, Kouta Sekine, Akitoshi Takayasu, Shin'ichi Oishi
JSST 2013 International Conference on Simulation Technology   2013年9月   
Verified norm estimation for the inverse of linear elliptic operators and its application
Kazuaki Tanaka, Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi
The 9th East Asia SIAM   2013年6月   
逆作用素ノルム評価を用いた楕円型Neumann境界値問題の解に対する精度保証付き数値計算
田中一成, 高安亮紀, 劉雪峰, 大石進一
日本応用数理学会2013年度連合発表会   2013年3月   
線形楕円型作用素のNeumann条件下における精度保証付き逆作用素ノルム評価
田中一成, 高安亮紀, 劉雪峰, 大石進一
日本応用数理学会2012年度年会   2012年8月   
ある固有値評価を利用した線形楕円型作用素の逆作用素に対する精度保証付きノルム評価
田中一成, 高安亮紀, 大石進一
第41回数値解析シンポジウム   2012年6月   

競争的資金等の研究課題

 
反応拡散モデルを記述する偏微分方程式の正値解に対する精度保証付き数値計算法
日本学術振興会: 科学研究費助成事業
研究期間: 2017年 - 2019年    代表者: 田中 一成