HoldForm

HoldForm[expr]

式 expr を未評価の形式に維持して，式 expr のまま出力する．

詳細

  • HoldFormは，通常の評価をせずに式の出力形式を見ることを可能にする．
  • HoldFormには属性HoldAllがあり，引数に対していかなる演算も行わない．
  • HoldFormはReleaseHoldによって削除される． »
  • HoldFormは，デフォルトで，Traceおよび関連関数によって生成され，ToExpressionやExtractのような関数によってラッパーとして挿入されることがある． »
  • expr それ自体は評価されなくても，expr が f[args]の形式で f の上向の値が定義されているならHoldForm[expr]は評価されるかもしれない． »

例題

すべて開くすべて閉じる

例  (3)

ホールドされた形での追加：

未評価の割当て：

未評価のベキ：

ReleaseHoldを適用して式を評価する：

スコープ  (2)

平方和を未評価の形で表示する：

抽出された部分の未評価の形を見る：

アプリケーション  (1)

式とそれを評価したものを表示する：

特性と関係  (8)

HoldFormはラッパーなしで表示する：

FullFormの式を見る：

Holdはホールドされた式をラッパーとともに与える：

Evaluateを使ってHoldFormの引数の評価を強制する：

SequenceスプライスおよびSpliceはHoldFormの中でも実行される：

HoldCompleteFormを使ってそのような変換も抑制する：

上向きの値はHoldForm内でも動作する：

HoldCompleteFormの中では動作しない：

ReleaseHoldはHoldFormの1レベルを削除する：

HoldFormは決して評価されないオブジェクトを与える：

出力をコピーして入力セルにペーストする．1+2はそれでも評価されない：

Deferは，Wolfram言語の入力として明示的に与えられるまで評価が単に延期されるオブジェクトを与える：

出力をコピーして入力セルにペーストする．1+2は評価される：

HoldFormは，式を未評価の形で，すべての部分を非アクティブのまま保持する：

Inactivateはシンボルをアクティブな形式で保持しつつ式を部分的に非アクティブにすることができる：

HoldFormを使ってToExpressionの結果を評価前にフリーズできる：

考えられる問題  (1)

HoldPattern[expr]は，パターンマッチングでは expr に等しいが，exprは未評価の形で保持する：

HoldForm[expr]は，パターンマッチングでは expr には等しくない：

リテラルなHoldForm式だけがマッチする：

Wolfram Research (1988), HoldForm, Wolfram言語関数， https://reference.wolfram.com/language/ref/HoldForm.html.

テキスト

Wolfram Research (1988), HoldForm, Wolfram言語関数， https://reference.wolfram.com/language/ref/HoldForm.html.

CMS

Wolfram Language. 1988. "HoldForm." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/HoldForm.html.

APA

Wolfram Language. (1988). HoldForm. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/HoldForm.html

BibTeX

@misc{reference.wolfram_2025_holdform, author="Wolfram Research", title="{HoldForm}", year="1988", howpublished="\url{https://reference.wolfram.com/language/ref/HoldForm.html}", note=[Accessed: 16-May-2025 ]}

BibLaTeX

@online{reference.wolfram_2025_holdform, organization={Wolfram Research}, title={HoldForm}, year={1988}, url={https://reference.wolfram.com/language/ref/HoldForm.html}, note=[Accessed: 16-May-2025 ]}