WOLFRAM

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

SubValues[f]

シンボル f について，すべての部分値（f[…][…]…についての値）に対応する変換規則をリストで返す．

SubValues["symbol"]

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

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

SubValues

SubValues[f]

シンボル f について，すべての部分値（f[…][…]…についての値）に対応する変換規則をリストで返す．

SubValues["symbol"]

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

詳細とオプション

  • SubValues[f]=list の形式の割当てを行うことで f についての部分値を指定することができる．
  • SubValuesが返すリストはHoldPattern[lhs]:>rhs の形式の要素を持つ．

例題

すべて開く すべて閉じる

例  (1)

シンボル f の部分値を定義する：

Wolfram Language code: f[x_][y_] := x + y

以下は f に関連付けられた部分値である：

Wolfram Language code: SubValues[f]

スコープ  (4)

SubValuesはシンボルについて定義された部分値に対応する規則を返す：

Wolfram Language code: f[x_][y_] := x + y
Wolfram Language code: SubValues[f]

SubValuesは任意の深さの頭部について定義できる：

Wolfram Language code: f[w_][x_][y_][z_] := f[w + x, y z]
Wolfram Language code: SubValues[f]
Wolfram Language code: f[1][2][3][4]

いくつかの値を作る：

Wolfram Language code: f1[x_][y_][z_] := x + y + z f2[x_][y_][z_] := x ^ y ^ z g[x_][y_] := x * y

名前がfで始まる関数の部分値を得る：

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

SubValuesを使って直接値を設定することができる：

Wolfram Language code: SubValues[f] = {HoldPattern[f[x_][0]] :> x, HoldPattern[f[x_][y_]] :> f[x y][y - 1]}
Wolfram Language code: Definition[f]
Wolfram Language code: f[1][5]

アプリケーション  (3)

抽出可能な特性についてのデータオブジェクトを作る：

Wolfram Language code: myDataObj[x_, y_]["Properties"] := {"Properties", "Sum", "Product"} myDataObj[x_, y_]["Sum"] := x + y myDataObj[x_, y_]["Product"] := x y

これらの定義はSubValuesとして保存される：

Wolfram Language code: SubValues[myDataObj]

与えられたオブジェクトからすべての特性を抽出する：

Wolfram Language code: (p |-> p -> myDataObj[2, 3][p]) /@ {"Properties", "Sum", "Product"}

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

Wolfram Language code: f[x_][y_ /; y > -2] := g1[x, y] f[x_][y_ /; y < 2] := g2[x, y]
Wolfram Language code: SubValues[f]
Wolfram Language code: f[3][0]

定義を並べ替える：

Wolfram Language code: SubValues[f] = Reverse[SubValues[f]]
Wolfram Language code: f[3][0]

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

Wolfram Language code: f[x_][0] := x f[x_][y_] := f[x * y][y - 1]
Wolfram Language code: SubValues[g] = SubValues[f] /. f -> g
Wolfram Language code: g[1][5]
Wolfram Language code: % == f[1][5]

特性と関係  (5)

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

Wolfram Language code: f[_][0] = 0; f[x_][y_] := x + y;
Wolfram Language code: SubValues[f]

HoldPatternを使って規則をそれ自身の定義から保護する：

Wolfram Language code: f[x_][y_] := h[x, y]
Wolfram Language code: SubValues[f]

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

Wolfram Language code: f[x_][y_] :> h[x, y]

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

Wolfram Language code: SubValues["f"]

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

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

DefinitionとInformationは部分値を表示するがそれを値として返すことはない：

Wolfram Language code: f[x_][y_] := h[x, y]
Wolfram Language code: Definition[f]
Wolfram Language code: %//FullForm

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

Wolfram Language code: SubValues[f]

式の評価にはマッチする部分値を適用することが含まれる：

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

テキスト

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

CMS

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

APA

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

BibTeX

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

BibLaTeX

@online{reference.wolfram_2026_subvalues, organization={Wolfram Research}, title={SubValues}, year={2022}, url={https://reference.wolfram.com/language/ref/SubValues.html}, note=[Accessed: 05-November-2026]}