ボランティアコンピューティング — SETI@homeとBOINCの歴史

1999年、世界中の家庭で動くスクリーンセーバーが、アレシボ電波望遠鏡の観測データを解析し始めました。画面には星空と信号のグラフが浮かび、持ち主が眠っている間も、PCは地球外知的生命の痕跡を探し続けました。SETI@homeが多くの人を惹きつけたのは、宇宙人を見つけられるという約束ではありません。机の上の計算機が本物の科学装置の一部になれる、というその参加のかたちでした。

ボランティアコンピューティングは、一般の参加者が持つコンピューターの処理時間やストレージを研究へ提供する分散計算です。端末はCPUもOSもばらばらで、いつ切れるか分からず、運営側から遠隔で管理することもできません。このばらつきを前提に仕事を分割し、配り、回収し、検証する。そこが、同じデータセンターに収まったクラスタとの大きな違いです。

科学者にとっては、買おうにも買えない規模の計算資源を得る方法です。参加者にとっては、計算を通じて研究に加わる市民科学です。ただし「使っていないCPU」は、ただで手に入る資源ではありません。電力、発熱、通信、機器の寿命はすべて参加者が引き受けますし、研究の目的と運営者を信頼できるかを自分で判断する必要もあります。

ボランティア計算は市民科学の一形態になり得ますが、市民科学のすべてが計算資源の寄付というわけではありません。Galaxy Zooのように人の目と判断を使う活動もあれば、センサーによる観測や現地調査もあります。逆にボランティア計算は、いったん動き出せば人の判断をほとんど求めず、端末が裏側で黙々と仕事を進めます。

BOINCは科学プロジェクトそのものではなく、独立した複数のプロジェクトが共通して使えるミドルウェアです。各プロジェクトは自前のサーバー、アプリケーション、研究目的、検証方法を持ちます。参加者は一台のBOINCクライアントを複数のプロジェクトへ接続できます。

1996年1月にGeorge Woltmanが始めたGIMPS（Great Internet Mersenne Prime Search）は、候補となる指数を参加者へ割り当てます。参加者はLucas–Lehmerテストなどを走らせ、巨大なメルセンヌ素数を探します。初期の割り当ては電子メールでしたが、PrimeNetによって、大量の端末と仕事を自動で管理する仕組みへ発展しました。2024年には既知で52番目のメルセンヌ素数 `2^136279841−1` が見つかり、2026年8月時点でも検査と再検証が続いています。

1997年のdistributed.netは、RSA LaboratoriesのRC5暗号チャレンジの鍵空間を小さな区画へ分け、インターネット上の参加端末で総当たりしました。RC5-56は、distributed.netが探索を始めてから212日で正解の鍵にたどり着いています（RSAチャレンジの開始日から数えると267日）。56ビット鍵が現実にどれほど弱いかを見せただけでなく、キーサーバー、プロキシ、クライアントで仕事を分け、端末がそれぞれ独立に探索して結果を戻すという初期の代表例にもなりました。

SETI@home自身の公式な回顧も、GIMPSとdistributed.netが先行していたと記録しています。SETI@homeの歴史的な重みは「最初」であることではありません。科学の目的と、目に見えるスクリーンセーバーと、世界規模の参加者共同体を一つに結び、ボランティア計算を広く知らしめたことにあります。

David Gedyeは1995年、インターネットにつながった多数のPCを仮想的なスーパーコンピューターと見なし、電波によるSETIへ使う構想を提案しました。公開運用は1999年5月17日に始まり、アレシボなどの電波観測を小さなワークユニットへ分割して家庭のPCへ配りました。クライアントは周波数の分析、ドップラードリフト、パルスなどを探し、候補をBerkeleyへ返しました。

Classic版では、解析アプリを更新するたびにクライアント全体を配り直す必要があり、研究チームは基盤の保守に多くの時間を取られました。2002年に開発が始まったBOINCは、プロジェクト固有の科学アプリと、汎用の配布・実行基盤とを切り分けます。SETI@homeは2004年からBOINC版を公開し、Classicの最後のワークユニットは2005年12月15日に処理されました。

