純関数と規則で使う変数

ModuleやWithを使えば，名前を局所的なものとした特定のシンボルをリストで一括に与えることができる．しかし，場合によっては，特定のシンボルを自動的に局所とすることができると便利である．

例えば，Function[{x}, x+a]のような純関数を使うとき， は，局所的な特定の名前を持つ「仮パラメータ」として扱いたい．同じことは，のような規則や，のような定義に現れる に対しても言える．

Mathematica では一律の処理法が取られるので，純関数のような構成体に現れる仮パラメータは常に局所化された名前を持つ．したがって，大域的な名前と競合することはない．基本的な考えとしては，必要ならば，形を とする名前を持つシンボルで仮パラメータを置換する．規約に従い，は大域変数として使ってはいけない．

Function[vars, body]のようなオブジェクトで使われる仮パラメータは，body が他の純関数の動作により変更されるたびに別の名前に変えられる．

純関数で仮パラメータを使うと，その名前は変更されると説明したが，そのような処理は場合によっては不必要である．基本的に，純関数において仮パラメータの名前が純関数の本体式に代入される式の部分と競合しなければ，特に名前を変更する必要はない．しかし，一律性を維持するため，必要ないときも，仮パラメータの名前は変更される．

「純関数」で説明したように，Mathematica の純関数は形式論理で使われる 式のようなものである．Mathematica では，仮パラメータに対しての名前の変更を行うことで標準 式の機能をすべて実現可能にしている．

スコープ限定構成体

Mathematica には，いくつかの「スコープ（有効範囲）限定のための構成体」を備えている．これらを使うことで，特定の名前を局所化することができる．また，これらの構成体が混ぜて使われるとき，Mathematica は，競合を防ぐように適切な名前の変更を行う．

変換規則はスコープを限定するための構成体として扱われ，そこに与えられるパターンに対する名前は局所的な性格を持つ．名前付きのパターンは，，， 等を使い作成することができる．

のような規則では右辺に現れる は引数パターンに適合する．このため， は規則に対して局所的な変数として扱われる．したがって，別の構成体で を別のスコープに変更することはできない．

これに対して， は規則から見ると局所的なものではないので，別の構成体でそのスコープを変更することが可能である．Mathematica は，競合を避けるためこの規則にあるパターンの名前を変更する．

スコープを限定する構成体にWithを使うと，Mathematica は自動的に適切な名前の変更を行う．しかし，場合によっては，名前の変更をせずに，スコープを限定する構成体の中において代入操作を行いたい．そのようなときは演算子を使う．

のような規則や， のような定義が適用されると，Mathematica は，右辺 rhs にあるすべての x に対して代入操作を施す．この代入操作は，演算子が実効的に使われて行われる．このため，この代入では，スコープ構成体によるスコープが効かなくなってしまう．ただし，あるスコープ構成体の内部のオブジェクトが代入操作により変更されるときは，そのスコープ構成体にある他の変数は名前が変更される．

In[18]:=

In[20]:=