Wolfram Research製品ご購入サービスとリソース会社概要その他のWolframサイト
DOCUMENTATION CENTER SEARCH
Mathematica > パターン >
Mathematica 組込みシンボルチュートリアル »|関連項目 »|その他 »

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 は正でなければならないという制約条件付きの定義を行う：
In[1]:=
Click for copyable input
In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=
 
負であるという条件を満たすすべての要素を置換する：
In[1]:=
Click for copyable input
Out[1]=
バージョン 1 の新機能
© 2008 Wolfram Research, Inc. japanese.gif
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team