(unregistered) (unregistered) 田中一成

… Alternative Names

TANAKA Kazuaki 田中一成

Less

Researcher Number	00801226
Other IDs
Affiliation (Current)	2025: 早稲田大学, 理工学術院, 准教授(任期付)
Affiliation (based on the past Project Information) *help	2023 – 2024: 早稲田大学, 理工学術院, 准教授 2022: 早稲田大学, 理工学術院総合研究所, 次席研究員(研究院講師) 2019 – 2022: 早稲田大学, 理工学術院, 次席研究員(研究院講師) 2018: 早稲田大学, 理工学術院総合研究所, 次席研究員(研究院講師) 2017: 早稲田大学, 理工学術院, 助教
Review Section/Research Field	Principal Investigator Basic Section 12040:Applied mathematics and statistics-related / Foundations of mathematics/Applied mathematics Except Principal Investigator Medium-sized Section 25:Social systems engineering, safety engineering, disaster prevention engineering, and related fields
Keywords	Principal Investigator 反応拡散モデル / 精度保証付き数値計算 / 計算機援用証明 / 三角形分割 / 有限要素法 / 不連続拡散係数 / 符号変化構造解析 / 応用数学 / 正値解 / 偏微分方程式 … More Except Principal Investigator … More 観測ビッグデータ / データ駆動 / 流域治水 / 河川 Less

Elucidation of the stabilisation mechanism of naturally-derived river channel based on observation big data during floods and identification of river channel design indicators
- Principal Investigator
  
  安田浩保
- Project Period (FY)
  2024 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 25:Social systems engineering, safety engineering, disaster prevention engineering, and related fields
- Research Institution
  Niigata University
不連続拡散係数を持つ反応拡散モデルに対する精度保証付き数値計算法Principal Investigator
- Principal Investigator
  
  田中一成
- Project Period (FY)
  2023 – 2025
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  Waseda University
Sign-change structure analysis for reaction-diffusion models based on rigorous numerical computationPrincipal Investigator
- Principal Investigator
  
  Tanaka Kazuaki
- Project Period (FY)
  2019 – 2022
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  Waseda University
Verified numerical computation for solutions to partial differential equations describing reaction diffusion modelsPrincipal Investigator
- Principal Investigator
  
  TANAKA Kazuaki
- Project Period (FY)
  2017 – 2018
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Waseda University

All 2023 2022 2021 2020 2019 2018 2017

All Journal Article Presentation

[Journal Article] Numerical verification for asymmetric solutions of the H?non equation on bounded domains2022
- Author(s)
  Asai Taisei、Tanaka Kazuaki、Oishi Shin’ichi
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 399 Pages: 113708-113708
- DOI
  10.1016/j.cam.2021.113708
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K14601
[Journal Article] A posteriori verification of the positivity of solutions to elliptic boundary value problems2022
- Author(s)
  Tanaka Kazuaki、Asai Taisei
- Journal Title
  
  Partial Differential Equations and Applications
  
  Volume: 3 Issue: 1
- DOI
  10.1007/s42985-021-00143-2
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K14601
[Journal Article] Rigorous Numerical Enclosures for Positive Solutions of Lane?Emden’s Equation with Sub-Square Exponents2022
- Author(s)
  Tanaka Kazuaki、Plum Michael、Sekine Kouta、Kashiwagi Masahide、Oishi Shin’ichi
- Journal Title
  
  Numerical Functional Analysis and Optimization
  
  Volume: 43 Issue: 3 Pages: 322-349
- DOI
  10.1080/01630563.2022.2029485
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K14601
[Journal Article] Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems2022
- Author(s)
  Sekine Kouta、Tanaka Kazuaki、Oishi Shin'ichi
- Journal Title
  
  Computers & Mathematics with Applications
  
  Volume: 106 Pages: 18-26
- DOI
  10.1016/j.camwa.2021.12.002
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K14601
[Journal Article] A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations2021
- Author(s)
  Tanaka Kazuaki
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: - Issue: 3 Pages: 731-756
- DOI
  10.1007/s13160-021-00456-0
- NAID
  210000178465
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K14601
[Journal Article] Numerical verification for positive solutions of Allen–Cahn equation using sub- and super-solution method2020
- Author(s)
  Matsushima Yuta、Tanaka Kazuaki、Oishi Shin’ichi
