UpSetDelayed

lhs^:=rhs

rhs を lhs の遅延型の値として割り当て，この割当てを lhs の第1レベルに現れるシンボルと結合する．

例題

すべて開くすべて閉じる

例 (1)

上向の値を設定する：

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

正しいシンボルが式のレベル1に現れる場合にのみこれが適用されることを確認する：

Wolfram Language code: {f[g[2]], f[h[2]]}

定義が外側のシンボル f に関連付けられていないことを確認する：

Wolfram Language code: Definition[f]

これがレベル1のシンボル g と関連付けられていることを確認する：

Wolfram Language code: Definition[g]

スコープ (6)

左辺 (5)

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

Wolfram Language code:

rand[int] ^:= RandomInteger[]
Table[rand[int], {5}]

即時的割当てと遅延的割当てを使って特別な場合と一般的な場合の定義を行う：

Wolfram Language code:

f[h[0]] ^= h0;
f[h[x_]] ^:= 2f[h[x - 1]]
f[h[10]]

定義は左辺の定義として現れる記号と関連付けることができる：

Wolfram Language code:

area[sq, s_] ^:= s ^ 2
area[sq, 2]

定義は左辺の引数の頭部と関連付けることができる：

Wolfram Language code:

area[sq[s_]] ^:= s ^ 2
area[sq[3]]

左辺に複数の記号がある場合，すべての記号について上向きの値が定義される：

Wolfram Language code: method[g[x_], h[y_]] ^:= fgh[x, y]

したがって，これはシンボル g に関連付けられている：

Wolfram Language code: Definition[g]

また，これはシンボル h にも関連付けられている:

Wolfram Language code: Definition[h]

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

^:= は上向きの値を定義する：

Wolfram Language code:

f[g[x_]] ^:= f1[x]
f[h[x_]] := f2[x]

上向の値および下向きの値が正しく設定されていることを確認する：

Wolfram Language code: {UpValues[g], DownValues[f]}

特性と関係 (6)

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

Wolfram Language code:

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

タグは1つの上向きの値しか定義しないが，^:=はすべての記号についての定義を行う：

Wolfram Language code:

g/:f1[g[x_], h[y_]] := gh[x y]
f2[g[x_], h[y_]] ^:= gh[x y]

したがって，g は両方の定義からの上向の値を持つが，h は第2の定義からのものしか持たない：

Wolfram Language code: {UpValues[g], UpValues[h]}

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

Wolfram Language code:

rand[int] ^= RandomInteger[];
{rand[int], rand[int]}

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

Wolfram Language code:

rand[real] ^:= RandomReal[]
{rand[real], rand[real]}

同じ左辺を持つ定義は前のものを上書きする：

Wolfram Language code:

f[h[x_]] ^:= f1[x]
f[h[x_]] ^:= f2[x]
Definition[h]

Definitionは記号に関連付けられた定義を出力する：

Wolfram Language code:

a_mod + b_mod ^:= modPlus[a, b]
Definition[mod]

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

Wolfram Language code: ? mod

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

Wolfram Language code: UpValues[mod]

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

Wolfram Language code:

x = 5;
f[h[x_]] ^:= x ^ 2
{f[h[2]], x}

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

Wolfram Language code:

g[h[x_]] ^= x ^ 2;
{g[h[2]], x}

Top

その他のラーニングリソース

テクニカルサポート

Wolframソリューション

教育のためのWolframソリューション

使い始める

Grow Your Skills

Wolframと繋がる

大人用の教育プログラム

若者のための教育プログラム

読む

UpSetDelayed

例題

例 (1)

スコープ (6)

左辺 (5)

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

特性と関係 (6)

テキスト

CMS

APA

BibTeX

BibLaTeX

UpSetDelayed

例題

例 (1)

スコープ (6)

左辺 (5)

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

特性と関係 (6)

関連項目

テクニカルノート

関連するガイド

関連するワークフロー

履歴

テキスト

CMS

APA

BibTeX

BibLaTeX