WOLFRAM

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

f/:lhs:=rhs

rhs を lhs の遅延型の値として割り当てて，この割当てをシンボル f に関連付ける．

詳細
Details and Options Details and Options
例題  
例  
スコープ  
左辺  
さまざまな種類の値  
アプリケーション  
特性と関係  
関連項目
テクニカルノート
関連するガイド
履歴
引用書式

TagSetDelayed

f/:lhs:=rhs

rhs を lhs の遅延型の値として割り当てて，この割当てをシンボル f に関連付ける．

詳細

  • TagSetDelayedは，上向の値，下向きの値，部分値を適切に定義する．
  • f/:lhs:=rhs のシンボル f は，lhs 中に，lhs の頭部，頭部の頭部，lhs の要素の一つ，あるいは要素の一つの頭部として現れなければならない．
  • よく見られる例として f/:h[f[args]]:=rhs がある．
  • ?symbol を使って特定のシンボルに関連付けられたすべての規則を見ることができる．
  • f が lhs の中に複数回出現する場合，f/:lhs:=rhs は各出現に割当てを関連付ける．
  • TagSetDelayedは，未評価の記号形式内にある場合は，ネスト構造内の変数名が必要に応じて変更されるように，スコーピング構造として扱われる．

例題

すべて開く すべて閉じる

例  (1)

Wolfram Language code: g/:f[g[x_]] := fg[x]
Wolfram Language code: {f[g[2]], f[h[2]]}

スコープ  (7)

左辺  (4)

遅延的定義を持つ式は定義が使われるたびに評価される：

Wolfram Language code: int/:rand[int] := RandomInteger[]
Wolfram Language code: Table[rand[int], {5}]

即時的割当てと遅延的割当てとを使って特殊ケースと一般ケースについての定義をする：

Wolfram Language code: h/:f[h[0]] = h0; h/:f[h[x_]] := 2f[h[x - 1]]
Wolfram Language code: f[h[10]]

左辺の引数としてタグが現れることがある：

Wolfram Language code: sq/:area[sq, s_] := s ^ 2
Wolfram Language code: area[sq, 2]

左辺の引数の頭部としてタグが現れることがある：

Wolfram Language code: sq/:area[sq[s_]] := s ^ 2
Wolfram Language code: area[sq[3]]

さまざまな種類の値  (3)

それ自身の値については，タグは冗長である：

Wolfram Language code: x/:x := RandomReal[] y := RandomReal[]
Wolfram Language code: {OwnValues[x], OwnValues[y]}

下向きの値については，タグは冗長である：

Wolfram Language code: f/:f[x_] := x ^ 2; g[x_] := x ^ 2
Wolfram Language code: {DownValues[f], DownValues[g]}

タグを使って上向きの値を定義する：

Wolfram Language code: g/:f[g[x_]] := f1[x] f[h[x_]] := f2[x]
Wolfram Language code: {UpValues[g], DownValues[f]}

アプリケーション  (1)

モジュール演算を実装する：

Wolfram Language code: mod/:mod[a_, p_] + mod[b_, p_] := mod[Mod[a + b, p], p] mod/:i_Integer mod[a_, p_] := mod[Mod[i a, p], p]
Wolfram Language code: mod[2, 5] + 3 mod[3, 5] - mod[1, 5]

特性と関係  (7)

^:=は，タグを使った場合と同じように上向きの値を定義する：

Wolfram Language code: g/:f[g[x_]] := f1[x]
Wolfram Language code: f[h[x_]] ^:= f2[x]
Wolfram Language code: {UpValues[g], UpValues[h]}

タグは上向きの値1つのみを定義する．^:=はすべての記号を定義する：

Wolfram Language code: g/:f1[g[x_], h[y_]] := gh[x y]
Wolfram Language code: f2[g[x_], h[y_]] ^:= gh[x y]
Wolfram Language code: {UpValues[g], UpValues[h]}

即時的定義の右辺は定義が行われたときに評価される：

Wolfram Language code: int/:rand[int] = RandomInteger[];
Wolfram Language code: {rand[int], rand[int]}

遅延的定義の右辺は定義が使われるたびに評価される：

Wolfram Language code: real/:rand[real] := RandomReal[]
Wolfram Language code: {rand[real], rand[real]}

同じ左辺を持つ定義は，それまでのものを上書きする：

Wolfram Language code: h/:f[h[x_]] := f1[x]
Wolfram Language code: h/:f[h[x_]] := f2[x]
Wolfram Language code: Definition[h]

Definitionは記号に関連した定義を出力する：

Wolfram Language code: mod/:a_mod + b_mod := modPlus[a, b]
Wolfram Language code: Definition[mod]

Informationは定義を含む記号に関連したさまざまな情報を出力する：

Wolfram Language code: ? mod

UpValuesは定義された任意の上向きの値に対応する規則のリストを返す：

Wolfram Language code: UpValues[mod]

=.を使って特定の左辺を持つ定義を除去する：

Wolfram Language code: h/:f[h[x_]] := f1[x]; h/:g[h[x_]] := g1[x];
Wolfram Language code: h/:f[h[x_]]=.
Wolfram Language code: {f[h[1]], g[h[1]]}

すべての定義を除去する：

Wolfram Language code: Clear[h]
Wolfram Language code: Definition[h]

遅延的定義は大域変数に影響されないスコープを導入する：

Wolfram Language code: x = 5;
Wolfram Language code: h/:f[h[x_]] := x ^ 2
Wolfram Language code: {f[h[2]], x}

即時的割当てはスコープを導入しない：

Wolfram Language code: h/:g[h[x_]] = x ^ 2;
Wolfram Language code: {g[h[2]], x}
Wolfram Research (1988), TagSetDelayed, Wolfram言語関数， https://reference.wolfram.com/language/ref/TagSetDelayed.html.

テキスト

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

CMS

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

APA

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

BibTeX

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

BibLaTeX

@online{reference.wolfram_2026_tagsetdelayed, organization={Wolfram Research}, title={TagSetDelayed}, year={1988}, url={https://reference.wolfram.com/language/ref/TagSetDelayed.html}, note=[Accessed: 06-September-2026]}