2020年3月31日、SETI@homeは新しいワークユニットの一般配布を止め、「hibernation」に入りました。ねらいは、それまでに積み上がった検出結果の後段解析に集中することです。ウェブサイトと記録はそのまま残り、2025年には観測・解析系とNebulaバックエンドを記述した論文がまとめられました。「宇宙人を見つけられなかったから突然終了した」という単純な物語ではありません。

SETI@homeの家庭PC側の解析は、電波データから約120億件の検出を取り出しました。後段のNebulaは、人工電波干渉（RFI）、既知のテスト信号、空の位置、周波数、時間をおいた反復などを手がかりに、それらをまとめて点数をつけます。単発の検出が大量にあること自体は、地球外技術の候補を意味しません。

上位の候補は人の目でも確認され、約100の方向と周波数帯が追観測の対象として選ばれました。UC Berkeleyの2026年1月の発表によると、中国のFAST望遠鏡で2025年7月から再観測が進み、そのデータはいま解析の途中にあります。したがって、この候補数を「約100の地球外信号」と言い換えてはいけません。

科学的な成果は、発見の有無だけではありません。どの種類・強度の信号ならこの探査で検出できたのかを定量化し、RFIの除去から候補の順位づけ、再観測までを検証できる手順として残したことも成果です。そして、数百万人規模の市民が長期の観測計算を共同で支えたという制度上の実験は、その後のBOINCの広がりへ直接つながりました。

研究者側のwork generatorが、入力ファイルとワークユニットを作ります。feederは、まだ送っていないタスクの実体をデータベースから共有メモリのキャッシュへ補充します。server schedulerは、クライアントからの要求に対し、プラットフォーム、アプリの版とplan class、CPU/GPUの能力、メモリなどが噛み合うタスクを返します。プロジェクト間の資源配分に従って、どの仕事をいつ取りに行き、どの順で走らせるかを決めるのは、端末側のclient resource schedulerです。クライアントはアプリと入力をダウンロードし、低い優先度で実行し、チェックポイントを保存しながら結果をアップロードします。

端末が返事をしない、期限を過ぎる、計算機が止まる、誤った出力を返す。こうしたことは例外ではなく、日常の運用条件です。必要なら同じワークユニットから別のタスクを作り、ほかのホストへ送り直します。validatorは、複数の結果が十分に一致するか、あるいはアプリ固有の正しさの条件を満たすかを判定し、代表となる結果を選びます。それを科学側のデータベースへ取り込むのがassimilatorです。

BOINCが、常に同じ仕事をちょうど2台へ送るわけではありません。プロジェクトはinitial replication、minimum quorum、adaptive replicationを設定できます。計算そのものを別の方法で検証できるなら、quorumが1ということもあり得ます。浮動小数点の値には差が出るため、ビット単位の完全一致ではなく、許容誤差、同種のホスト同士の比較、アプリ固有のvalidatorを使う場合もあります。

BOINCは、一種類のプロセッサだけを前提にしていません。同じ研究アプリケーションでも、x86版とArm版のCPU向け、NVIDIA・AMD・IntelのそれぞれのGPU向け、さらにOSやドライバごとに別の版があり得ます。端末にGPUが載っているだけでは仕事は動きません。プロジェクト側が、そのハードウェアとソフトウェア構成に合うアプリケーションを作って配る必要があります。

2008年7月、GPUGridはBOINC上でNVIDIA CUDAを使い始めました。同年12月には、BOINCのNVIDIA GPU対応と、SETI@homeのCUDA版アプリケーションが告知されています。SETI@homeは、このCUDA版の開発でNVIDIAから技術支援とハードウェアの提供を受けたと記録しています。ただし、これはGPUが科学計算全般でCPUを置き換えた日ではありません。並列化できる計算部分、メモリ転送、必要な精度、移植と検証にかかるコストによって、CPU版とGPU版は今も役割を分け合っています。

