[[ Re: grep コマンドに 7〜10 倍も高速化する余地があったなんて。 ]] へのコメント