無限に届くメールを整理するために Gmail の「フィルタ設定」を使っている人は多いと思う． ラベルを付けたり アーカイブをしたり 削除をしたり 僕自身 Gmail を10年以上（メールを遡ったら2006年頃から）使っているため，歴史的な経緯から「フィルタ設定」…