元タイトル：『DeepSeekの「自己進化」青写真、明らかに』

Jay 凹非寺量子位より | 公式アカウント QbitAI

DeepSeekが北京大学と共同で発表した最新論文が、Harness版の鯨のベールを剥がした。

その名は『A Programming Paradigm for Spatiotemporal Composability』、中国語訳は『時空間的合成可能性を扱うプログラミングパラダイム』となる。

少しややこしく聞こえるが、一文だけ覚えておけばいい——

全文はCordisを中心に展開している。これは黒鯨の中核であり、自由に抜き差しできる「レゴのベースプレート」である。

ここでは、すべてがプラグインであり、すべてが組み換え可能である。

これが、「黒鯨」の開放度がこれほど高い理由、そして公式がここまでプラグイン作成やHarnessの魔改造を奨励している理由も説明している。

情報量が爆発している論文であり、DeepSeek Harnessチームが長らく力を蓄えてきた集大成と言えるだろう。最終的に大きな黒鯨という形で見事な成果を上げた。

注目すべきことに、これはDeepSeekにとって今年7本目の論文であり、北京大学との共同研究は今回でN回目でもある。

全体で80ページ以上あり、論文を最初から最後までじっくり読み通し、いくつかの要点をまとめた——

1、Cordisは汎用的な動的合成セマンティクスを提供する。Contextによって管理されたコンポーネントは動的にロード・アンロードでき、管理対象の副作用を自動的に回収する。

2、数学的基盤は型理論における2つの古典的概念、エフェクト（effect）とコエフェクト（coeffect）に由来する。

3、実験室のおもちゃではない。この設計はすでにKoishiチャットボットフレームワーク上で4年間稼働しており、4000を超えるコミュニティプラグインが本番環境で検証されている。

これらすべてが、ただ一つの野心に奉仕している——

自己進化。

01 時間と空間、Harness自己進化の二つの壁

ソフトウェアの世界には直感に反する現実がある。ほとんどのプラグインシステムでは、プラグインをアンインストールした後、ホストプロセス全体の再起動が必要になる。

つまり、削除したのは1つのプラグインだけかもしれないが、それに付き合って再起動されるのは、すでにロード済みの全プラグインなのだ。

そう、「プラグイン」は、実際には差し込んだら抜けなくなる。

VSCodeは典型的な事例だ。

論文によると、2026年6月9日時点で、VSCode Marketplaceの上位100拡張機能のうち87個に実行可能コードが含まれており、いったん有効化すると実行時に単独でアンロードできず、無効化または削除後は拡張ホスト全体を再起動しなければならない。

これはVSCodeだけの問題ではない。論文は、ほとんどすべてのプラグインアーキテクチャに同種の欠陥が存在し、程度が異なるだけだと指摘している。

この問題は通常のプラグインシステムでも十分厄介だが、コストが再起動だけで済むならまだ許容できる。

しかしエージェントの文脈では、まったく別の問題になる。

通常の馬の鞍には、ツールセット、実行環境、権限制御、サンドボックス、セッション状態、記憶システム……がぎっしり詰まっており、それ自体が極めて複雑なエンジニアリングシステムである。

そして今、「自己進化AI」という孫悟空まで現れ、うっかりすると自分自身を改造して消し去ってしまいかねない。

これが、DeepSeekのこの論文が自己進化に切り込む角度でもある。

未来のエージェントは、タスクに応じて自分でツールを生成し、自分でそのツールをランタイムに組み込み、問題を発見したら再び自分で置き換えるかもしれない。

もし1行コードを変更するたびにプロセス全体を再起動しなければならないなら、これまで蓄積したコンテキストやキャッシュがすべて失われかねない。

これが時間的な合成可能性（temporal composability）だ。

モジュール間の依存関係を各モジュール自身のパッチ当てに頼ると、今日はAがあるか確認し、明日はBを推測し……うっかりすると循環依存を持ち込み、再ロード時に爆発する。

これが空間的な合成可能性（spatial composability）だ。

そしてこの二つの難点こそ、Cordisが解決しようとする2つの問題である。

DeepSeekの解法

