WOLFRAM

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

"Value" (データ構造)

"Value"

可変式の値を表す．

詳細

  • 可変値は，プログラムの任意部分で修正できる．
  • CreateDataStructure["Value",x]指定の初期値 x で新しい空の"Value"を作成する
    Typed[x,"Value"]x に"Value"型を与える
  • "Value"型のデータ構造には，以下の演算が使える．
  • ds["Copy"]ds のコピーを返すtime: O(1)
    ds["Get"]ds に保存された値を得るtime: O(1)
    ds["Set",x]ds の値を x に設定するtime: O(1)
    ds["Visualization"]ds の可視化を返すtime: O(1)
  • 以下の関数もサポートする．
  • dsi===dsjdsi が dsj に等しい場合はTrue
    FullForm[ds]ds の完全形
    Information[ds]ds についての情報
    InputForm[ds]ds の入力形
    Normal[ds]ds を通常の式に変換する

例題

すべて開く すべて閉じる

例  (1)

新しい"Value"は，CreateDataStructureを使って作成できる：

Wolfram Language code: ds = CreateDataStructure["Value", f[1]]

保存された値を抽出する：

Wolfram Language code: ds["Get"]

新しい値を保存のために挿入する：

Wolfram Language code: ds["Set", f[2]]

値が更新されたことを確かめる：

Wolfram Language code: ds["Get"]

式バージョンの ds を返す：

Wolfram Language code: Normal[ds]

データ構造の可視化を生成することができる：

Wolfram Language code: ds["Visualization"]

スコープ  (6)

可変性  (1)

"Value"データ構造は可変であるので，その値は変更することができる：

Wolfram Language code: ds = CreateDataStructure["Value", f[x]]

値を変更する：

Wolfram Language code: ds["Set", g[y]]

値をチェックする：

Wolfram Language code: ds["Get"]

もう一度値を変更する：

Wolfram Language code: ds["Set", h[z]]

もう一度値をチェックする：

Wolfram Language code: ds["Get"]

情報  (1)

新しい"Value"は，CreateDataStructureを使って作成することができる：

Wolfram Language code: ds = CreateDataStructure["Value", f[1]]

データ構造 ds についての情報：

Wolfram Language code: Information[ds]

演算  (4)

"Copy"  (1)

初期値を含む新しい"Value"を作成する：

Wolfram Language code: ds = CreateDataStructure["Value", f[x]]

データ構造のコピーを得る：

Wolfram Language code: ds1 = ds["Copy"]

2つのデータ構造のコンテンツは同じである：

Wolfram Language code: {Normal[ds], Normal[ds1]}

コピーを変更しても，もとのデータ構造には影響しない：

Wolfram Language code: ds1["Set", g[x]]; {Normal[ds], Normal[ds1]}

"Get"  (1)

初期値を含む新しい"Value"を作成する：

Wolfram Language code: ds = CreateDataStructure["Value", f[x]]

保存された値を得る：

Wolfram Language code: ds["Get"]

"Set"  (1)

初期値を含む新しい"Value"を作成する：

Wolfram Language code: ds = CreateDataStructure["Value", f[x]]

新しい式のデータ構造を設定する：

Wolfram Language code: ds["Set", g[x]]

保存された値を得る：

Wolfram Language code: ds["Get"]

"Visualization"  (1)

初期値を含む新しい"Value"を作成する：

Wolfram Language code: ds = CreateDataStructure["Value", f[x]]

コンテンツを可視化する：

Wolfram Language code: ds["Visualization"]

アプリケーション  (1)

式のインプレース更新  (1)

"Value"を引数として更新する関数を定義する：

Wolfram Language code: accumulate[f_, val_] /; DataStructureQ[val, "Value"] := val["Set", f[val["Get"]]];

初期の式を保持ホールドする"Value"を作成する：

Wolfram Language code: v = CreateDataStructure["Value", x]

繰り返し行われる関数の呼出しを通して，保存された式を更新する：

Wolfram Language code: accumulate[# ^ 2&, v]; accumulate[# + 1&, v];

最終的に保存された値を得る：

Wolfram Language code: v["Get"]

特性と関係  (4)

InputForm  (1)

InputFormは，"Value"の連続番号付きのコンテンツを返す：

Wolfram Language code: InputForm[CreateDataStructure["Value", f[x]]]

この連続番号付きの形式を使って，データ構造を再作成することができる：

Wolfram Language code: DataStructure["Value", {"Data" -> f[x]}]

Normal  (1)

Normalを使って"Value"のコンテンツを得ることができる：

Wolfram Language code: ds = CreateDataStructure["Value", f[x]]; Normal[ds]

"Get"演算を使っても同じ結果が得られる：

Wolfram Language code: ds["Get"]

SameQ  (1)

SameQを使って，2つの"Value"データ構造に同じコンテンツが含まれているかどうかをテストすることができる：

Wolfram Language code: ds1 = CreateDataStructure["Value", f[x]]; ds2 = CreateDataStructure["Value", f[x]]; ds1 === ds2

1つの要素が変更されると，データ構造はもはや同じではない：

Wolfram Language code: ds1["Set", g[x]]; ds1 === ds2

"Counter"  (1)

"Counter"データ構造は，"Value"データ構造の整数に対する特化されたバージョンであるとみなすことができる．

おもしろい例題  (1)

明示的なキャッシュでメモ化された評価  (1)

"Value"を使って，再設定あるいはコピーできる，手動で制御されたキャッシュを実装する：

Wolfram Language code: cache = CreateDataStructure["Value", <||>]

キャッシュを調べ，更新する関数を定義する：

Wolfram Language code: cachedEval[f_, x_] := With[{c = cache["Get"]}, If[KeyExistsQ[c, x], c[x] , cache["Set", Append[c, x -> f[x]]][x] ] ]

関数を評価し，キャッシュを追加する：

Wolfram Language code: cachedEval[# ^ 2&, 10]; cachedEval[# ^ 2&, 11];

キャッシュを調査する：

Wolfram Language code: cache["Get"]