WOLFRAM

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

MemberQ[list,form]

list の要素が form にマッチした場合にTrueを，その他の場合にFalseを返す．

MemberQ[list,form,levelspec]

list の levelspec で指定されたすべての部分リストを調べる．

MemberQ[form]

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

詳細とオプション
Details and Options Details and Options
例題  
例  
スコープ  
アプリケーション  
特性と関係  
考えられる問題  
関連項目
テクニカルノート
関連するガイド
関連リンク
履歴
引用書式

MemberQ

MemberQ[list,form]

list の要素が form にマッチした場合にTrueを，その他の場合にFalseを返す．

MemberQ[list,form,levelspec]

list の levelspec で指定されたすべての部分リストを調べる．

MemberQ[form]

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

詳細とオプション

  • formには，パターンを使用することもできる．
  • MemberQの第1引数はListに限らず，任意の頭部を持つことができる．
  • MemberQ[list,form]は，list の部分式が，form にマッチするかどうかを調べる．Element[x,dom]は，x が記号領域 dom の要素であることを意味する．
  • MemberQは標準的なレベル指定を行う．
  • nレベル 1 からレベル n まで
    Infinityレベル 1 からInfinityまで
    {n}レベル n のみ
    {n1,n2}レベル n1からレベル n2まで
  • MemberQの levelspec のデフォルト値は{1}である．
  • 正のレベル n は，n 個の指標で指定された expr のすべての部分からなる．
  • 負のレベル-n は，深さ n の expr のすべての部分からなる．
  • レベル-1は，数，記号，下位区分を持たないその他のオブジェクトからなる．
  • レベル0は式全体に相当する．
  • Heads->Trueというオプション設定では，MemberQは式の頭部とその部分を見る．
  • MemberQは連想に作用し，値は調べるがキーは調べない．
  • MemberQ[form][expr]はMemberQ[expr,form]に等しい．
  • Parallelize[MemberQ[list,form]]はMemberQ[list,form]をすべてのサブカーネルで並列に計算する． »

例題

すべて開く すべて閉じる

例  (1)

2がリスト中の数かどうか判定する：

Wolfram Language code: MemberQ[{1, 3, 4, 1, 2}, 2]

スコープ  (6)

MemberQは，パターンに使うことができる：

Wolfram Language code: MemberQ[{x ^ 2, y ^ 2, x ^ 3}, x ^ _]

レベル2まで判定する：

Wolfram Language code: MemberQ[{{1, 1, 3, 0}, {2, 1, 2, 2}}, 0, 2]

MemberQ一般にレベル1しか判定しない：

Wolfram Language code: MemberQ[{{1, 1, 3, 0}, {2, 1, 2, 2}}, 0]

連想が指定した値を含むかどうかを判定する：

Wolfram Language code: MemberQ[<|a -> 1, b -> 2|>, 1]

連想が偶整数の値を含むかどうかを判定する：

Wolfram Language code: MemberQ[<|a -> 1, b -> 3|>, _ ? EvenQ]
Wolfram Language code: MemberQ[<|a -> 1, b -> 2|>, _ ? EvenQ]

MemberQは，デフォルトで，レベル1のみに作用する：

Wolfram Language code: MemberQ[<|a -> <|u -> 2, v -> 3|>, b -> 3|>, _ ? EvenQ]

レベル2が含まれるようにする：

Wolfram Language code: MemberQ[<|a -> <|u -> 2, v -> 3|>, b -> 3|>, _ ? EvenQ, 2]

値がListという頭部を持つかどうかを判定する：

Wolfram Language code: MemberQ[<|a -> {1}, b -> {2}|>, List, 2, Heads -> True]

アプリケーション  (1)

が，7を法とした1と等しくなることがあるかどうか判定する：

Wolfram Language code: Table[Mod[2 ^ i, 7], {i, 10}]
Wolfram Language code: MemberQ[Table[Mod[2 ^ i, 7], {i, 10}], 1]

特性と関係  (1)

MemberQを並列に計算する：

Wolfram Language code: Parallelize[MemberQ[Array[Prime, 10 ^ 6], 93]]

考えられる問題  (4)

MemberQは，数値的な等しさではなく，構造的なマッチについて判定する：

Wolfram Language code: MemberQ[{1, 2, 1, 3}, 1.]

MemberQは部分列については判定しない：

Wolfram Language code: MemberQ[a + b + c, a + c]

FreeQは判定する：

Wolfram Language code: FreeQ[a + b + c, a + c]

MemberQは，デフォルトで，レベル1のみで働く：

Wolfram Language code: MemberQ[{{x ^ 2, y ^ 2}}, x ^ _]

レベル2を含むようにする：

Wolfram Language code: MemberQ[{{x ^ 2, y ^ 2}}, x ^ _, 2]

MemberQは連想中の値は判定するがキーは判定しない：

Wolfram Language code: MemberQ[<|a -> 1, b -> 2|>, a]
Wolfram Language code: MemberQ[<|a -> 1, b -> 2|>, a -> _]

KeyValuePatternは規則全体を判定する：

Wolfram Language code: MatchQ[<|a -> 1, b -> 2|>, KeyValuePattern[{a -> 1}]]
Wolfram Research (1988), MemberQ, Wolfram言語関数， https://reference.wolfram.com/language/ref/MemberQ.html （2014年に更新）.

テキスト

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

CMS

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

APA

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

BibTeX

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

BibLaTeX

@online{reference.wolfram_2026_memberq, organization={Wolfram Research}, title={MemberQ}, year={2014}, url={https://reference.wolfram.com/language/ref/MemberQ.html}, note=[Accessed: 03-November-2026]}