高速文字列解析の世界――データ圧縮・全文検索・テキストマイニング (確率と情報の科学)