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

Subject: Re: grep コマンドに 7〜10 倍も高速化する余地があったなんて。
Date: 2014/02/20 (木) 13:09
From: b

うむ。