DownValues

DownValues[f]

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

DownValues["symbol"]

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

詳細とオプション

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

例題

すべて開くすべて閉じる

例  (1)

関数fの値を定義する：

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

スコープ  (3)

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

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

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

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

アプリケーション  (2)

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

定義の順序を変える：

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

特性と関係  (5)

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

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

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

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

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

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

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

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

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_2024_downvalues, author="Wolfram Research", title="{DownValues}", year="2022", howpublished="\url{https://reference.wolfram.com/language/ref/DownValues.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_downvalues, organization={Wolfram Research}, title={DownValues}, year={2022}, url={https://reference.wolfram.com/language/ref/DownValues.html}, note=[Accessed: 22-November-2024 ]}