Updated on 2025/10/31

写真a

 
TANAKA, Kazuaki
 
Affiliation
Faculty of Science and Engineering, Global Center for Science and Engineering
Job title
Associate Professor(non-tenure-track)
Degree
Ph.D. in Engineering ( 2017.02 Waseda University )
Homepage URL
https://tanaka.s-top.dev/

Research Experience

  • 2023.04
    -
    Now

    Waseda University   Global Center for Science and Engineering, Faculty of Science and Engineering   Associate Professor

  • 2018.04
    -
    2023.03

    Waseda University   Research Institute for Science and Engineering   Assistant Professor

  • 2017.04
    -
    2018.03

    Waseda University   Faculty of Science and Engineering

Education Background

  • 2014.04
    -
    2017.03

    Waseda University   Graduate School of Fundamental Science and Engineering (Doctor course)  

  • 2012.04
    -
    2014.03

    Waseda University   Graduate School of Fundamental Science and Engineering (Master course)  

  • 2008.04
    -
    2012.03

    Waseda University   School of Fundamental Science and Engineering   Department of Applied Mathematics  

Professional Memberships

  • 　
    　
    　

    日本数学会

  • 　
    　
    　

    日本応用数理学会

Research Areas

  • Applied mathematics and statistics

Research Interests

  • Validation Mathematics

  • Deep Learning

  • Partial Differential Equations

  • Rigorous Computation

  • Computer-Assisted Proofs

  • Numerical Analysis

▼display all

Awards

  • 工学教育賞

    2023.02   公益社団法人日本工学教育協会  

  • 第12回WASEDA e-Teaching Award

    2023  

  • Outstanding Presentation Award, The 41st JSST Annual International Conference on Simulation Technology

    2022.11   Japan Society for Simulation Technology (JSST)  

    Winner： Kazuaki TANAKA

  • 船井研究奨励賞

    2022.05   公益財団法人船井情報科学振興財団  

  • 第8回WASEDA e-Teaching Award 大賞

    2020.03  

  • 2016年度大川功記念特別優秀賞

    2016  

    Winner： 田中一成

  • 優秀ポスター賞

    2016   日本応用数理学会2016年度年会  

    Winner： 若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一

  • Student Presentation Award

    2014   JSST 2014 International Conference  

    Winner： Kazuaki Tanaka

  • Student Presentation Award

    2013   JSST 2013 International Conference  

    Winner： Kazuaki Tanaka

▼display all

 

