Definition[symbol]
シンボルに与えられた定義情報を表示する.
Definition[patt]
任意の文字列パターン patt に名前がテキスト的にマッチするシンボルに与えられた定義として出力する.
Definition[{spec1,spec2,…}]
speciのいずれかと等しいまたは名前がマッチするシンボルに与えられた定義として出力する.
Definition
Definition[symbol]
シンボルに与えられた定義情報を表示する.
Definition[patt]
任意の文字列パターン patt に名前がテキスト的にマッチするシンボルに与えられた定義として出力する.
Definition[{spec1,spec2,…}]
speciのいずれかと等しいまたは名前がマッチするシンボルに与えられた定義として出力する.
詳細
- Definition[symbol]は,symbol のすべての値,属性,デフォルト,オプションを出力する. »
- パターン patt は,メタ文字を含む文字列,StringExpression[…],あるいはRegularExpression["regex"]として与えることができる. »
- Definitionには以下のメタ文字を含む省略文字列パターンを使うことができる.
-
* 0個以上の文字 @ 大文字を除く1個以上の文字 - Definition["context`*"]は特定のコンテキストのすべてのシンボルの定義として出力する. »
- Definition["`*"]は現行コンテキストのすべてのシンボルの定義として出力する. »
- Definitionは属性ReadProtectedを持つシンボルと関連する規則は表示しない. »
- Definitionは,属性HoldAllを持つ. »
例題
すべて開く すべて閉じる例 (2)
スコープ (9)
シンボルの入力 (4)
組込みシンボルの場合,Definitionは属性,デフォルト値,オプションを返す:
Definition[Information]ユーザ定義のシンボルについては,Definitionは属性,デフォルト値,オプション,定義を返す:
SetAttributes[f, Listable];
Default[f] = 0;
Options[f] = {opt1 -> def1, opt2 -> def2};
f[x_.] := x ^ 2Definition[f]a = 5;
f[x_] := x ^ 3Definition[{f, a}]x1 = 1;x2 = 3;x3 = 5;Definition[{x1, "x2"}]パターンを使う (5)
x1 = 1;x2 = 3;y = 5;Definition["x*"]x1 = 1;x2 = 3;y = 5;Definition["`*"]abc`x1 = 1;abc`x2 = 3;abc`x3 = 5;Definition["abc`*"]StringExpressionを使って現行コンテキストにある2文字のシンボルすべての定義を得る:
x1 = 1;x2 = 3;y = 5;Definition["`" ~~ _ ~~ _]RegularExpressionを使って現行コンテキストにある3文字のシンボルすべての定義を得る:
x = 1;yy = 3;zzz = 5;Definition[RegularExpression["`..."]]特性と関係 (6)
読込みがプロテクトされているシンボルの場合は,定義は返されない:
f[x_] := x ^ 2;
SetAttributes[f, {ReadProtected}]Definition[f]Definitionは,属性,デフォルト,オプション,値を与える:
SetAttributes[f, Listable];
Default[f] = 0;
Options[f] = {opt1 -> def1, opt2 -> def2};
f[x_.] := x ^ 2Definition[f]Definition[pattern]はNames[pattern]が返すシンボルの定義を与える:
x = 1;y = 2; xy = 3;
Definition["x*"]Definition[Evaluate@Names["x*"]]Definitionはメッセージを出さない:
f::usage = "f[x] gives (x - 1)(x + 1)";Definition[f]FullDefinitionはメッセージを出す:
FullDefinition[f]Messagesを使ってメッセージを取得する:
Messages[f]InformationはDefinitionによって返される値を使用法のメッセージとともに返す:
Information[Union]??はInformationと同じ働きをする:
??UnionDefinitionは属性HoldAllを有する:
Definition[Definition]symbol = {"x", "y", "z"};x = 1;y = 3;z = 5;Definition[symbol]Definition[Evaluate[symbol]]考えられる問題 (3)
Definitionは出力形であり,評価されない:
Definition[Plus]FullForm[%]"symbol"という名前のシンボルが存在しない場合,Definition["symbol"]は値を与えない:
NameQ["x"]Definition["x"]symbol に値がない場合も,Definition["symbol"]は値を与えない:
xNameQ["x"]Definition["x"]パターンをコンテキストマークなしで使うと$ContextPathにあってパターンにマッチするすべてのシンボルの定義が返される:
x = 1;y = 2;xy = 3;
Definition[_ ~~ _]パターンに明示的なコンテキストマークを付けて使うことで,システムあるいはその他のコンテキストにあってパターンにマッチするシンボルが返されるのを防ぐことができる:
Definition["`" ~~ _ ~~ _]テクニカルノート
-
▪
- Wolfram言語オブジェクトについての情報の取得 ▪
- 定義 ▪
- 関数の定義 ▪
- 添数付きオブジェクトの定義 ▪
- 異なるシンボルへの定義式の関連付け ▪
- 定義の適用順
関連するガイド
-
▪
- シンボルの扱い
関連するワークフロー
- シンボルや関数の定義を消去する ▪
- 定義された関数をすべて求める
履歴
1988 で導入 (1.0) | 2022 で更新 (13.2)
テキスト
Wolfram Research (1988), Definition, Wolfram言語関数, https://reference.wolfram.com/language/ref/Definition.html (2022年に更新).
CMS
Wolfram Language. 1988. "Definition." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2022. https://reference.wolfram.com/language/ref/Definition.html.
APA
Wolfram Language. (1988). Definition. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Definition.html
BibTeX
@misc{reference.wolfram_2026_definition, author="Wolfram Research", title="{Definition}", year="2022", howpublished="\url{https://reference.wolfram.com/language/ref/Definition.html}", note=[Accessed: 11-September-2026]}
BibLaTeX
@online{reference.wolfram_2026_definition, organization={Wolfram Research}, title={Definition}, year={2022}, url={https://reference.wolfram.com/language/ref/Definition.html}, note=[Accessed: 11-September-2026]}