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

BibLaTeX

@online{reference.wolfram_2024_condition, organization={Wolfram Research}, title={Condition}, year={1988}, url={https://reference.wolfram.com/language/ref/Condition.html}, note=[Accessed: 21-November-2024 ]}