R における正規表現

R の正規表現とそれを用いる関数に付いて解説(ほとんどオンラインヘルプそのもの)します。これらは、オブジェクトの検索や文字列処理、等に使われます。


R における正規表現

R の幾つかの関数はいわゆる正規表現(GNU grep に準ずる)を受け付ける。 例えば、grep,regexp,sub, gsub,strsplit。他にも関数 apropos, browseEnv, help.search, list.files, ls はオブジェクト・ファイル名等に関し正規表現を許す。

詳細

「正規表現 (regular expression)」は文字列のある集合を表すパターンである。 R では三種類の正規表現を使える。

関数 apropos, browseEnv, help.search, list.files, ls, strsplit は 拡張正規表現を用いる。strsplit は 'extended = FALSE' オプションで 基本正規表現を用いる。

以下で説明されるパターンは 'cat' で表示される仕方で記述される。 R の文字列をキーボードから入力するには、バックスラッシュ文字 \ を二重化 \\ する必要があることを注意しよう。

拡張正規表現 (既定動作)

POSIX 1003.2 標準に基づく GNU 移植を用いる。既定オプション extended = TRUE の際用いられる正規表現。

例
[0123456789] は任意の単一の数値とマッチ
[^abc] は文字 'a', 'b', 'c' 以外の全ての文字とマッチ

基本正規表現