スケジューラは、プラットフォーム、アプリの版、plan class、端末の性能を見て仕事を割り当てます。プロセッサ、コンパイラ、数学ライブラリが違えば、浮動小数点の丸めや演算の順序も変わり得ます。そのためプロジェクトは、許容誤差、同種のホスト同士の比較、アプリ固有のvalidatorを使って結果を扱います。Intel、AMD、NVIDIAなどがハードウェアを供給したことと、各社が個別の研究プロジェクトを直接運営・支援したこととは、別の事実です。

2000年代には、互いに無関係な二つの「Cell」が分散計算の歴史に現れました。Cell Broadband Engine（Cell/B.E.）は、Sony、Toshiba、IBMが共同で設計したプロセッサです。cell computing Geneは、2005年当時の株式会社NTTデータ（旧法人、現・NTTデータグループ）が発売したBOINCベースのミドルウェア製品です。一方はチップ、もう一方はソフトウェア製品であり、層を分けて扱わなければなりません。

PS3版Folding@homeは2007年3月22日に提供が始まりました。Stanfordのサーバーから分子動力学の仕事を受け取り、Cell/B.E.のPPEが全体を制御し、アプリケーションから使える6基のSPEがSIMD演算を担いました。2009年の査読論文は、当時およそ5万台の稼働中PS3を、実際のアプリケーション速度で約1,400 TFLOPSと推計しています。Sonyが公表した累計参加者数やペタフロップスの記録は、別の時点・別の単位の数字です。同時に動いていた台数でも、期間全体の持続性能でもありません。

Cell向けの分子動力学論文は、local store、DMA、演算とメモリアクセスの釣り合いを設計した方法論の成果です。PS3は、向いているシミュレーションでFolding@homeの基盤を大きく増強しました。ただし、個別の疾患研究の成果をPS3だけの功績として切り分けられる公開資料はありません。「PS3が治療薬を発見した」のではなく、家庭用の量産ハードウェアが研究に使えるシミュレーションの量を広げた、と記録するのが正確です。PS3向けクライアントは2012年11月6日に終了し、Folding@home本体はその後も続きました。

Geneは2005年9月29日、税込36,750円の一般希望小売価格で発売されました。サーバーライセンス1本で、購入者が所有し、把握し、管理しているクライアントPCを台数無制限につなげられ、サーバーがHTTPでジョブを配って回収します。BOINC APIに対応するC/C++ SDK、日本語の管理コンソール、導入資料が付きました。ただし、手持ちのプログラムを何でも自動で並列化してくれる製品ではありません。利用者の側でアプリケーションを分割・移植し、結果の意味と検証の方法を設計する必要がありました。

アーカイブに残る旧公式資料によると、GeneはBOINC 4.26、Apache 2.0.50、PHP 4.3.10、MySQL 4.0.22などを束ねていました。動作環境は、サーバーがFedora Core 3、クライアントがWindows 2000/XPまたはFedora Core 3とされています。FFT、遺伝的アルゴリズム、モンテカルロ法、CGレンダリング、Excelマクロ、データベースやログの解析は用途の例であり、それらのアプリケーションが同梱されていたという意味ではありません。これは2005年のソフトウェアを保存した標本であって、いまの環境への導入を勧める仕様ではありません。

NTT DATAの同じブランドには、別の系譜もありました。2003年の公開実証、2004年にUnited Devices GridMPやIBMのハードウェアなどを組み合わせた税込850万円のcell computing BOX、2005年のBOINCによる公開基盤βirthが先行します。βirthでは、慶應義塾大学・東亞合成とのゲノム研究、理化学研究所との11億超に及ぶタンパク質表面の組合せ探索、CG、2007年の4K「関ヶ原」レンダリングなどを配布しました。これらの台数・性能・成果を、Geneの販売実績へ流用してはいけません。