まず2つの数学的知識を補足しておきたい。これらは本論文の2本の理論的支柱でもある——

エフェクト（effect）とコエフェクト（coeffect）である。

簡単に言えば、エフェクトは「プログラムが世界に与える影響」を記述し、コエフェクトは「世界がプログラムに課す制約」を記述する。両者は双対関係にあり、エフェクトシステムが豊かにするのは型であり、コエフェクトシステムが豊かにするのはコンテキストである。

しかし問題がある。自己進化AIという文脈では、フレームワークは動的にロードされる。

古典的なエフェクト／コエフェクトは静的型システムのツールだ。

時間と空間の二つの壁を同時に乗り越えるため、チームはこの2つの概念を、エージェントのランタイム向けに適応・アップグレードした——「可逆エフェクト（revertible effects）」と「リアクティブコエフェクト（reactive coeffects）」である。

可逆エフェクト（revertible effects）は、時間次元を狙い撃ちにする。

核心的な定義は一言だけだ。コンテキストへのすべての変更には、明示的な逆関数が対応していなければならない。そうすることで副作用が可逆になる。

プラグインのロード時、状態を変更するたびに対応する逆関数を記録し、順番に積み重ねて1本の「取り消しチェーン」にする。

プラグインのアンロード時にはこのチェーンを逆順に実行することで、システム状態をプラグインのロード前の状態に正確に復元できる。

皿の山のように、最後に載せた皿から先に取り去ると理解できる。

こうすれば時間順序は乱れない。

リアクティブコエフェクト（reactive coeffects）は空間次元を担当する。

Cordisでは、コンポーネントは自分が必要とする依存関係を宣言でき、それによって依存関係を解決可能にする。

例えば、あるチャットプラグインが「メッセージアダプタとデータベースが必要だ」と宣言したとする。2つの依存関係が両方満たされたときだけ、そのプラグインはACTIVEになる。1つでも欠けていればINACTIVEのままで、急いで起動せず、先に動いてからヌル参照でエラーを起こすこともない。

提供側が現れると、依存側は自動的に有効化される。提供側が撤収するときは、依存側が先に停止し、自分のエフェクトを取り消した後で、提供側がアンロードを完了する。

依存を提供する側がアンロードされると、依存側は自動的に停止する。依存が再びオンラインになると、依存側は自動的に回復する。このトポロジー編成は開発者が手書きするのではなく、宣言から自動的に導出される。

この2つの組み合わせが、Cordisの中核を構成する。

論文タイトルにある「時空間的合成可能性」の直感的な意味はここにある。

02 Koishi

それで、今述べたことは、実践による検証を経ているのか？

ある。

しかも、かなりの規模だ。

論文が実験検証に使ったのは、Koishiというチャットボットフレームワークである。

KoishiはCordisに基づいて構築されており、4年間で4000以上のコミュニティプラグインを蓄積し、インスタントメッセージングアダプタ、データベースドライバ、管理コンソール、さまざまなユーザー機能をカバーしている。

GitHubによると、Koishiはクロスプラットフォームで拡張可能、高性能なチャットボットフレームワークだ。

その名前とアイコンデザインは、東方Projectのキャラクター古明地恋（Komeiji Koishi）に由来する。

古明地恋は無意識的な行動をとるキャラクターであり、この名前にしたのは、チャットボットという主題を象徴すると同時に、開発者がそこに注いだ愛情も込められている。

なかなか面白いREADMEである。

では、Cordisとは何か。

Koishiの作者によると、Cordisという名前はラテン語の「心」に由来し、KoishiのすべてはCordisから始まるという。

メタフレームワークとして、Cordisは特定の領域や場面に結合していない。

それが提供する能力は、ほとんどのフレームワークにとって珍しくないもの——プラグインシステムだが、その背後には、ほとんどのフレームワークが達成していない目標がある：可逆性だ。

さらに、こんな言葉も残している。

私はそれが未来のソフトウェア（少なくとも私が開発するソフトウェア）の中核になることを望んでいる。

4年が経ち、DeepSeekのこの論文が検証結果を示した。

まずは時間次元の検証である。

