パターン･マッチ

デジタル大辞泉

パターン‐マッチ【pattern match】

読み方：ぱたーんまっち

⇒パターンマッチング

ウィキペディア

パターンマッチング

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/06/03 15:37 UTC 版)

パターンマッチング（英: Pattern matching、パターン照合）とは、データを検索する場合に特定のパターンが出現するかどうか、またどこに出現するかを特定する手法のことである。

文字列のパターンマッチングには、固定されたパターンの検索ではKMP法やBM法など各種の文字列探索アルゴリズムがある。また正規表現を利用する手法も多数提案されている。

いくつかの高水準プログラミング言語には、多分岐の一種で、場合分けと同時に構成要素の取り出しのできる言語機能があり、パターンマッチと呼ばれている。Haskellでの例を示す。

listSumCase lst =
  case lst of
    []       -> 0
    (x : xs) -> x + listSumCase xs

listSumPtn []       = 0
listSumPtn (x : xs) = x + listSumPtn xs

なお、この例の listSumCase は expression style、listSumPtn は declaration style である。

歴史

パターンマッチング構造を備えた初期のプログラミング言語には、COMIT (1957)、SNOBOL (1962)、Refal (1968)、ツリーベースのパターンマッチング、Prolog (1972)、 SASL (1976)、NPL (1977)、およびKRC (1981)がある。

多くのテキストエディタはさまざまな種類のパターンマッチングをサポートしている。QEDエディタは正規表現検索をサポートし、一部のバージョンのTECOでは、検索でOR演算子をサポートしている。

数式処理システムは通常、代数式のパターンマッチングをサポートしている。

参考文献

• 『Analytic Pattern Matching: From DNA to Twitter』 Philippe Jacquet・Wojciech Szpankowski、Cambridge University Press、2015年、ISBN 9780521876087

関連項目

• 索引
• 検索
• 検索エンジン
• データベース
• ワイルドカード (情報処理)
• 画像処理

ウィキペディア小見出し辞書

パターンマッチ

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/11/20 02:06 UTC 版)

「Haskell」の記事における「パターンマッチ」の解説

Haskell では関数の引数を様々な形で受け取ることができる。 次は整数の要素をもつリストの全要素の合計を返す関数 total である。 total :: [Int] -> Inttotal [] = 0total (x:xs) = x + total xs total の関数本体の定義がふたつあるが、このうち引数の実行時の値と適合する本体が選択され呼び出される。上の本体定義では、引数が空のリストであるときのみ適合し、呼び出される。下の本体定義では、引数が少なくともひとつの要素を持つとき適合し、x に先頭の要素が束縛され、xs に残りのリストが束縛される。この例の場合はパターンに漏れはないが、もし適合するパターンが見つからない場合はエラーになる。 複数の返り値を扱うのもタプルなどを利用して極めて簡明に書くことができる。 (x, y) = (10, 20) このとき、定義される変数は x および y で、それぞれ x は 10 に、y は 20 に定義される。