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 は正でなければならないという制約条件付きの定義を行う：

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

スコープ  (2)

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

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

特性と関係  (2)

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

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

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

考えられる問題  (1)

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

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

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

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_2025_condition, author="Wolfram Research", title="{Condition}", year="1988", howpublished="\url{https://reference.wolfram.com/language/ref/Condition.html}", note=[Accessed: 22-April-2026]}

BibLaTeX

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