Papers

  • Error evaluation of partial scattering functions obtained from contrast-variation small-angle neutron scattering

    Koichi Mayumi, Tatsuro Oda, Shinya Miyajima, Ippei Obayashi, Kazuaki Tanaka

    Journal of Applied Crystallography   58 ( 1 ) 4 - 17  2025.02  [Refereed]

    　View Summary

    Contrast-variation small-angle neutron scattering (CV-SANS) is a powerful tool to evaluate the structure of multi-component systems by decomposing the scattering intensities I measured with different scattering contrasts into partial scattering functions S of self- and cross-correlations between components. The measured I contains a measurement error ΔI, and ΔI results in an uncertainty in the partial scattering functions ΔS. However, the error propagation from ΔI to ΔS has not been quantitatively clarified. In this work, we have established deterministic and statistical approaches to determine ΔS from ΔI. We have applied the two methods to (i) computational data for a core–shell sphere, and experimental CV-SANS data of (ii) clay/polyethylene glycol aqueous solutions and (iii) polyrotaxane solutions, and have successfully estimated the errors in S. The quantitative error estimation in S offers a strategy to optimize the combination of scattering contrasts to minimize error propagation.

    DOI

  • Enhanced estimation method for partial scattering functions in contrast variation small-angle neutron scattering via Gaussian process with prior knowledge of smoothness

    Ippei Obayashi, Shinya Miyajima, Kazuaki Tanaka, Koichi Mayumi

    Journal of Applied Crystallography    2025  [Refereed]

  • Rigorous numerical enclosures for positive solutions of Lane-Emden's equation with sub-square exponents

    Kazuaki Tanaka, Michael Plum, Kouta Sekine, Masahide Kashiwagi, Shin'ichi Oishi

    Numerical Functional Analysis and Optimization   43 ( 3 ) 322 - 349  2022.04  [Refereed]

    Authorship：Lead author

    　View Summary

    The purpose of this paper is to obtain rigorous numerical enclosures for solutions of Lane-Emden's equation -Delta u = vertical bar u vertical bar(p-1)u with homogeneous Dirichlet boundary conditions. We prove the existence of a nondegenerate solution u nearby a numerically computed approximation (u) over cap together with an explicit error bound, i.e., a bound for the difference between u and (u) over cap: In particular, we focus on the sub-square case in which 1<p<2 so that the derivative p vertical bar u vertical bar(p-1) of the nonlinearity vertical bar u vertical bar(p-1)u is not Lipschitz continuous. In this case, it is problematic to apply the classical Newton-Kantorovich theorem for obtaining the existence proof, and moreover several difficulties arise in the procedures to obtain numerical integrations rigorously. We design a method for enclosing the required integrations explicitly, proving the existence of a desired solution based on a generalized Newton-Kantorovich theorem. A numerical example is presented where an explicit solution-enclosure is obtained for p = 3/2 on the unit square domain Omega = (0, 1)(2).

    DOI

    Scopus

  • A posteriori verification of the positivity of solutions to elliptic boundary value problems

    Kazuaki Tanaka, Taisei Asai

    Partial Differential Equations and Application    2022.03  [Refereed]

    Authorship：Lead author

    DOI

    Scopus

  • Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems

    Kouta Sekine, Kazuaki Tanaka, Shin'ichi Oishi

    Computers & Mathematics with Applications   106   18 - 26  2022.01  [Refereed]

    DOI

    Scopus

    1
    Citation
    (Scopus)

  • Numerical verification for asymmetric solutions of the Hénon equation on bounded domains

    Taisei Asai, Kazuaki Tanaka, Shin’ichi Oishi

    Journal of Computational and Applied Mathematics     113708 - 113708  2021.07  [Refereed]

    DOI

    Scopus

    2
    Citation
    (Scopus)

  • A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations

    Kazuaki Tanaka

    Japan Journal of Industrial and Applied Mathematics    2021.01  [Refereed]

    Authorship：Lead author

    　View Summary

    <title>Abstract</title>This paper proposes a method for rigorously analyzing the sign-change structure of solutions of elliptic partial differential equations subject to one of the three types of homogeneous boundary conditions: Dirichlet, Neumann, and mixed. Given explicitly estimated error bounds between an exact solution <italic>u</italic> and a numerically computed approximate solution <inline-formula><alternatives><tex-math>$${\hat{u } }$$</tex-math><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML">
    <mml:mover>
    <mml:mi>u</mml:mi>
    <mml:mo>^</mml:mo>
    </mml:mover>
    </mml:math></alternatives></inline-formula>, we evaluate the number of sign-changes of <italic>u</italic> (the number of nodal domains) and determine the location of zero level-sets of <italic>u</italic> (the location of the nodal line). We apply this method to the Dirichlet problem of the Allen–Cahn equation. The nodal line of solutions of this equation represents the interface between two coexisting phases.

    DOI

    Scopus

    2
    Citation
    (Scopus)

  • Numerical verification method for positive solutions of elliptic problems

    Kazuaki Tanaka

    Journal of Computational and Applied Mathematics   370   112647 - 112647  2020.05  [Refereed]

    Authorship：Lead author

    DOI

    Scopus

    4
    Citation
    (Scopus)

  • Numerical verification for positive solutions of Allen–Cahn equation using sub- and super-solution method

    Yuta Matsushima, Kazuaki Tanaka, Shin’ichi Oishi

    Journal of Advanced Simulation in Science and Engineering   7 ( 1 ) 136 - 150  2020  [Refereed]

    DOI

  • 半線形楕円型境界値問題の精度保証付き数値計算結果の改善

    酒井将大, 田中一成, 大石進一

    日本応用数理学会論文誌   29 ( 1 ) 17 - 45  2019.03  [Refereed]

  • Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains

    Makoto Mizuguchi, Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi

    JOURNAL OF INEQUALITIES AND APPLICATIONS   299   1 - 18  2017.11  [Refereed]

    　View Summary

    This paper is concerned with an explicit value of the embedding constant from W-1,W- q(Omega) to L-p(Omega) for a domain Omega subset of R-N (N is an element of N), where 1 &lt;= q &lt;= p &lt;=infinity. We previously proposed a formula for estimating the embedding constant on bounded and unbounded Lipschitz domains by estimating the norm of Stein's extension operator. Although this formula can be applied to a domain Omega that can be divided into a finite number of Lipschitz domains, there was room for improvement in terms of accuracy. In this paper, we report that the accuracy of the embedding constant is significantly improved by restricting Omega to a domain dividable into bounded convex domains.

    DOI

    Scopus

    32
    Citation
    (Scopus)

  • Numerical validation of blow-up solutions of ordinary differential equations

    Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin'ichi Oishi

    JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS   314   10 - 29  2017.04  [Refereed]

    　View Summary

    This paper focuses on blow-up solutions of ordinary differential equations (ODEs). We present a method for validating blow-up solutions and their blow-up times, which is based on compactifications and the Lyapunov function validation method. The necessary criteria for this construction can be verified using interval arithmetic techniques. Some numerical examples are presented to demonstrate the applicability of our method. (C) 2016 Elsevier B.V. All rights reserved.

    DOI

    Scopus

    28
    Citation
    (Scopus)

  • Sharp numerical inclusion of the best constant for embedding H-0(1)(Omega) hooked right arrow L-p (Omega) on bounded convex domain

    Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, Shin'ichi Oishi

    JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS   311   306 - 313  2017.02  [Refereed]

    　View Summary

    In this paper, we propose a verified numerical method for obtaining a sharp inclusion of the best constant for the embedding H-0(1)(Omega) hooked right arrow L-p (Omega) on a bounded convex domain in R-2. We estimate the best constant by computing the corresponding extremal function using a verified numerical computation. Verified numerical inclusions of the best constant on a square domain are presented. (C) 2016 Elsevier B.V. All rights reserved.

    DOI

    Scopus

    10
    Citation
    (Scopus)

  • Numerical verification method for positivity of solutions to elliptic equations

    Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi

    RIMS Kokyuroku No.2037, Numerical Analysis: New Developments for Elucidating Interdisciplinary Problems II   ( 2037 ) 125 - 140  2017

    　View Summary

    In this paper, we propose a numerical method for verifying the positivity of solutions to semilinear elliptic equations. We provide a sufficient condition for a solution to an elliptic equation to be positive in the domain of the equation, which can be checked numerically without requiring a complicated computation. We present some numerical examples.

    CiNii

  • Computer-assisted existence proof method for solutions of elliptic partial differential equations using an infinite eigenvalue

      ( 2037 ) 96 - 105  2017

    CiNii

  • Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator

    Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, Shin'ichi Oishi

    JOURNAL OF INEQUALITIES AND APPLICATIONS   389  2015.12  [Refereed]

    　View Summary

    In this paper, we propose a method for estimating the Sobolev-type embedding constant from W-1,W-q(Omega) to L-p(Omega) on a domain Omega subset of R-n (n = 2,3, ... ) with minimally smooth boundary (also known as a Lipschitz domain), where p is an element of(n/(n - 1), infinity) and q = np/(n + p). We estimate the embedding constant by constructing an extension operator from W-1,W-q(Omega) to W-1,W-q(R-n) and computing its operator norm. We also present some examples of estimating the embedding constant for certain domains.

    DOI

    Scopus

    6
    Citation
    (Scopus)

  • Numerical verification of positiveness for solutions to semilinear elliptic problems

    Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, Shin'ichi Oishi

    JSIAM Letters   7   73 - 76  2015  [Refereed]

    DOI

  • Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation

    Kazuaki Tanaka, Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi

    JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS   31 ( 3 ) 665 - 679  2014.11  [Refereed]

    　View Summary

    This paper proposes a verified numerical method of proving the invertibility of linear elliptic operators. This method also provides a verified norm estimation for the inverse operators. This type of estimation is important for verified computations of solutions to elliptic boundary value problems. The proposed method uses a generalized eigenvalue problem to derive the norm estimation. This method has several advantages. Namely, it can be applied to two types of boundary conditions: the Dirichlet type and the Neumann type. It also provides a way of numerically evaluating lower and upper bounds of target eigenvalues. Numerical examples are presented to show that the proposed method provides effective estimations in most cases.

    DOI

    Scopus

    11
    Citation
    (Scopus)

