SETI@homeが31日に停止するという話だったけど、今日の時点でタスクが落ちてこなくなったな。