午前3時からメール処理など。メーリングリストの宛先を携帯電話にしている人は、もしかしたら起きてしまうんじゃないかと思わなくもないのだが、そういう場合は携帯ではないメールアドレスに変更してくれるだろうし、あまり気にしないことにする。（情報系の…