WOLFRAM

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

AllTrue[{e1,e2,…},test]

test[ei]がすべての eiについてTrueのときにTrueを返す．

AllTrue[expr,test,level]

expr のレベル level の部分を調べる．

AllTrue[test]

式に適用可能なAllTrueの演算子形を表す．

詳細
Details and Options Details and Options
例題  
例  
スコープ  
特性と関係  
考えられる問題  
関連項目
関連するガイド
履歴
引用書式

AllTrue

AllTrue[{e1,e2,…},test]

test[ei]がすべての eiについてTrueのときにTrueを返す．

AllTrue[expr,test,level]

expr のレベル level の部分を調べる．

AllTrue[test]

式に適用可能なAllTrueの演算子形を表す．

詳細

  • AllTrue[list,test]およびAllTrue[list,test,level]は，結果を決定するために必要な数の test[ei]しか評価しない．
  • AllTrue[list,test]はAllTrue[list,test,1]に等しい．
  • AllTrue[test][list]はAllTrue[list,test]に等しい．

例題

すべて開く すべて閉じる

例  (4)

リストの全要素が条件を満たすかどうかを調べる：

Wolfram Language code: AllTrue[{2, 3, 4, 6, 8}, EvenQ]
Wolfram Language code: AllTrue[{2, 4, 6, 8}, EvenQ]

行列の全要素が条件を満足するかどうかを調べる：

Wolfram Language code: AllTrue[{{1, 2, 3}, {4, 5, 6}}, EvenQ, 2]
Wolfram Language code: AllTrue[{{2, 4, 6}, {8, 10, 12}}, EvenQ, 2]

連想のすべての値が条件を満たすかどうかを調べる：

Wolfram Language code: AllTrue[<|"a" -> 1, "b" -> 3, "c" -> 5|>, OddQ]

どの要素にも適用されない条件がFalseを返すときは，記号的な結果が返されることがある：

Wolfram Language code: AllTrue[{2, 6, x, 4, y}, # < 10&]
Wolfram Language code: % /. {x -> 3, y -> 7}

いくつかの要素に適用される条件が記号的な場合でも，明確な結果が推定されることがある：

Wolfram Language code: AllTrue[{2, 6, x, 4, y, 15}, # < 10&]

TrueQを使って記号的な結果を避けることができる：

Wolfram Language code: AllTrue[{2, 6, x, 4, y}, TrueQ[# < 10]&]

スコープ  (3)

AllTrueは，任意の頭部を持つ式に適用することができる：

Wolfram Language code: AllTrue[f[1, 7, 3], OddQ]
Wolfram Language code: AllTrue[f[x, y, z], # < 10&]

AllTrueは不規則な式に使うことができる：

Wolfram Language code: AllTrue[{{1, 2, 3}, {4, 5}}, IntegerQ, 2]
Wolfram Language code: AllTrue[f[{1, 2, 3}, {4, 5}], IntegerQ, 2]

デフォルトで，AllTrueは常にレベル1で作用する：

Wolfram Language code: AllTrue[3, EvenQ]
Wolfram Language code: AllTrue[{}, EvenQ]
Wolfram Language code: AllTrue[3, EvenQ, 0]

特性と関係  (5)

TrueQで述語を構成し，述語を強化する：

Wolfram Language code: AllTrue[{x, y, z}, Composition[TrueQ, f]]

AllTrue[list,f]はNoneTrue[list,Composition[Not,f]]に等しい：

Wolfram Language code: LogicalExpand /@ {AllTrue[{x, y, z}, f], NoneTrue[{x, y, z}, !f[#]&]}

f を評価するとTrueまたはFalseになるとき，AllTrue[list,f]はVectorQ[list,f]に等しい：

Wolfram Language code: AllTrue[Range[10], IntegerQ] VectorQ[Range[10], IntegerQ]
Wolfram Language code: AllTrue[{x, y, z}, # < 10&] VectorQ[{x, y, z}, # < 10&]

AllTrue[list,f]は疎なベクトルに効果的に働く：

Wolfram Language code: AllTrue[SparseArray[{1000 -> 2}, {1000000000000}], EvenQ]

AllTrue[list,test]は，list の各部分を順に調べ，test がFalseを返した時点で停止する：

Wolfram Language code: AllTrue[{1, 2, 3, 4, 5}, (Print[#];OddQ[#])&]

考えられる問題  (1)

記号的な結果が返されることがある：

Wolfram Language code: AllTrue[{x, y, z}, f]
Wolfram Research (2014), AllTrue, Wolfram言語関数， https://reference.wolfram.com/language/ref/AllTrue.html （2015年に更新）.

テキスト

Wolfram Research (2014), AllTrue, Wolfram言語関数， https://reference.wolfram.com/language/ref/AllTrue.html （2015年に更新）.

CMS

Wolfram Language. 2014. "AllTrue." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2015. https://reference.wolfram.com/language/ref/AllTrue.html.

APA

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

BibTeX

@misc{reference.wolfram_2026_alltrue, author="Wolfram Research", title="{AllTrue}", year="2015", howpublished="\url{https://reference.wolfram.com/language/ref/AllTrue.html}", note=[Accessed: 14-September-2026]}

BibLaTeX

@online{reference.wolfram_2026_alltrue, organization={Wolfram Research}, title={AllTrue}, year={2015}, url={https://reference.wolfram.com/language/ref/AllTrue.html}, note=[Accessed: 14-September-2026]}