オプション extended = FALSE が使われた時の正規表現を説明する。
基本正規表現ではメタ文字 ? + { | ( ) はその特別な意味を失う。代わりにバックスラッシュ付きの \? \+ \{ \| \( \) を使う。従ってメタ文字は . \ [ ^ $ * になる。

Perl 式正規表現

オプション perl = TRUE は Perl 5 互換の正規表現を用いる。 詳細は Perl 文献を参照。

正規表現が使える関数 grep, regexpr, sub, gsub

用法

引数

詳細

返り値

その他の関連関数

agrep 近似的なマッチング

tolower, toupper, casefold,

chartr 文字列の変換

charmatch, pmatch, match

apropos は regexpr を用いており、良い例を提供する

ls, objects はオブジェクトの検索に対し、正規表現を受け付ける

glob2rx は Unix の ls 命令におけるようなファイル名のワイルドカード指定を R 風の正規表現に変換する。オプション無しでは先頭を表す^, 末尾を表す $ が付く。

 例 glob2rx("abc.*") -> "^abc\\."
    glob2rx("a?b.*") -> "^a.b\\."
    glob2rx("a?b.*", trim.tail=FALSE) -> "^a.b\\..*$"
    glob2rx("*.doc") -> "^.*\\.doc$"
    glob2rx("*.doc", trim.head=TRUE) -> "\\.doc$"
    glob2rx("*.t*")  -> "^.*\\.t"
    glob2rx("*.t??") -> "^.*\\.t..$"

幾つかの例

例1 オブジェクトの検索 grep()

> z <- ls()      # 現在のオブジェクトリスト(文字列ベクトル)
> zz <- grep("ab", z); z[zz] # ab を名前の一部に含むオブジェクト
[1] "ab"     "abab"   "abcdab" "abdce"  "cdabcd" "cdcdab"
> zz <- grep("ab|cd", z); z[zz] # ab か cd を名前の一部に含むオブジェクト
[1] "ab"     "abab"   "abcdab" "abdce"  "cd"     "cdabcd" "cdcd"   "cdcdab"
> zz <- grep("\\<ab", z); z[zz] # ab を名前の先頭に含むオブジェクト
[1] "ab"     "abab"   "abcdab" "abdce"
> zz <- grep("cd\\>", z); z[zz] # cd を名前の最後に含むオブジェクト
[1] "cd"     "cdabcd" "cdcd"
> zz <- grep("(ab){2}", z); z[zz] # abab を名前の一部に含むオブジェクト
[1] "abab"

> letters[grep("[a-z]", letters)]
[1] "a" "b" "c" "d" "e" "f" "g" "h" "i" "j" "k" "l" "m" "n" "o" "p" "q" "r" "s"
[20] "t" "u" "v" "w" "x" "y" "z"
> txt <- c("arm","foot","lefroo", "bafoobar")
> if(any(i <- grep("foo",txt))) cat("'foo' appears at least once in\n\t",txt,"\n")
'foo' appears at least once in
        arm foot lefroo bafoobar
> txt[i]
[1] "foot"     "bafoobar"
> i
[1] 2 4

例2 ファイル検索 list.files()

正規表現によるファイル名のリストアップと、その内容を読み込んだデータファイルをリストへ一括格納。名前が "data1.txt", "data12.txt" 等のファイルすべてが対象となる。

tab <- lapply(list.files(pattern="^data[[:digit:]]{1,}.txt"), read.table)
# 各データフレームは tab[[1]],tab[[2]]... で得られる

例3 テキストの置き換え sub, gsub

# a もしくは b を二重化する。
# \1 はマッチングされたパターン [ab] (a もしくは b) を表す
# \1 は実際は \\1 とする必要があることを注意
> gsub("([ab])", "\\1\\1", "abc and ABC")
[1] "aabbc aand ABC"

# sub は最初のマッチングだけを置き換える
> sub("([ab])", "\\1\\1", "abc and ABC")
[1] "aabc and ABC"

例4

> txt <- c("The", "licenses", "for", "most", "software", "are",
           "designed", "to", "take", "away", "your", "freedom",
           "to", "share", "and", "change", "it.",
           "", "By", "contrast,", "the", "GNU", "General", "Public", "License",
           "is", "intended", "to", "guarantee", "your", "freedom", "to",
          "share", "and", "change", "free", "software", "--")
> (i <- grep("[gu]", txt))  
[1]  7 11 16 24 29 30 35
> (i <- grep("[gu]", txt, value=TRUE))  # g か u を含む文字列(添字ではなくそ文字列そのもの)
[1] "designed"  "your"      "change"    "Public"    "guarantee" "your"
[7] "change"
# 大文字の G を含む文字列
> txt[gsub("g","#", txt) != gsub("g","#", txt, ignore.case = TRUE)] 
[1] "GNU"     "General"
# 返り値 -1 はマッチしなかったことを示す
# 値 4 は該当文字列の第4文字目以降にマッチしたことを示す
# 属性 ”match.length" の値 2 は二文字分マッチしたという意味
>  regexpr("en", txt)
[1] -1  4 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1  2 -1  4
[26] -1  4 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1
attr(,"match.length")
[1] -1  2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1  2 -1  2
[26] -1  2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1
> str = 'Now is the time      '  # 末尾に複数の空白を含む文字列
> sub(' +$', '', str)            # 末尾の空白をあるだけ取り除く
[1] "Now is the time"
> sub('[[:space:]]+$', '', str)  # 同じことを POSIX-style で実行
[1] "Now is the time"
> ls(pat="0$")              # 末尾が 0 で終るオブジェクトのリスト
[1] "F10"    "fitlm0" "sfun0"  "x0"     "y0"
> ls(pat="[0-9]$")          # 末尾が数字で終るオブジェクトのリスト
[1] "DNase1"       "F10"          "Fn12"         "cloud1"       "cloud2"
> rm(list=ls(pat="[0-9]$")) # 末尾が数字で終るオブジェクトを消去
> ls(pat="[0-9]$")          # もう無い
character(0)
# ディレクトリ "c:/data/" (MS Windows の場合)にあるファイルの拡張子を除いた名前を得る(リスト形式で)
# 最初のブロック ([^.]+) はファイル名先頭 ^ にある任意の一文字 . の任意繰返し + を意味する
# 次のブロック (\\..+) はドット文字 \\. の次に任意一文字 . とその任意繰返し + を意味する
# 丸括弧で囲みブロック化することにより、\\1 で最初のブロックでマッチした文字列を表現できる
# つまり、\\1 でファイル名のドット文字より前の部分全部を意味する
filename <- sub("([^.]+)(\\..+)", "\\1", dir("c:/data/"))

例5 apropos() オブジェクトをキーワードで検索する

> apropos("lm")  # "lm" を名前に含むオブジェクト、apropos(lm) でも良い
 [1] ".__C__anova.glm"      ".__C__anova.glm.null" ".__C__glm"
 [4] ".__C__glm.null"       ".__C__lm"             ".__C__mlm"
 [7] "KalmanForecast"       "KalmanLike"           "KalmanRun"
[10] "KalmanSmooth"         "add1.glm"             "add1.lm"
[13] "add1.mlm"             "alias.lm"             "anova.glm"
以下略
aprops> apropos("\\[")  # [ で始まる関数オブジェクト
 [1] "["               "[.AsIs"          "[.POSIXct"       "[.POSIXlt"
 [5] "[.data.frame"    "[.difftime"      "[.factor"        "[.formula"
 [9] "[.getAnywhere"   "[.noquote"       "[.terms"         "[.ts"
[13] "[<-"             "[<-.POSIXct"     "[<-.POSIXlt"     "[<-.data.frame"
[17] "[<-.factor"      "[["              "[[.POSIXct"      "[[.data.frame"
[21] "[[<-"            "[[<-.data.frame"
> length(apropos(".")) # すべてのオブジェクトの数
[1] 2104
> apropos("^pr") # pr で始まるオブジェクト
 [1] "promptClass"           "promptMethods"         "prototype"
 [4] "prop.test"             "prop.trend.test"       "prcomp"
 [7] "princomp"              "promax"                "profiler"
 以下略
> apropos("^.$") # 一文字の名前のオブジェクト
 [1] "x" "!" "$" "&" "(" "*" "+" "-" "/" ":" "<" "=" ">" "?" "@" "C" "D" "F"  "I"
[20] "T" "[" "^" "c" "q" "t" "{" "|" "~"
> apropos("^..?$") # 高々二文字のオブジェクト
 [1] "x"  "as" "el" "is" "ar" "!"  "!=" "$"  "%%" "&"  "&&" "("  "*"  "+"  "-"
[16] ".C" "/"  ":"  "::" "<"  "<-" "<=" "="  "==" ">"  ">=" "?"  "@"  "C"  "D"
[31] "F"  "I"  "Im" "Re" "T"  "["  "[[" "^"  "by" "c"  "cm" "de" "df" "dt" "gc"
[46] "gl" "if" "lm" "ls" "pf" "pi" "pt" "q"  "qf" "qr" "qt" "rf" "rm" "rt" "sd"
[61] "t"  "ts" "vi" "{"  "|"  "||" "~"
> apropos("^.{2,4}$") # 2-4文字のオブジェクト
 [1] "@<-"  "Math" "Ops"  "as"   "as<-" "el"   "el<-" "is"   "new"  "show"
[11] "slot" "dist" "ppr"  "nls"  "acf"  "ar"   "ccf"  "lag"  "pacf" "stl"
[21] "!="   "$<-"  "%%"   "%*%"  "%/%"  "%in%" "%o%"  "%x%"  "&&"   ".C"
[31] "::"   ":::"  "<-"   "<<-"  "<="   "=="   ">="   "AIC"  "Arg"  "Conj"
以下略
> length(apropos("^.{8,}$")) # 8文字以上の名前のオブジェクトの総数
[1] 1378

トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2015-03-01 (日) 01:15:59