2.3.12 逐語的パターンマッチング

逐語的パターンマッチングの作成

変換規則にあるパターンx_はどんな式にもマッチする．

In[1]:= {f[2], f[a], f[x_], f[y_]} /. f[x_] -> x^2

Out[1]=

Verbatimを作用させ，x_を逐語的なパターンに変換してからリストに適用する．そうすると，記述どおりに同じ式だけに規則が適用されることになる．

In[2]:= {f[2], f[a], f[x_], f[y_]} /. f[Verbatim[x_]] -> x^2

Out[2]=