Koishiでは、管理者はコンソールからプラグインを無効化でき、そのプラグインがシステムに与えた影響はその場で取り消され、他のプラグインは動作を続ける。

開発中、プラグインを修正して保存すると、修正されたプラグインだけが再適用され、キャッシュや接続はそのまま維持される。

次に空間次元の検証である。

Koishiエコシステムでは、IMアダプタがメッセージプラットフォームへの接続を提供し、データベースドライバが永続化ストレージを提供し、機能プラグインはこれらを依存として宣言して直接アクセスする。

実際の実行中、ストレージバックエンドを切り替えたり、アダプタに再接続したりする際、実際に依存が変化したプラグインだけが再び有効化され、依存が変わっていないプラグインは微動だにしない。

ここで重要なのは、これらのプラグインは通常、異なる作者によって独立して開発されており、互いの間における唯一の協調は、Cordisが強調するあのリアクティブコエフェクトだけだということだ。

このことは、動的な合成ルールの一式が、異なる作者によって貢献されたオープンなプラグインエコシステムで確かに機能することを示している。

しかし論文は、この事例を完璧なデモとして飾り立ててもいない。

チームは、現時点ではKoishi単一エコシステム、TypeScript単一言語の検証データしかなく、代替アーキテクチャとの対照比較が不足していることを認めている……

しかし最も重要なのは、自己進化を支えるエージェントHarnessのインフラという新たな方向性を示したことだろう。

今回発表されたDeepSeek Harnessこそ、Koishi Cordisのアップグレード版である。

03論文著者紹介

最後に恒例の論文著者について。

著者は3名で、北京大学とDeepSeekにまたがる。

第一著者はYifan Shi、北京大学出身で、同時にDeepSeekのメンバーでもある。

詳しく調べてみると、実は以前からDeepSeek V3 Technical Reportの中に彼の名前が登場していた。

この新論文で検証に用いられたプロジェクト——Koishi——も彼の手によるものだ。

「shi」に強いこだわりがあるようで、本名はYifan Shi、プロジェクト名はKoishi、GitHub名はShigmaという。

（doge）

本題に戻る。

Koishiは4年前のリポジトリで、現在5.7Kスターを獲得している。これがすべての源と言える。

なぜならCordisの概念も、Koishiの中で提唱されたからだ。

2023年、ShigmaはKoishiの公式ドキュメントに「可逆的プラグインシステム」という設計記事を書いた。これはほぼこの新論文の元祖と言える。

張偉（Wei Zhang）も北京大学出身で、北京大学コンピュータ学院ソフトウェア研究所の准教授である。

学院の公式サイトによると、張偉の研究分野は主にソフトウェア工学、プログラミング言語をカバーしている。

1999年、南京航空航天大学の工学熱物理専攻を卒業。その後コンピュータサイエンスへ転向し、2002年に南京航空航天大学でコンピュータサイエンスの修士号を取得した。

修士修了後、張偉は北京大学に進学して博士課程を続け、2006年にコンピュータソフトウェア・理論の博士号を取得した。

博士修了後、そのまま北京大学に職を得て、以後ソフトウェア工学やプログラミング言語などの研究・教育に従事している。

注目すべきは、早くも2021年のASEで、張偉はYifan Shiと協力していたことだ。

2024年には、2人はICSME論文「Focused: An Approach to Framework-oriented Cross-language Link Specification and Detection」を共同発表した。

最後はおなじみの人物だ。

崔添翼は、DeepSeek Harnessチーム責任者。浙江大学コンピュータサイエンス学部を卒業し、梁文锋の後輩にあたる。

学生時代、崔添翼はNOIP/情報学コンテストにより浙江大学への推薦入学を果たし、ACM国際大学対抗プログラミングコンテストのアジア地区大会で6回金メダルを獲得した。

卒業後は、Jane Streetの香港オフィスとニューヨークオフィスで計9年間勤務した。

論文リンク：https://github.com/cordiverse/paper

Koishi：https://github.com/koishijs/koishi

アドレス“0x268”がBinanceから9876 ETHを引き出し、約1600万ドル相当

人気記事