▼display all

Presentations

  • Green's function-based framework for pointwise enclosures: Extending super- and sub-solutions of Poisson's equation

    Kazuaki Tanaka

    The Second French-Japanese Workshop on Numerical Computations (FJWNC 2025)  (Pierre and Marie Curie campus, Sorbonne University, Paris) 

    Presentation date： 2025.03

  • 対数型特異性を含む広義2重積分の精度保証法とその応用: Poisson方程式の解の各点評価

    岩波龍雅, 田中一成, 柏木雅英

    若手の会 第10回学生研究発表会  (岡山国際交流センター) 

    Presentation date： 2025.03

  • コントラスト変調⼩⾓中性⼦散乱測定における部分散乱関数の 数理的誤差評価

    眞弓皓一, 小田達郎, 宮島信也, 大林一平, 田中一成

    ⽇本中性⼦科学会 第 24 回年会  (名古屋国際会議場) 

    Presentation date： 2024.12

  • エノン型⽅程式の解の多重性の考察 : 全解探索アプローチの適⽤

    浅井大晴, 田中一成, 田中敏, 大石進一  [Invited]

    RIMS 共同 研究（公開型）「計算科学に資する数値解析学の展開」  (京都⼤学 数理解析研究所 420 号室) 

    Presentation date： 2024.10

  • PSTV: An Incremental Validator for 2D Delaunay Triangulation

    Sora Sawai, Kazuaki Tanaka, Katsuhisa Ozaki, Shin'ichi Oishi

    The 43rd JSST Annual International Conference on Simulation Technology & The 23rd Asia Simulation Conference (JSST 2024)  (Kobe) 

    Presentation date： 2024.09

  • Green 関数による解包含理論：⾮凸多次元領域上における Poisson ⽅程式への適⽤

    田中一成, 松江要, 落合啓之

    日本応用数理学会2024年度年会  (京都大学) 

    Presentation date： 2024.09

  • 計算機援⽤によるエノン型⽅程式の正値対称解の多重性解析

    浅井大晴, 田中一成, 大石進一

    日本応用数理学会2024年度年会  (京都大学) 

    Presentation date： 2024.09

  • 対数ポテンシャルを含む2重積分の精度保証

    岩波龍雅, 田中一成, 柏木雅英

    Waseda SIAM Student Chapter 第1回 早大京大合同研究会  (京都大学) 

    Presentation date： 2024.09

  • 計算機援⽤による scalar field ⽅程式の符号変化球対称解の⼀意性証明

    田中一成, 柏木雅英, 内藤雄基, 田中敏

    2024 年度⽇本数学会秋季総合分科会  (⼤阪⼤学豊中キャンパス)  大阪大学大学院理学研究科,大阪大学大学院基礎工学研究科,大阪大学大学院情報科学研究科

    Presentation date： 2024.09

  • 異分野連携の実例：中性子小角散乱法と誤差評価の数理

    田中 一成  [Invited]

    数理・情報と諸科学の連携のための研究会  (百周年記念ホール) 

    Presentation date： 2024.07

  • 優解劣解による解包含の可能性：楕円型境界値問題を中心に

    田中 一成, 松江 要, 落合啓之  [Invited]

    北陸応用数理研究会 2024  (石川県政しいのき迎賓館) 

    Presentation date： 2024.03

  • 深層学習と精度保証付き数値計算：導入と微分方程式への応用を中心に

    田中一成  [Invited]

    第15回 三部会連携「応用数理セミナー」  (Zoom) 

    Presentation date： 2023.12

  • ニューラルネットワークによる微分方程式解の包含と優解劣解法の再考

    田中一成  [Invited]

    東京大学数値解析セミナー（UTNAS）  (東京大学) 

    Presentation date： 2023.10

  • エノン型方程式の正値対称解の多重性に関する考察－計算機援用アプローチ

    浅井大晴, 田中一成, 大石進一  [Invited]

    RIMS共同研究（公開型）「新時代における高性能科学技術計算法の探究」  (京都大学 益川ホール) 

    Presentation date： 2023.10

  • Understanding from solution-enclosures - Using elliptic equations as a case study

    Kazuaki Tanaka

    The 42nd JSST Annual International Conference on Simulation Technology (JSST 2023) 

    Presentation date： 2023.08

  • Addressing Open Challenges in Exploring Positivity and Sign-Change in Solutions of Elliptic Equations

    Kazuaki Tanaka

    Numerical methods for spectral problems: theory and applications(NMSP2023) 

    Presentation date： 2023.08

  • Rigorous solution-enclosures of elliptic boundary value problems between piecewise linear functions

    Kazuaki Tanaka, Kaname Matsue, Hiroyuki Ochiai

    10th International Congress on Industrial and Applied Mathematics (ICIAM2023) 

    Presentation date： 2023.08

  • Verified Numerical Computations for multiple solutions of the Henon equation

    Taisei Asai, Kazuaki Tanaka, Shin’ichi Oishi

    10th International Congress on Industrial and Applied Mathematics (ICIAM2023) 

    Presentation date： 2023.08

  • 深層学習と精度保証付き数値計算

    田中一成

    創発的研究支援事業 融合の場 －深層学習がもたらすブレイクスルーと可能性－  (オンライン) 

    Presentation date： 2023.05

  • 区分線形関数による優解劣解の構成と楕円型境界値問題への応用

    田中一成, 松江要, 落合啓之

    日本応用数理学会第19回研究部会連合発表会  (岡山理科大学) 

    Presentation date： 2023.03

  • 楕円型偏微分方程式の解符号検証法といくつかの課題

    田中一成  [Invited]

    科学計算・計測工学連携ワークショップ  (ニュー阿寒ホテル) 

    Presentation date： 2023.03

  • 微分方程式に対する精度保証付き数値計算法とニューラルネットワークによる解の包含

    田中一成  [Invited]

    RIMS共同研究（公開型）数値解析が拓く次世代情報社会～エッジから富岳まで～ 

    Presentation date： 2022.10

  • Batt-Faltenbacher-Horst方程式の解の精度保証付き数値計算

    多田秀介, 浅井大晴, 田中一成, 大石進一

    日本応用数理学会2022年度年会 

    Presentation date： 2022.09

  • 2次元領域における三角形分割の事後保証法

    沢井宇宙, 田中一成, 尾崎克久, 大石進一

    日本応用数理学会2022年度年会 

    Presentation date： 2022.09

  • Rigorous simulation of reaction-diffusion models with neural networks

    Kazuaki Tanaka, Kohei Yatabe, Taisei Asai, Sora Sawai

    The 41st JSST Annual International Conference on Simulation Technology (JSST 2022) 

    Presentation date： 2022.08

  • Rigorous solution-enclosures of differential equations between sub- and super-solutions constructed by neural networks

    Kazuaki Tanaka, Kohei Yatabe

    International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022) 

    Presentation date： 2022.03

  • 楕円型偏微分方程式の解の包含から分かること

    田中一成  [Invited]

    第3回 数学と諸分野の連携に向けた若手数学者交流会 

    Presentation date： 2022.03

  • 楕円型境界値問題の自明解の確定条件とその応用

    田中一成

    JST/CREST「モデリングのための精度保証付き数値計算論の展開」成果報告会（※第5回精度保証付き数値計算の実問題への応用研究集会 (NVR2021)と同時開催） 

    Presentation date： 2021.11

  • 精度保証付き数値計算を用いた1次元エノン型方程式に対する分岐解析

    精度保証付き数値計算を用いた, 次元エノン型方程式に対する分岐解析  [Invited]

    RIMS共同研究（公開型）常微分方程式の定性的理論とその応用 

    Presentation date： 2021.11

  • 常微分方程式に対する計算機援用解析

    田中一成  [Invited]

    RIMS共同研究（公開型）常微分方程式の定性的理論とその応用 

    Presentation date： 2021.11

  • Verification of sign-change structure for elliptic partial differential equations

    Kazuaki Tanaka  [Invited]

    The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2020) 

    Presentation date： 2021.09

  • 1次元エノン方程式の分岐図に対する計算機援用解析

    浅井大晴, 田中一成, 大石進一

    日本応用数理学会2021年度年会 

    Presentation date： 2021.09

  • 優解劣解法による微分方程式の解の精度保証法とニューラルネットワーク近似への応用

    田中一成, 矢田部浩平

    日本応用数理学会2021年度年会 

    Presentation date： 2021.09

  • Numerical verification for positive solutions of the Hénon equation on some bounded domain

    Taisei Asai, Kazuaki Tanaka, Shin’ichi Oishi

    The 40th JSST Annual International Conference on Simulation Technology (JSST 2021) 

    Presentation date： 2021.09

  • Constructive a priori error estimates for Poisson's equation with discontinuous coefficients

    Kazuaki Tanaka, Mitsuhiro T. Nakao

    Kazuaki Tanaka, Mitsuhiro T. Nakao 

    Presentation date： 2021.09

  • 特異関数を用いた1次元エノン方程式の解の精度保証付き数値計算

    浅井大晴, 田中一成, 大石進一

    応用数理学会2021年研究部会連合発表会 

    Presentation date： 2021.03

  • 不連続拡散係数を持つ３次元ポアソン方程式の解に対する事前誤差評価

    田中一成, 中尾 充宏

    応用数理学会2021年研究部会連合発表会 

    Presentation date： 2021.03

  • エノン方程式の解に対する正値性検証法

    田中一成  [Invited]

    精度保証付き数値計算の実問題への応用研究集会 (NVR 2020) 

    Presentation date： 2020.11

  • 精度保証付き数値計算を用いたHénon方程式の対称性に関する考察

    浅井大晴, 田中一成, 大石進一  [Invited]

    精度保証付き数値計算の実問題への応用研究集会 (NVR 2020) 

    Presentation date： 2020.11

  • 楕円型境界値問題に対する解符号の事後検証法

    田中一成, 浅井大晴

    日本応用数理学会2020年度年会 

    Presentation date： 2020.09

  • 精度保証付き数値計算を用いたHenon方程式の多重解の存在証明

    浅井大晴, 田中一成, 大石進一

    日本応用数理学会2020年度年会 

    Presentation date： 2020.09

  • A priori error estimates for Poisson's equation with discontinuous coefficients

    田中一成, 中尾充宏

    日本応用数理学会2019年度連合発表会 

    Event date：
    2020.03
    　
    　

  • 優解劣解法を用いた Allen-Cahn 方程式の正値解に対する精度保証付き数値計算

    松嶋佑汰, 田中一成, 大石進一

    2019年度応用数学合同研究集会 

    Presentation date： 2019.12

  • 精度保証付き数値計算を用いた Henon 方程式の非対称解の存在証明

    浅井大晴, 田中一成, 大石進一

    2019年度応用数学合同研究集会 

    Presentation date： 2019.12

  • Numerical verification for positive global-in-time solutions of Allen-Cahn equation in three space dimensions using sub- and super-solution method

    Yuta Matsushima, Kazuaki Tanaka, Shin’ichi Oishi

    The 38th JSST Annual International Conference on Simulation Technology 

    Presentation date： 2019.11

  • Numerical verification for asymmetric solutions of the Henon equation

    Taisei Asai, Kazuaki Tanaka, Shin’ichi Oishi

    The 38th JSST Annual International Conference on Simulation Technology 

    Presentation date： 2019.11

  • 楕円型方程式の弱解に対する正値性証明法

    田中一成

    日本応用数理学会2019年度年会 

    Event date：
    2019.09
    　
    　

  • 空間3次元Allen-Cahn方程式の正値時間大域解に対する精度保証付き数値計算法

    松嶋佑汰, 田中一成, 大石進一

    日本応用数理学会2019年度年会 

    Event date：
    2019.09
    　
    　

  • Henon方程式の非対称解に対する精度保証付き数値計算

    浅井大晴, 田中一成, 大石進一

    日本応用数理学会2019年度年会 

    Event date：
    2019.09
    　
    　

  • Rigorous solution-enclosures of elliptic problems and its application to the best embedding constants, Minisymposium "Numerical verification methods and their application to differential equations"

    Kazuaki Tanaka, Kouta Sekine

    9th International Congress on Industrial and Applied Mathematics - ICIAM 2019 

    Presentation date： 2019.07

  • 精度保証付き数値計算を用いた楕円型境界値問題の解の符号変化構造解析

    田中一成

    数学と諸分野の連携にむけた若手数学者交流会 

    Presentation date： 2019.03

  • Estimation of Sobolev embedding constant on a bounded convex domain

    Makoto Mizuguchi, Kazuaki Tanaka, Kouta Sekine, Shin’ichi Oishi

    The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2018) 

    Presentation date： 2018.09

  • 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)  (Waseda University, Tokyo, Japan) 

    Presentation date： 2018.09

  • 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)  (Waseda University, Tokyo, Japan) 

    Presentation date： 2018.09

  • 優解劣解法を用いたアレンカーン方程式の解の精度保証付き数値計算

    松嶋佑汰, 田中一成, 大石進一

    日本応用数理学会2017年度連合発表会  (大阪大学吹田キャンパス) 

    Presentation date： 2018.03

  • 半線形楕円型境界値問題の高エネルギー解に対する精度保証付き数値計算

    酒井将大, 田中一成, 大石進一

    日本応用数理学会2017年度連合発表会  (大阪大学吹田キャンパス) 

    Presentation date： 2018.03

  • アレン・カーン方程式の解に対する精度保証付き数値計算

    田中一成

    CREST・さきがけ数学関連領域合同シンポジウム −数学パワーが世界を変える2018−  (富士ソフト秋葉原ビル5Fアキバホール) 

    Presentation date： 2018.01

  • 前処理ソート付き逐次添加法によるドロネー性保証付き三角形分割法

    若山馨太, 金子直樹, 田中一成, 関根晃太, 尾崎克久, 大石進一

    日本応用数理学会2017年度年会  (武蔵野大学 有明キャンパス) 

    Presentation date： 2017.09

  • Computer assisted analysis of stationary problem of Allen-Cahn equation

    Shin'ichi Oishi, Kazuaki Tanaka

    International Workshop on Industrial Mathematics 2017  (Burjassot (Valencia)) 

    Presentation date： 2017.05

  • 線形化問題の精度保証を利用した非線形楕円型境界値問題の精度保証結果の改善

    酒井将大, 田中一成, 大石進一

    日本応用数理学会2016年度連合発表会  (電気通信大学) 

    Presentation date： 2017.03

  • 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  (Miyakojima-island, Okinawa, Japan,) 

    Presentation date： 2017.03

  • Verified numerical computation for stationary problem of Allen-Cahn equation

    Shin'ichi Oishi, Kazuaki Tanaka

    The 53rd meeting of ANXIAM 2017  (Hahndorf, South Australia) 

    Presentation date： 2017.02

  • 精度保証付きドロネー三角形分割の計算手法に対する考察

    若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一

    数学・数理科学専攻若手研究者のための異分野・異業種研究交流会2016  (明治大学中野キャンパス) 

    Presentation date： 2016.11

  • 有界な凸領域における連立楕円型偏微分方程式の解の計算機援用存在証明法

    関根晃太, 田中一成, 大石進一  [Invited]

    The Twenty-Eighth RAMP Symposium 

    Presentation date： 2016.10

  • ある無限次元固有値を用いた楕円型偏微分方程式の解の存在性に対する計算機援用証明法

    関根晃太, 田中一成, 大石進一  [Invited]

    RIMS研究集会「現象解明に向けた数値解析学の新展開II」 

    Presentation date： 2016.10

  • 楕円型微分方程式の正値解に対する精度保証付き数値計算法

    田中一成, 関根晃太, 大石進一  [Invited]

    RIMS研究集会「現象解明に向けた数値解析学の新展開II」 

    Presentation date： 2016.10

  • Delaunay三角形分割の精度保証付き数値計算手法に対する考察

    若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一

    日本応用数理学会2016年度年会  (北九州国際会議場) 

    Presentation date： 2016.09

  • Verified numerical computations for blow-up solutions of ODEs

    Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin’ichi Oishi

    The 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics. （2016） 

    Presentation date： 2016.09

  • 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） 

    Presentation date： 2016.09

  • 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） 

    Presentation date： 2016.09

  • Rigorous numerical inclusions of positive solutions to elliptic problems

    Shin'ichi Oishi, Kazuaki Tanaka  [Invited]

    International Workshop on Enclosure Methods  (Freudenstadt, Germany) 

    Presentation date： 2016.09

  • 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  (Toki Messe, Niigata, Japan) 

    Presentation date： 2016.08

  • 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  (Toki Messe, Niigata, Japan) 

    Presentation date： 2016.08

  • Rigorous numerics of blowup solutions for ODEs

    Kaname Matsue, Akitoshi Takayasu, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin’ichi Oishi

    The 11th AIMS Conference on Dynamical Systems, Differential Equations and Applications 

    Presentation date： 2016.07

  • Numerically verifiable condition for positivity of solution to elliptic equation

    Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi

    The 11th East Asia SIAM 

    Presentation date： 2016.06

  • 放物面コンパクト化を用いる常微分方程式の爆発解の数値的検証法

    高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一

    日本応用数理学会2015年度連合発表会  (神戸学院大学ポートアイランドキャンパス) 

    Presentation date： 2016.03

  • 偏微分方程式の正値解に対する精度保証付き数値計算

    田中一成, 関根晃太, 大石進一

    第3回JST数学領域横断若手合宿  (ウェスティンホテル淡路) 

    Presentation date： 2016.02

  • 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 

    Presentation date： 2015.10

  • 常微分方程式の爆発解に対する精度保証付き数値計算

    高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一

    日本応用数理学会2015年度年会  (金沢大学) 

    Presentation date： 2015.09

  • 楕円型偏微分方程式の解の正値性に対する数値的検証法

    田中一成, 関根晃太, 水口信, 大石進一

    日本応用数理学会2015年度年会  (金沢大学) 

    Presentation date： 2015.09

  • 逐次添加法による三角形分割のDelaunay 性に対する数値的検証法

    若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一

    日本応用数理学会2015年度年会  (金沢大学) 

    Presentation date： 2015.09

  • Verified numerical enclosure of blow-up time for ODEs

    高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一

    日本数学会2015年度年会  (京都産業大学) 

    Presentation date： 2015.09

  • 同次Dirichlet境界条件における埋め込み定数の評価について

    田中一成

    第18会環瀬戸内ワークショップ 

    Presentation date： 2015.08

  • 常微分方程式の解の爆発時刻に対する精度保証付き数値計算

    高安亮紀, 松江要, 佐々木多希子, 田中一成, 水口信, 大石進一

    第44回数値解析シンポジウム  (ぶどうの丘, 山梨県甲州市) 

    Presentation date： 2015.06

  • ODEの爆発解に対する精度保証付き数値計算

    高安亮紀, 松江要, 佐々木多希子, 田中一成, 大石進一

    CRESTシンポジウム，精度保証付き数値計算の最近の展開  (北九州国際会議場) 

    Presentation date： 2015.03

  • 偏微分方程式の解の正値性に対する数値的検証法

    田中一成, 水口信, 関根晃太, 大石進一

    CRESTシンポジウム，精度保証付き数値計算の最近の展開  (北九州国際会議場) 

    Presentation date： 2015.03

  • シグマノルムを利用した精度保証付き数値計算法の連立楕円型偏微分方程式への応用

    関根晃太, 田中一成, 高安亮紀, 山崎憲

    第４７回日本大学生産工学部学術講演会  (日本大学) 

    Presentation date： 2014.12

  • Computer-assisted analysis for solutions to nonlinear elliptic Neumann problems

    Kazuaki Tanaka, Shin'ichi Oishi

    JSST 2014 International Conference on Simulation Technology 

    Presentation date： 2014.10

  • 重み付きノルムによる特異摂動問題の精度保証付き数値計算結果の改善

    関根晃太, 田中一成, 高安亮紀, 大石進一

    日本応用数理学会2014年度年会  (政策研究大学院大学) 

    Presentation date： 2014.09

  • Numerical verification for periodic stationary solutions to the Allen-Cahn equation

    Kazuaki Tanaka, Shin'ichi Oishi

    The16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics(SCAN2014) 

    Presentation date： 2014.09

  • An a priori estimation of the Sobolev embedding constant and its application to numerical verification for solutions to PDEs

    田中一成, 水口信, 関根晃太, 大石進一

    第10回日本応用理学会研究部会連合発表会  (京都大学吉田キャンパス総合研究８号館，) 

    Presentation date： 2014.03

  • Numerical verification for stationary solutions to the Allen-Cahn equation

    Kazuaki Tanaka, Shin'ichi Oishi

    The International Workshop on Numerical Verification and its Applications  (Waseda Univ. Nishiwaseda campus, Japan,) 

    Presentation date： 2014.03

  • 線形楕円型作用素のNeumann条件下における精度保証付き逆作用素ノルム評価

    田中一成, 高安亮紀, 劉雪峰, 大石進一

    日本応用数理学会2013年度年会  (アクロス福岡, 福岡県福岡市) 

    Presentation date： 2013.09

  • 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 

    Presentation date： 2013.09

  • 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 

    Presentation date： 2013.06

  • 逆作用素ノルム評価を用いた楕円型Neumann境界値問題の解に対する精度保証付き数値計算

    田中一成, 高安亮紀, 劉雪峰, 大石進一

    日本応用数理学会2013年度連合発表会  (東洋大学白山キャンパス) 

    Presentation date： 2013.03

  • 線形楕円型作用素のNeumann条件下における精度保証付き逆作用素ノルム評価

    田中一成, 高安亮紀, 劉雪峰, 大石進一

    日本応用数理学会2012年度年会  (稚内全日空ホテル, 北海道稚内市) 

    Presentation date： 2012.08

  • ある固有値評価を利用した線形楕円型作用素の逆作用素に対する精度保証付きノルム評価

    田中一成, 高安亮紀, 大石進一

    第41回数値解析シンポジウム  (伊香保温泉よろこびの宿しん喜, 群馬県渋川市伊香保町) 

    Presentation date： 2012.06

