編集後記

★ Mozillaに任意ドメインのCookieが漏曳するセキュリティホール

対策はCookieをoffにすればよし。1.1Betaでは修正されているとのこと。1.0.1 Nightlyでも修正されているらしい。

しかしなんだかな。

★ 隕石とは

隕石 ... 地上に落下した天体の総称

[美星町「星のデータベース」より引用]

小惑星2002 NT7を「隕石」とよんでいる人もあるみたいです。で、今になって、普段なにげに使っている「隕石」という用語の定義が気になってしまいました。ということで「星のデータベース」を引いてみたらこういうことでした。

さらにWebを検索してみても、「隕石の母天体の一つに小惑星が考えられ」というような記述が多く見られるので、まだ衝突していない天体を「隕石」とはよばないようです。