(Translated by https://www.hiragana.jp/)
[1712.06315] Lusin-type approximation of Sobolev by Lipschitz functions, in Gaussian and $RCD(K,\infty)$ spaces