旧公式サイトの保存記録によれば、Geneの販売は2006年1月末で終わりました。ただし、サポートの終了日までは確認できません。βirthは2008年3月31日に終了していますが、これはGeneの終了日を示すものでも、NTT DATAの分散計算活動すべてが終わったことを示すものでもありません。また、2005年の発売主体は、のちの組織再編でNTTデータグループへ商号変更した旧法人です。現在の同名の国内事業会社へ、過去の製品を遡って帰属させることはしません。

二つの事例に共通するのは、手元の機械を小さなジョブへ動員するという外形だけです。PS3では、一般のボランティアが同じ民生プロセッサを研究へ提供しました。Geneでは、一つの組織が管理する機種ばらばらのPC群へBOINCのジョブを配りました。ハードウェア、ミドルウェア、サービス、プロジェクト、企業、参加の権限、検証を層ごとに分けて保存すること。それがコンピューターの歴史を残す資料の作法です。

プロジェクトは、参加者のホストを管理できません。オーバークロックによる計算間違い、故障、期限切れ、改変されたクライアント、意図的な偽の結果まで想定し、冗長な計算とvalidatorで、返ってきた結果を疑ってかかります。一方の参加者は、プロジェクトが配る実行コードを自分のPCで動かすのですから、運営主体とアプリを信頼するほかありません。

署名されたアプリケーションは、配布物がそのプロジェクトの鍵で署名されたことを示し、途中の改変にも気づきやすくします。ただし、研究目的の妥当さや運営の善意までは保証しません。BOINCの各プロジェクトは自律していて、BOINCという名前が全プロジェクトの中央審査を意味するわけでもありません。参加する前に、運営機関、研究目的、公開された成果、データの扱い方針、掲示板の運用、公式のプロジェクト一覧を確かめてください。

所有者の許可がない職場・学校・他人の端末で動かしてはいけません。CPU/GPUの使用率、実行時間、温度、ディスク、ネットワーク、バッテリーの条件を絞り、最初は資源の割り当てを小さくして様子を見ます。「idle時だけ」でも電力と発熱は増えますし、とくにGPUでは消費電力と冷却を無視できません。

BOINCのクレジットは、検証された計算貢献を数値として書き留める、社会的な会計です。お金でもなければ、プロジェクトの所有権でも、研究結果の正しさそのものでもありません。ただし、ボランティア計算のすべてを「見返りが一切ない」とまとめてしまうのも不正確です。GIMPSには発見賞があり、distributed.netのRC5では賞金が分配された例もあります。日々の計算量に対する中心的な返礼が、売買できる通貨ではなく、科学への参加、クレジット、順位、バッジ、証明書だった。そう表現するのが正確です。

BOINCの設計資料は、リーダーボードが複数台のPC投入や機材の更新、専用機の購入を促し、チーム同士の競争が友人・家族・同僚の勧誘につながったと記録しています。累計クレジットと直近平均クレジット（RAC）、ホスト別・利用者別・チーム別の集計、プロジェクト横断のIDや第三者の統計サイトは、長期の蓄積と現在の活動とを別々に見せました。ポイントは飾りではなく、世界規模の共同体をつくる制度だったのです。

初期のSETI@homeは、タスク一つを一単位として数えていました。しかしタスクごとに計算量は違いますし、誤った結果にもクレジットが付いてしまう問題がありました。BOINCは、計算量の推定と検証を組み合わせ、公平さを高めようとしました。それでも、ハードウェア、アプリケーションの最適化、GPUの利用、プロジェクトごとのクレジット方針が違うため、プロジェクト間で完全に比べられる尺度にはなりません。

ランキングは参加を促す一方で、クレジットのためだけに電力を余計に使ったり、許可のない端末を動かしたり、不正なクライアントを作ったりする誘因にもなります。科学の目的と、資源の負担と、共同体からの承認をどう釣り合わせるか。これはミドルウェアだけでは解けない設計課題です。

