あいかわらずですが、でっかい int 集合を uniq したいときのもう一つの方法として、連想配列を使う方法があります。特定の値を除外したいなど、ちょっとデータを加工したいときになんかしらの言語を使うかんじです。 php だったら (ひさしぶりの) php でやるなら、とりあえず配列のキーにいろいろ突っ込んでいって、最後まで読んだらキーのリストを眺めればいいわけですね。 <?php $tmp = array(); while ($id = get_next()) { $tmp[$a] = 1; } $uinq_list = array_keys($tmp); けれど、やりたいことはデカい int 集合なんで、phpなんかでやってると遅そうだし、やっぱ awk だよな、と思うわけです。 awk (oawk), nawk, gawk 今回の環境は Solaris 10 (5/09) です。 a