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


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

- HoldPatternは,属性HoldAllを持つ.
- 割当て式において左辺が評価されるのと同様に,規則においても通常左辺は評価される.そこでHoldPatternを適用することで,左辺のどの部分でも評価不可にすることができる.
例題
例 (4)
Log[a,b]は自動的に評価されてLog[b]/Log[a]になるので,マッチする:
Cases[e,patt->rhs]は patt にマッチする要素を求める.HoldPatternを使って規則を求める:
関連項目
テクニカルノート
-
▪
- パターンと変換規則 ▪
- 評価 ▪
- パターン,規則,定義の評価
履歴
1996 で導入 (3.0)
テキスト
Wolfram Research (1996), HoldPattern, Wolfram言語関数, https://reference.wolfram.com/language/ref/HoldPattern.html.
CMS
Wolfram Language. 1996. "HoldPattern." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/HoldPattern.html.
APA
Wolfram Language. (1996). HoldPattern. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/HoldPattern.html
BibTeX
@misc{reference.wolfram_2025_holdpattern, author="Wolfram Research", title="{HoldPattern}", year="1996", howpublished="\url{https://reference.wolfram.com/language/ref/HoldPattern.html}", note=[Accessed: 17-September-2025]}
BibLaTeX
@online{reference.wolfram_2025_holdpattern, organization={Wolfram Research}, title={HoldPattern}, year={1996}, url={https://reference.wolfram.com/language/ref/HoldPattern.html}, note=[Accessed: 17-September-2025]}