THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.

DOCUMENTATION CENTER SEARCH

Mathematica > コアとなる言語 > 式 > 評価の制御 > HoldPattern >

MATHEMATICA 組込みシンボル

HoldPattern

HoldPattern[expr]
パターンマッチにおいて式 expr に等しいものとして扱われるが，式 expr は評価保留の形に保持する．

割当て式において左辺が評価されるのと同様に，規則においても通常左辺は評価される．そこでHoldPatternを適用することで，左辺のどの部分でも評価不可にすることができる．

左辺が未評価に保たれるパターンを設定する：

このパターンを使う：

の引数が評価されないように定義する：

は自動的に評価されてLog[b]/Log[a]になるので，マッチする：

は patt にマッチする要素を求める．HoldPatternを使って規則を求める：

左辺が未評価に保たれるパターンを設定する：

Out[1]=

このパターンを使う：

Out[2]=

の引数が評価されないように定義する：

Out[2]=

は自動的に評価されてLog[b]/Log[a]になるので，マッチする：

Out[1]=

は patt にマッチする要素を求める．HoldPatternを使って規則を求める：

Out[1]=