- Journal Title
  
  Journal of Advanced Simulation in Science and Engineering
  
  Volume: 7 Issue: 1 Pages: 136-150
- DOI
  10.15748/jasse.7.136
- NAID
  130007852293
- ISSN
  2188-5303
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K14601
[Journal Article] Numerical verification method for positive solutions of elliptic problems2020
- Author(s)
  Tanaka Kazuaki
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 370 Pages: 112647-112647
- DOI
  10.1016/j.cam.2019.112647
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K14601
[Journal Article] Improvement of Numerical Verification Results of Semilinear Elliptic Boundary Value Problems2019
- Author(s)
  酒井将大, 田中一成, 大石進一
- Journal Title
  
  Transactions of the Japan Society for Industrial and Applied Mathematics
  
  Volume: 29 Issue: 1 Pages: 17-45
- DOI
  10.11540/jsiamt.29.1_17
- NAID
  130007618980
- ISSN
  2424-0982
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H07188
[Journal Article] Numerical verification method for positivity of solutions to elliptic equations2017
- Author(s)
  Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi
- Journal Title
  
  RIMS Kokyuroku
  
  Volume: 2037 Pages: 125-140
- Open Access
- Data Source
  KAKENHI-PROJECT-17H07188
[Journal Article] Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains2017
- Author(s)
  Mizuguchi Makoto、Tanaka Kazuaki、Sekine Kouta、Oishi Shin’ichi
- Journal Title
  
  Journal of Inequalities and Applications
  
  Volume: 2017 Issue: 1 Pages: 1-18
- DOI
  10.1186/s13660-017-1571-0
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K17651, KAKENHI-PROJECT-17H07188
[Journal Article] ある無限次元固有値を用いた楕円型偏微分方程式の解の存在性に対する計算機援用証明法2017
- Author(s)
  関根晃太, 田中一成, 大石進一
- Journal Title
  
  RIMS Kokyuroku
  
  Volume: 2037 Pages: 96-105
- Open Access
- Data Source
  KAKENHI-PROJECT-17H07188
[Journal Article] Numerical validation of blow-up solutions of ordinary differential equations2017
- Author(s)
  A. Takayasu, K. Matsue, Kaname, T. Sasaki, K. Tanaka, M.Mizuguchi and S. Oishi
- Journal Title
  
  J. Comput. Appl. Math.
  
  Volume: 314 Pages: 10-29
- DOI
  10.1016/j.cam.2016.10.013
- NAID
  120007135196
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16H07288, KAKENHI-PROJECT-15K17596, KAKENHI-PROJECT-17H07188
[Presentation] 楕円型偏微分方程式の解符号検証法といくつかの課題2023
- Author(s)
  田中一成
- Organizer
  科学計算・計測工学連携ワークショップ
- Invited
- Data Source
  KAKENHI-PROJECT-19K14601
[Presentation] Understanding from solution-enclosures - Using elliptic equations as a case study2023
- Author(s)
  Kazuaki Tanaka