ビットコインは2009年以後、計算をプロトコル上の報酬と市場価値へ結びつけ、参加者が比べる機会費用を変えうる別の制度を実装しました。しかし、SETI@homeの参加者減少はビットコイン以前から始まっていますし、BOINCの調査は、端末の不具合、複雑さ、関心の薄れ、電力など複数の離脱理由を記録しています。BOINCやFolding@homeから暗号資産へ移った端末の数を測る横断的なデータもありません。だから「Bitcoinがボランティア計算を衰退させた」とは断定できません。

次の表の状態は、2026年8月22日に各プロジェクトの公式情報で確認したものです。稼働中とあっても仕事が常に配られるとは限らず、研究のバッチとバッチの合間には待ち行列が空になることもあります。

このほかにも、参加のモデルは多くの分野へ広がりました。Climateprediction.netは気候のアンサンブル計算、LHC@homeはCERNの加速器・粒子シミュレーション、PrimeGridは素数探索、Quake-Catcher Networkは家庭のセンサーによる地震観測です。一つのプラットフォームが天文学、医学、数学、気候、物理学を横断できること。それがBOINCの大きな遺産です。

BOINCとマイニングプールは、サーバーから仕事を受け取り、手元の機械が同じ計算を繰り返し、結果やシェアを返すという外形がよく似ています。似ているのは、散らばった大量の計算資源を小さな仕事へ束ねる、クライアント/サーバー方式の作り方です。しかし、計算の意味も、信頼のモデルも、検証も、報酬も根本的に異なります。

BOINCのクレジットに最も近く見えるのはプールのシェアですが、シェアはビットコインの合意に使うブロックではありません。プールの内部で各マイナーの貢献量を測るための、難易度の低い証明です。BOINCの計算を、そのままビットコインのProof of Workへ置き換えることもできません。科学計算は、検証にかかるコストも、入力の性質も、進捗をどれだけ再利用できるかも一定しません。一方でビットコインが必要とするのは、作るのは難しく、検証は極端にたやすいハッシュのパズルです。

ボランティア計算に向くのは、大量の独立したタスクへ分けられる問題です。入力と結果の通信量が計算時間に比べて小さいこと、途中で止まっても再開できること、返ってきた結果を安く検証できることも条件になります。逆に、一歩ごとに全ノードが密に通信するシミュレーションや、巨大な共有メモリを必要とする処理には向きません。

研究チームの側には、サーバーの運用、アプリケーションの移植、セキュリティ対応、参加者への支援、結果の取り込み、長期保存という負担があります。人気が急に高まれば仕事の生成やアップロード用サーバーが詰まり、研究費が尽きればプロジェクトのサーバーを維持すること自体が難しくなります。SETI@homeの経験からBOINCが生まれたのは、科学者が同じ基盤の問題を何度も作り直さずに済むようにするためでした。

近年はクラウドや研究用クラスタが手に入りやすくなりました。PCが空いている時間、端末の携帯化、電力コスト、GPUや加速器の専用化も、以前とは条件が違います。それでも、長期にわたる大量の独立タスクと、科学に参加する共同体の両方を必要とする領域では、ボランティアコンピューティングならではの価値が残ります。

SETI@homeは、地球外文明の確認という最終目標にはまだ届いていません。しかし、何百万もの人が自分のPCを宇宙へ向け、長期の探査を計算で支えた事実は消えません。プロジェクトの価値を「発見したか」の一問に縮めてしまうと、感度の限界、解析手法、追観測の候補、市民を巻き込んだ経験という成果を見失います。

BOINCは、科学のアプリケーションと参加者側の基盤とを切り分け、一つのクライアントから複数の分野へ参加できる共通の土台を作りました。ワークユニット、期限、チェックポイント、検証、代表となる結果、クレジットという語彙は、信頼できない端末を科学へ編み込むための設計知です。

この歴史は、ビットコインへ一直線に収束していく前史ではありません。科学の結果を作る計算、企業のサービスを複製するための合意、公開台帳を守るProof of Workは、それぞれ別の目的を持っています。それでも、世界中の計算機が一つの問いに参加できるという感覚は、分散コンピューティングが技術であると同時に文化でもあることを教えてくれます。