TANAKA Kazuaki

J-GLOBAL         Last updated: May 11, 2019 at 16:41
 
Avatar
Name
TANAKA Kazuaki
Affiliation
Waseda University
Section
Faculty of Science and Engineering
Research funding number
00801226

Research Areas

 
 

Education

 
Apr 2014
 - 
Mar 2017
Graduate School of Fundamental Science and Engineering (Doctor course), Waseda University
 
Apr 2012
 - 
Mar 2014
Graduate School of Fundamental Science and Engineering (Master course), Waseda University
 
Apr 2008
 - 
Mar 2012
Department of Applied Mathematics, School of Fundamental Science and Engineering, Waseda University
 

Awards & Honors

 
2014
Student Presentation Award, JSST 2014 International Conference
Winner: Kazuaki Tanaka
 
2013
Student Presentation Award, JSST 2014 International Conference
Winner: Kazuaki Tanaka
 

Published Papers

 
Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi
RIMS Kokyuroku No.2037, Numerical Analysis: New Developments for Elucidating Interdisciplinary Problems II   125-140   2017
Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, and Shin'ichi Oishi
Journal of Computational and Applied Mathematics   311 306-313   2017   [Refereed]
Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, and Shin'ichi Oishi
Journal of Computational and Applied Mathematics   314 10-29   2017   [Refereed]
Makoto Mizuguchi, Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi
Journal of Inequalities and Applications   299    2017   [Refereed]
Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, and Shin'ichi Oishi
JSIAM Letters   7 73-76   2015   [Refereed]
Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, and Shin'ichi Oishi
Journal of Inequalities and Applications   389    2015   [Refereed]
Kazuaki Tanaka, Akitoshi Takayasu, Xuefeng Liu, and Shin'ichi Oishi
Japan Journal of Industrial and Applied Mathematics   31 665-679   2014   [Refereed]
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
   [Refereed]

Conference Activities & Talks

 
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)   Sep 2018   
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)   Sep 2018   
Computer assisted analysis of stationary problem of Allen-Cahn equation
Shin'ichi Oishi, Kazuaki Tanaka
International Workshop on Industrial Mathematics 2017   May 2017   
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   Mar 2017   
Verified numerical computation for stationary problem of Allen-Cahn equation
Shin'ichi Oishi, Kazuaki Tanaka
The 53rd meeting of ANXIAM 2017   Feb 2017   
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)   Sep 2016   
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)   Sep 2016   
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)   Sep 2016   
Rigorous numerical inclusions of positive solutions to elliptic problems [Invited]
Shin'ichi Oishi, Kazuaki Tanaka
International Workshop on Enclosure Methods   Sep 2016   
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   Aug 2016   
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   Aug 2016   
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   Jul 2016   
Numerically verifiable condition for positivity of solution to elliptic equation
Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi
The 11th East Asia SIAM   Jun 2016   
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   Oct 2015   
Computer-assisted analysis for solutions to nonlinear elliptic Neumann problems
Kazuaki Tanaka and Shin'ichi Oishi
JSST 2014 International Conference on Simulation Technology   Oct 2014   
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)   Sep 2014   
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   Mar 2014   
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   Sep 2013   
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   Jun 2013   
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)   Sep 2018