WOLFRAM

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

patt/;test

test の評価の結果がTrueとなった場合に限りマッチするパターンである．

lhs:>rhs/;test

test の評価の結果がTrueとなった場合に限り適用される規則を表す．

lhs:=rhs/;test

test の評価の結果がTrueとなった場合に限り使用される定義である．

詳細
Details and Options Details and Options
例題  
例  
スコープ  
特性と関係  
考えられる問題  
関連項目
テクニカルノート
関連するガイド
関連するワークフロー
履歴
引用書式

Condition

patt/;test

test の評価の結果がTrueとなった場合に限りマッチするパターンである．

lhs:>rhs/;test

test の評価の結果がTrueとなった場合に限り適用される規則を表す．

lhs:=rhs/;test

test の評価の結果がTrueとなった場合に限り使用される定義である．

詳細

  • test で使用されるパターン変数はすべて，patt によって指示されなければならない．
  • lhs:=Module[{vars},rhs/;test]では，局所変数が test と rhs の間で共用される．また，BlockとWithで同じ構成を使用することができる． »

例題

すべて開く すべて閉じる

例  (2)

x は正でなければならないという制約条件付きの定義を行う：

Wolfram Language code: f[x_] := ppp[x] /; x > 0
Wolfram Language code: f[5]
Wolfram Language code: f[-6]

負であるという条件を満たすすべての要素を置換する：

Wolfram Language code: {6, -7, 3, 2, -1, -2} /. x_ /; x < 0 -> w

スコープ  (2)

条件と関数本体で変数を共有する：

Wolfram Language code: f[x_] := Module[{u}, u ^ 2 /; ((u = x - 1) > 0)]
Wolfram Language code: f[0]
Wolfram Language code: f[6]

Conditionを関数本体の中で使い，評価を制御する：

Wolfram Language code: f[x_] := Module[{a}, a = Prime[10 ^ x]; (FactorInteger[a + 1]) /; a < 10 ^ 6]
Wolfram Language code: f[4]
Wolfram Language code: f[5]

特性と関係  (2)

Conditionはブール式をパターンの名前付きの部分について評価する：

Wolfram Language code: Cases[{{a, b}, {1, 2, 3}, {{d, 6}, {d, 10}}}, {x_, y_} /; !ListQ[x] && !ListQ[y]]

PatternTestはテスト関数をパターンに適用する．パターンには名前がなくてもよい：

Wolfram Language code: Cases[{{a, b}, {1, 2, 3}, {{d, 6}, {d, 10}}}, {_, _} ? VectorQ]

Exceptを使って事実上Conditionを否定する：

Wolfram Language code: Replace[{1, 7, "Hi", 3, z}, Except[x_ /; NumericQ[x]] :> 0, 1]

考えられる問題  (1)

Repeated[p /; test]は，p の中の名前付きのパターンすべてが，列を通して同じ値であることを要求する：

Wolfram Language code: MatchQ[{3, 3, 3}, {(x_ /; IntegerQ[x / 3])..} ]
Wolfram Language code: MatchQ[{3, 6, 9}, {(x_ /; IntegerQ[x / 3])..} ]

RepeatedNullについても同じことが言える：

Wolfram Language code: MatchQ[{3, 6, 9}, {(x_ /; IntegerQ[x / 3])...} ]

名前がないパターンの組合せでPatternTestを使うことで同一ではない要素の列が使えるようにする：

Wolfram Language code: MatchQ[{3, 6, 9}, {(_ ? (IntegerQ[# / 3]&))..} ]
Wolfram Language code: MatchQ[{3, 6, 9}, {(_ ? (IntegerQ[# / 3]&))...} ]
Wolfram Research (1988), Condition, Wolfram言語関数， https://reference.wolfram.com/language/ref/Condition.html.

テキスト

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

CMS

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

APA

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

BibTeX

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

BibLaTeX

@online{reference.wolfram_2026_condition, organization={Wolfram Research}, title={Condition}, year={1988}, url={https://reference.wolfram.com/language/ref/Condition.html}, note=[Accessed: 10-August-2026]}