- Organizer
  he 42nd JSST Annual International Conference on Simulation Technology (JSST 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K13020
[Presentation] Addressing Open Challenges in Exploring Positivity and Sign-Change in Solutions of Elliptic Equations,2023
- Author(s)
  Kazuaki Tanaka
- Organizer
  Numerical methods for spectral problems: theory and applications(NMSP2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K13020
[Presentation] Batt-Faltenbacher-Horst方程式の解の精度保証付き数値計算2022
- Author(s)
  多田秀介, 浅井大晴, 田中一成, 大石進一
- Organizer
  日本応用数理学会2022年度年会
- Data Source
  KAKENHI-PROJECT-19K14601
[Presentation] 微分方程式に対する精度保証付き数値計算法とニューラルネットワークによる解の包含2022
- Author(s)
  田中一成
- Organizer
  RIMS共同研究（公開型）数値解析が拓く次世代情報社会～エッジから富岳まで～
- Invited
- Data Source
  KAKENHI-PROJECT-19K14601
[Presentation] 楕円型偏微分方程式の解の包含から分かること2022
- Author(s)
  田中一成
- Organizer
  第3回数学と諸分野の連携に向けた若手数学者交流会
- Invited
- Data Source
  KAKENHI-PROJECT-19K14601
[Presentation] Verification of sign-change structure for elliptic partial differential equations2021
- Author(s)
  Kazuaki Tanaka
- Organizer
  The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2020)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K14601
[Presentation] 常微分方程式に対する計算機援用解析2021
- Author(s)
  田中一成
- Organizer
  RIMS共同研究（公開型）「常微分方程式の定性的理論とその応用」
- Invited
- Data Source
  KAKENHI-PROJECT-19K14601
[Presentation] Numerical verification for positive solutions of the Henon equation on some bounded domain2021
- Author(s)
  Taisei Asai, Kazuaki Tanaka, Shin’ichi Oishi
- Organizer
  The 40th JSST Annual International Conference on Simulation Technology (JSST 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K14601
[Presentation] エノン方程式の解に対する正値性検証法2020
- Author(s)
  田中一成
- Organizer
  精度保証付き数値計算の実問題への応用研究集会 (NVR 2020)
- Invited
- Data Source
  KAKENHI-PROJECT-19K14601
[Presentation] A priori error estimates for Poisson's equation with discontinuous coefficients2020
- Author(s)
  田中一成, 中尾充宏
- Organizer
  日本応用数理学会2019年度連合発表会
- Data Source
  KAKENHI-PROJECT-19K14601
[Presentation] 精度保証付き数値計算を用いたHenon方程式の対称性に関する考察2020
- Author(s)
  浅井大晴, 田中一成, 大石進一
- Organizer
  精度保証付き数値計算の実問題への応用研究集会 (NVR 2020)
- Invited
- Data Source
  KAKENHI-PROJECT-19K14601
[Presentation] 精度保証付き数値計算を用いたHenon方程式の多重解の存在証明2020
- Author(s)
  浅井大晴, 田中一成, 大石進一
- Organizer
  日本応用数理学会2020年度年会
- Data Source
  KAKENHI-PROJECT-19K14601
[Presentation] 楕円型境界値問題に対する解符号の事後検証法2020
- Author(s)
  田中一成, 浅井大晴
- Organizer
  日本応用数理学会2020年度年会
- Data Source
  KAKENHI-PROJECT-19K14601
[Presentation] 精度保証付き数値計算を用いた楕円型境界値問題の解の符号変化構造解析2019
- Author(s)
  田中一成
- Organizer
  数学と諸分野の連携にむけた若手数学者交流会
- Data Source
  KAKENHI-PROJECT-17H07188
[Presentation] 楕円型方程式の弱解に対する正値性証明法2019
- Author(s)
  田中一成
- Organizer
  日本応用数理学会2019年度年会
- Data Source
  KAKENHI-PROJECT-19K14601
[Presentation] 精度保証付き数値計算を用いた Henon 方程式の非対称解の存在証明2019
- Author(s)
  浅井大晴, 田中一成, 大石進一
- Organizer
  2019年度応用数学合同研究集会
- Data Source
  KAKENHI-PROJECT-19K14601
[Presentation] Numerical verification for asymmetric solutions of the Henon equation2019
- Author(s)
  Taisei Asai, Kazuaki Tanaka, and Shin’ichi Oish
- Organizer
  The 38th JSST Annual International Conference on Simulation Technology
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K14601
[Presentation] Rigorous solution-enclosures of elliptic problems and its application to the best embedding constants, Minisymposium "Numerical verification methods and their application to differential equations"2019
- Author(s)
  Kazuaki Tanaka, Kouta Sekine
- Organizer
  9th International Congress on Industrial and Applied Mathematics - ICIAM 2019
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K14601
[Presentation] 空間3次元Allen-Cahn方程式の正値時間大域解に対する精度保証付き数値計算法2019
- Author(s)
  松嶋佑汰, 田中一成, 大石進一
- Organizer
  日本応用数理学会2019年度年会
- Data Source
  KAKENHI-PROJECT-19K14601
[Presentation] Numerical verification for positive global-in-time solutions of Allen-Cahn equation in three space dimensions using sub- and super-solution method2019
- Author(s)
  Yuta Matsushima, Kazuaki Tanaka, and Shin’ichi Oishi
- Organizer
  The 38th JSST Annual International Conference on Simulation Technology
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K14601
[Presentation] 優解劣解法を用いた Allen-Cahn 方程式の正値解に対する精度保証付き数値計算2019
- Author(s)
  松嶋佑汰, 田中一成, 大石進一
- Organizer
  2019年度応用数学合同研究集会
- Data Source
  KAKENHI-PROJECT-19K14601
[Presentation] Henon方程式の非対称解に対する精度保証付き数値計算2019
- Author(s)
  浅井大晴, 田中一成, 大石進一
- Organizer
  日本応用数理学会2019年度年会
- Data Source
  KAKENHI-PROJECT-19K14601
[Presentation] アレン・カーン方程式の解に対する精度保証付き数値計算2018
- Author(s)
  田中一成
- Organizer
  CREST・さきがけ数学関連領域合同シンポジウム ―数学パワーが世界を変える2018―
- Data Source
  KAKENHI-PROJECT-17H07188
[Presentation] 優解劣解法を用いたアレンカーン方程式の解の精度保証付き数値計算2018
- Author(s)
  松嶋佑汰, 田中一成, 大石進一
- Organizer
  日本応用数理学会2017年度連合発表会
- Data Source
  KAKENHI-PROJECT-17H07188
[Presentation] Numerical verification method for elliptic problems with sign change information2018
- Author(s)
  Kazuaki Tanaka, Kazunaga Tanaka
- Organizer
  The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H07188
[Presentation] Numerical verification method for positive solutions of Allen-Cahn equation using sub- and super-solution method2018
- Author(s)
  Yuta Matsushima, Kazuaki Tanaka, Shin’ichi Oishi
- Organizer
  The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H07188
[Presentation] 半線形楕円型境界値問題の高エネルギー解に対する精度保証付き数値計算2018
- Author(s)
  酒井将大, 田中一成, 大石進一
- Organizer
  日本応用数理学会2017年度連合発表会
- Data Source
  KAKENHI-PROJECT-17H07188
[Presentation] Estimation of Sobolev embedding constant on a bounded convex domain2018
- Author(s)
  Makoto Mizuguchi, Kazuaki Tanaka, Kouta Sekine, Shin’ichi Oishi
- Organizer
  The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H07188
[Presentation] 前処理ソート付き逐次添加法によるドロネー性保証付き三角形分割法2017
- Author(s)
  若山馨太, 金子直樹, 田中一成, 関根晃太, 尾崎克久, 大石進一
- Organizer
  日本応用数理学会2017年度年会
- Data Source
  KAKENHI-PROJECT-17H07188
[Presentation] Numerical method for estimating the best constant in Sobolev type inequality on unit square2017
- Author(s)
  Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, Shin'ichi Oishi
- Organizer
  The International Workshop on Numerical Verification and its Applications
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H07188
[Presentation] Computer assisted analysis of stationary problem of Allen-Cahn equation2017
- Author(s)
  Shin'ichi Oishi, Kazuaki Tanaka
- Organizer
  International Workshop on Industrial Mathematics 2017
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H07188

1. 安田浩保 (00399354)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
2. 村松正吾 (30295472)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. 早坂圭司 (40377966)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 関根晃太

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
5. 佐々木多希子

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

(unregistered) (unregistered) 田中 一成

TANAKA Kazuaki 田中 一成

Research Projects

Research Products

Co-Researchers

Elucidation of the stabilisation mechanism of naturally-derived river channel based on observation big data during floods and identification of river channel design indicators

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

不連続拡散係数を持つ反応拡散モデルに対する精度保証付き数値計算法Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Sign-change structure analysis for reaction-diffusion models based on rigorous numerical computationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Verified numerical computation for solutions to partial differential equations describing reaction diffusion modelsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Numerical verification for asymmetric solutions of the H?non equation on bounded domains2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] A posteriori verification of the positivity of solutions to elliptic boundary value problems2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Rigorous Numerical Enclosures for Positive Solutions of Lane?Emden’s Equation with Sub-Square Exponents2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations2021

Author(s)

Journal Title

DOI

NAID

Data Source

[Journal Article] Numerical verification for positive solutions of Allen–Cahn equation using sub- and super-solution method2020

Author(s)

Journal Title

DOI

NAID

ISSN

Language

Data Source

[Journal Article] Numerical verification method for positive solutions of elliptic problems2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Improvement of Numerical Verification Results of Semilinear Elliptic Boundary Value Problems2019

Author(s)

Journal Title

DOI

NAID

ISSN

Language

Data Source

[Journal Article] Numerical verification method for positivity of solutions to elliptic equations2017

Author(s)

Journal Title

Data Source

(unregistered) (unregistered) 田中一成

TANAKA Kazuaki 田中一成