▼display all

Research Projects

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

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research

    Project Year :

    2024.04
    -
    2028.03
     

  • 精度保証付きニューラルネットワーク数値計算理論の確立

    科学技術振興機構 (JST)  創発的研究支援事業

    Project Year :

    2021.04
    -
    2028.03
     

    田中一成

  • 精度保証付き PINNs の開発と実問題への応用

    公益財団法⼈みずほ学術振興財団  第 68 回 ⼯学研究助成

    Project Year :

    2025.04
    -
    2026.09
     

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

    日本学術振興会  科学研究費助成事業

    Project Year :

    2023.04
    -
    2026.03
     

    田中 一成

    　View Summary

    本年度の研究においては、有限要素法における三角形分割の正しさを保証する手法の作成に注力した。
    有限要素法において、三角形分割の正しさ「三角形の集合で重複なく領域全体が覆われていること」は大前提となる条件である、一方、既存の三角形分割を出力するソフトウェアは三角形分割を行う過程における数値計算誤差を完全には把握できておらず、誤った三角形分割を出力することがある。三角形分割は通常数千から数万個の三角形の集合から成るため、誤って作成された三角形分割（重複した三角形）を目視で発見することは一般的に難しい。さらに、特筆すべきことは、Adaptive Mesh Refinement（AMR）のように局所的にメッシュサイズを小さくする場合、浮動小数点数の誤差による影響が顕在化しやすく、より高確率で誤った三角形分割が出力されることである。
    これらを解決するために、1つの三角形分割要素から出発し、隣接する三角形分割を順次追加していく新しい手法であるPolygonal Sequence-driven Triangulation Validator（PSTV）を開発した。
    本アルゴリズムをまとめた論文投稿・公開し、さらに実装プログラムの公開も行った。

  • 急激な温度変化を伴う反応拡散現象に対する精度保証付き数値計算法に関する研究

    公益財団法人 栢森情報科学振興財団  2021年度 研究助成事業

    Project Year :

    2022.01
    -
    2023.12
     

  • 精度保証付き数値計算による反応拡散モデルの解に対する符号変化構造解析

    日本学術振興会  科学研究費助成事業 若手研究

    Project Year :

    2019.04
    -
    2022.03
     

    田中 一成

  • 相分離現象解明のための精度保証付き数値計算法

    公益財団法人 大川情報通信基金  公益財団法人 大川情報通信基金 2020年度 研究助成

    Project Year :

    2021.01
    -
    2021.12
     

    田中一成

  • 反応拡散モデルを記述する偏微分方程式の正値解に対する精度保証付き数値計算法と関連する数学上の問題に関する研究

    Mizuho Foundation for the Promotion of Sciences 

    Project Year :

    2017.04
    -
    2020.03
     

  • Verified numerical computation for solutions to partial differential equations describing reaction diffusion models

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research Grant-in-Aid for Research Activity start-up

    Project Year :

    2017.08
    -
    2019.03
     

    TANAKA Kazuaki

    　View Summary

    This study developed verified numerical computation methods for the following reaction diffusion model
    ∂u/∂t(t,x) = △u(t,x)+f(x,u(t,x)), t∈(0,∞), x∈Ω (1).
    More precisely,the study, especially focusing on the stationary problem with respect to (1), developed a numerical method of enclosing positive solutions in the strict mathematical sense. The method ensures the existence of an exact solution of (1) nearby its numerical approximation with strict error bounds,at the same time guaranteeing the positively of the exact solution in the strict mathematical sense.

