置換漏れ
式から定義に変更