WOLFRAM

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

If[condition,t,f]

condition の評価の結果がTrueとなる場合に t を，Falseとなる場合に f を返す．

If[condition,t,f,u]

condition の評価の結果がTrueでもFalseでもない場合，u を返す．

詳細
Details and Options Details and Options
予備知識
例題  
例  
スコープ  
評価  
記号変換  
一般化と拡張  
特性と関係  
関連項目
テクニカルノート
関連するガイド
関連リンク
履歴
引用書式

If

If[condition,t,f]

condition の評価の結果がTrueとなる場合に t を，Falseとなる場合に f を返す．

If[condition,t,f,u]

condition の評価の結果がTrueでもFalseでもない場合，u を返す．

詳細

  • Ifは，この条件式の値によって決定される引数だけを評価する．
  • If[condition,t,f]は，condition の評価の結果がTrueでもFalseでもない場合は評価されない．
  • If[condition,t]は，condition の評価がFalseの場合，Nullを返す．

予備知識

  • Ifは，手続き型プログラミング構造であり，その評価の分岐は，指定された条件の真の値によって決定される．Ifは通常If[cond,t,f]のように，条件と2つの追加の引数を取る．ここで t と f はそれぞれ，条件がTrueとFalseの場合に評価される．Ifは，If[cond,t,f,u]のように，追加の3つ目の引数を取ることもある．ここで u は，指定された条件が明示的にTrueでも明示的にFalseでもない場合に，評価が行われるようにする．最後にIfは，If[cond,t]のように1つだけ追加の引数を取ることもある．この場合，f の値はNullであるとされる．
  • 効率を図るため，Ifは関連のある引数のみを評価する．例えば，If[cond,t,f,u]における条件がTrueである場合には，t だけが評価され，f と u は評価されない．
  • ConditionalExpressionは，与えられた条件がTrueの場合にだけ式を表す関連の記号的構文である．Ifを一般化するその他のより柔軟なプログラミング構造には，WhichとSwitchがある．引数の値によって評価を行う数学関数には，BooleとPiecewiseがある．Conditionは，検定結果の評価がTrueになるときにだけマッチするパターンである．TrueQは，Ifの特殊形で，式が明示的にTrueである場合にはTrueを，それ以外の場合にはFalseを返す．

例題

すべて開く すべて閉じる

例  (1)

Wolfram Language code: abs[x_] := If[x < 0, -x, x]
Wolfram Language code: abs /@ {-1, 0, 1}

スコープ  (4)

評価  (3)

条件がTrueでもFalseでもない場合，Ifは未評価で残される：

Wolfram Language code: If[a < b, 1, 0]

不確定条件についての明示的な場合を持つ形式はいかなる場合にも評価される：

Wolfram Language code: If[a < b, 1, 0, Indeterminate]

TrueQを使って常にブール値を返すように条件を強制する：

Wolfram Language code: If[TrueQ[a < b], 1, 0]

記号変換  (1)

IfとRoundの両方を区分要素として区分関数を定義する：

Wolfram Language code: f = If[Round[x] > x, x, -x]

PiecewiseExpandを使って区分関数が正規形になるようにする：

Wolfram Language code: PiecewiseExpand[f, 0 < x < 5]

いくつかの異なる記号操作を行う：

Wolfram Language code: Reduce[f < 5 && 0 < x < 10, x, Reals]
Wolfram Language code: Integrate[f, {x, 0, 10}]
Wolfram Language code: D[f, x]
Wolfram Language code: Plot[f, {x, -2, 2}]

一般化と拡張  (1)

Ifは条件を表す文として使うことができる：

Wolfram Language code: x = -2; If[x < 0, y = -x, y = x];y

また，値を返す式としても使うことができる：

Wolfram Language code: y = If[x < 0, -x, x]

特性と関係  (4)

実際に取られた分枝だけが評価される：

Wolfram Language code: x = 1; If[x ≠ 0, 1 / x, Indeterminate]

場合ごとに関数を定義する：

Wolfram Language code: sign[x_] := If[x < 0, -1, 1]
Wolfram Language code: sign /@ {-1, 0, 1, I}

あるいは，いくつかの条件的定義を使う：

Wolfram Language code: sign2[x_ /; x < 0] := -1 sign2[x_ /; x ≥ 0] := x
Wolfram Language code: sign2 /@ {-1, 0, 1, I}

ネストしたif-then-elseifチェーンではなくWhichを使う：

Wolfram Language code: cut[x_] := If[x < -1, -1, If[x < 1, x, 1]]
Wolfram Language code: cut /@ {-2, -1, 0, 1, 2}
Wolfram Language code: cut2[x_] := Which[ x < -1, -1, x < 1, x, True, 1]
Wolfram Language code: cut2 /@ {-2, -1, 0, 1, 2}

PiecewiseExpandを使ってIfをPiecewiseに変換する：

Wolfram Language code: PiecewiseExpand[If[c, a, b]]
Wolfram Language code: PiecewiseExpand[If[If[c1, a1, b1], a, b]]
Wolfram Language code: PiecewiseExpand[If[c, If[c2, a2, b2], b]]
Wolfram Research (1988), If, Wolfram言語関数， https://reference.wolfram.com/language/ref/If.html.

テキスト

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

CMS

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

APA

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

BibTeX

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

BibLaTeX

@online{reference.wolfram_2026_if, organization={Wolfram Research}, title={If}, year={1988}, url={https://reference.wolfram.com/language/ref/If.html}, note=[Accessed: 01-November-2026]}