>>215
これは杉浦解析入門244pなのですが、定義は>>187のままです。