2013/7/1付で Googleリーダーが終了となってしまいました。情報を収集するのに便利なサービスだったので実に残念。 購読していたRSSの情報は7/15までは Googleデータエクスポート でエクスポートできるようなので、代替先をまだ検討中の人は取り急ぎエクスポ…