というか、ですね [かなりダメな話]

前のエントリで『プリンキピア・マテマティカ』の定理54.43およびこの定理54.43を用いてなされる"1+1=2"の証明ステップ数を調べるために使ったMetamath programを公開しているその名もMetamathなるページのProof Explorerというセクションがやばすぎます。「やばい」という、本来わるい意味にしか使われていなかった語がいつしかどちらかと言えばよい意味で使われるようになった経緯が得心できるぐらいにやばいです。読まなければならないもの、書かなければならないものを山ほどかかえ、おまけに明日は教授との会合やら事務仕事やらで普段平生より早く学校に行かなければならないというのに、ある定理からそれに使われているサブ定理を追ってるうちに、もうこんな時間（午前3時過ぎ）ですよ。量子論理のセクションもありやがるし、なんつうか、いい意味に転用されるようになった「やばい」が、ぐるっと一周してわるい意味に戻ってきた、そんな感じですね。