▼display all

Misc

  • コンピュータも計算を間違う？－数値計算の精度と誤差－

    田中一成

    日本音響学会誌   78 ( 10 )  2022.10  [Refereed]  [Invited]

    Authorship：Lead author

    Article, review, commentary, editorial, etc. (scientific journal)  

 

Syllabus

▼display all

 

Social Activities

  • クラウド 教育システム CES-Alpha は 教育と 研究にどう貢献するか？

    武蔵野大学 数理工学センター（MCME）  武蔵野⼤学第 64 回 MCME セミナー 

    2024.01
    -
    　

    　View Summary

    CES-Alpha（https://www.ces-alpha.jp/）は、数理・プログラミングに特化したクラウド教育システムであり、2015年に新潟大学・劉 雪峰の手により開発が開始された。このシステムは、ブラウザを通して操作可能なJupyter Labをベースとしたプログラミング教育プラットフォームを提供している。標準的なブラウザとインターネットさえ利用できれば、目的に合わせたプログラミング環境を利用することが可能である。対応しているプログラミング言語はPython、C言語、Java、Octave、Juliaなど多岐にわたる。現在、CES-Alpha開発チームでは、GPTを活用したプログラミング採点補助機能や受講者向けフィードバック機能の開発に取り組んでいる。さらに、CES-Alphaは特徴的な数学演習機能を備えており、独自の数式処理技術により、数式の等価性を確認し、柔軟な自動採点を行うことが可能である。問題文中の変数（パラメータ）をランダムに変化させることで、受講者それぞれに異なる問題を自動的に出題することができる。本講演では、CES-Alphaによって現在までに実現していること、さらに教育現場での具体的な利用例を紹介する。また、開発における課題、そして講演者自身の研究利用に関する体験についても紹介する。本内容は、劉 雪峰（東京女子 大学教授）、齋藤 裕（新潟大学 特任准教授）と共同で構成されたものである。

  • Introduction to Verified Numerical Computation

    JSTさくらサイエンスプラン 

    2021.02
    　
    　

  • 偏微分方程式に対する精度保証付き数値計算と符号変化構造解析への応用

    京都大学応用数学セミナー(KUAMS) 

    2019.12
    　
    　

  • 計算数理科学（複雑現象解明のための革新的な数値計算法，シミュレーション技術，アルゴリズムの開発）

    早稲田オープン・イノベーション・フォーラム 2019 

    2019.03
    　
    　

Academic Activities

▼display all

Sub-affiliation

  • Faculty of Science and Engineering   Graduate School of Fundamental Science and Engineering

Research Institute

  • 2024
    -
    2026

    Waseda Research Institute for Science and Engineering   Concurrent Researcher

Internal Special Research Projects

  • 反応拡散モデルを記述する偏微分方程式の正値解に対する精度保証付き数値計算法

    2017  

    　View Summary

    本研究では反応拡散モデルに対する精度保証付き数値計算手法を開発した。特に正値解を対象とし、真の解を数学的に厳密な意味で数値的に包含する手法を提案した。即ち真の解が数値的に求めた近似解の付近に存在することを具体的な誤差上限と共に保証し、更に正負の怪しい領域における固有値問題を考えることによりその正値性をも数学的に厳密な意味で保証した。