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)

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

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

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

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

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

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

スコープ  (3)

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

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

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

特性と関係  (5)

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

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

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

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

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

考えられる問題  (1)

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

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_2025_alltrue, author="Wolfram Research", title="{AllTrue}", year="2015", howpublished="\url{https://reference.wolfram.com/language/ref/AllTrue.html}", note=[Accessed: 27-October-2025]}

BibLaTeX

@online{reference.wolfram_2025_alltrue, organization={Wolfram Research}, title={AllTrue}, year={2015}, url={https://reference.wolfram.com/language/ref/AllTrue.html}, note=[Accessed: 27-October-2025]}