Discrete Itô Formulas and Their Applications to Stochastic Numerics · wovepaper