式から新しい変数を導入します。