それって定数伝播・畳み込みというやつですか？