WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

DownValues[f]

シンボル f に定義されたすべての下向きの値（f[…]についての値）に対応する変換規則をリスト形式で返す．

DownValues["symbol"]

"symbol"という名前のシンボルが存在する場合に，このシンボルについて定義されたすべての下向きの値に対応する変換規則のリストを与える．

詳細とオプション
Details and Options Details and Options
例題  
例  
スコープ  
アプリケーション  
特性と関係  
関連項目
テクニカルノート
関連するガイド
履歴
引用書式

DownValues

DownValues[f]

シンボル f に定義されたすべての下向きの値（f[…]についての値）に対応する変換規則をリスト形式で返す．

DownValues["symbol"]

"symbol"という名前のシンボルが存在する場合に，このシンボルについて定義されたすべての下向きの値に対応する変換規則のリストを与える．

詳細とオプション

  • DownValues[f]=list の形式の割当てをすることで f の下向きの値を指定することができる．
  • DownValuesによって返されたリストは，HoldPattern[lhs]:>rhs という形式の要素を持つ．

例題

すべて開く すべて閉じる

例  (1)

関数fの値を定義する：

Wolfram Language code: f[1] = 2;
Wolfram Language code: f[2] = 3;
Wolfram Language code: f[x_] := x ^ 2

次は，fと関連付けられた下向きの値である：

Wolfram Language code: DownValues[f]

スコープ  (3)

DownValuesはシンボルに与えられた定義に対応する規則を返す：

Wolfram Language code: f[x_] := x ^ 2
Wolfram Language code: DownValues[f]

いくつかの関数を作成する：

Wolfram Language code: f[x_] := x g[x_] := x ^ 2 fg[x_] := f[g[x]]

名前がfで始まる関数の下向きの値を入手する：

Wolfram Language code: DownValues /@ Names["f*"]

DownValuesは直接値を設定するのに使うことができる：

Wolfram Language code: DownValues[g] = {HoldPattern[g[1]] :> 1, HoldPattern[g[x_]] :> 2g[x - 1]};
Wolfram Language code: Definition[g]
Wolfram Language code: g[5]

アプリケーション  (2)

結果の規則は与えられた順序になる：

Wolfram Language code: f[x_ /; x > -2] := g1[x] f[x_ /; x < 2] := g2[x]
Wolfram Language code: DownValues[f]
Wolfram Language code: f[0]

定義の順序を変える：

Wolfram Language code: DownValues[f] = Reverse[DownValues[f]]
Wolfram Language code: f[0]

シンボルの定義を他のシンボルにコピーする：

Wolfram Language code: f[1] = 1; f[x_] := 2f[x - 1]
Wolfram Language code: DownValues[g] = DownValues[f] /. f -> g
Wolfram Language code: g[10]
Wolfram Language code: % == f[10]

特性と関係  (5)

値は即時的割当てでも遅延的割当てでも定義できる：

Wolfram Language code: f[1] = 1; f[n_] := n * f[n - 1]
Wolfram Language code: DownValues[f]

HoldPatternを使って規則をその定義から保護することができる：

Wolfram Language code: f[x_] := x ^ 2
Wolfram Language code: DownValues[f]

HoldPatternがないと，左辺が評価されてしまう：

Wolfram Language code: f[x_] :> x ^ 2

指定されたシンボルが存在しないとき，DownValues["sym"]はメッセージを出す：

Wolfram Language code: DownValues["f"]

シンボルが存在はするが定義がないときは，空リストが返される：

Wolfram Language code: f; DownValues["f"]

DefinitionとInformationは下向きの値を表示するがそれを値としては返さない：

Wolfram Language code: f[x_] := x ^ 3
Wolfram Language code: Definition[f]
Wolfram Language code: %//FullForm

DownValuesはプログラムで使える値を返す：

Wolfram Language code: DownValues[f]

式の評価は頭部への規則の適用を含む：

Wolfram Language code: f[x_] := x ^ 3
Wolfram Language code: Hold[f[2]] /. DownValues[f]
Wolfram Research (1991), DownValues, Wolfram言語関数， https://reference.wolfram.com/language/ref/DownValues.html （2022年に更新）.

テキスト

Wolfram Research (1991), DownValues, Wolfram言語関数， https://reference.wolfram.com/language/ref/DownValues.html （2022年に更新）.

CMS

Wolfram Language. 1991. "DownValues." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2022. https://reference.wolfram.com/language/ref/DownValues.html.

APA

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

BibTeX

@misc{reference.wolfram_2026_downvalues, author="Wolfram Research", title="{DownValues}", year="2022", howpublished="\url{https://reference.wolfram.com/language/ref/DownValues.html}", note=[Accessed: 16-September-2026]}

BibLaTeX

@online{reference.wolfram_2026_downvalues, organization={Wolfram Research}, title={DownValues}, year={2022}, url={https://reference.wolfram.com/language/ref/DownValues.html}, note=[Accessed: 16-September-2026]}