BOINCはSETI、Rosetta、Einsteinを動かしてる。ABCとTanpakuは終了したな。