>>701
これだとうまくいかないということです
g[s_] := (h[x_] := s);
g[x^2 + 3]
Print[h[x]]
Print[h[1]]
結果
3+x^2
3+x^2
となって3が代入されたことにならない
定義の中で定義したいわけです