| 機関 | 期間 / 契約 | ユーザー数 | 費用 | 根拠 |
|---|---|---|---|---|
| 🇺🇸 NASA | `80NSSC25FA108`, 2024 | 最大 70 | \$24,569.35 | 出典 |
| 🇺🇸 NASA | `80NSSC25FA471`, 2025–26 | — | \$36,183.91 | 出典 |
| 🇺🇸 NIH | FY2024 | 最大 25 | \$9,235.05 | 出典 |
| 🇺🇸 米海軍研究所 | `N0017323P5005`, 2023–24 | 37 | \~\$11,900 | 出典 |
| 🇺🇸 NSWC Philadelphia | `N6449821P5224`, 2021–24 | — | \~\$24,800 | 出典 |
| 🇺🇸 米国財務省 OFR | `20341524P00017`, 2024–25 | — | \~\$19,400 | 出典 |
| 🇩🇪 マックス・プランク協会 / MPDL | `42823`, 2026–29 | 3,600 | €553,672 | 出典 |
| 🇩🇪 ロストック大学 | 2023 年から | — | — | 出典 |
| 🇩🇪 ミュンヘン工科大学 | 現在 | — | — | 出典 |
| 🇩🇪 コンスタンツ大学 | 現在 | — | — | 出典 |
| 🇩🇪 GWDG | 遅くとも 2021 年から | — | — | 出典 |
| 🇩🇪 マインツ大学（ヨハネス・グーテンベルク大学） | 2025 年 5 月まで | — | — | 出典 |
| 🇧🇪 フォン・カルマン研究所 | 2020 年から | 290+ | — | 出典 |
| 🇺🇸 ブルックヘブン国立研究所 | 2021 年トライアル | — | — | 出典 |
| 機能 | Overleaf Community | Overleaf Server Pro | Ayakaleaf Pro （当社） |
|---|---|---|---|
| 強力な LaTeX エディター | ✓ | ✓ | ✓ |
| 完全なプロジェクト履歴 | ✓ | ✓ | ✓ |
| コメント | X | ✓ | ✓ |
| リアルタイムの変更履歴 | X | ✓ | ✓ |
| 手軽な社内コラボレーション | X | ✓ | ✓ |
| プライベートテンプレート管理システム | X | ✓ | ✓ |
| Git 連携 | X | ✓ | ✓ |
| 記号パレット | X | ✓ | ✓ |
| 管理パネル | X | ✓ | ✓ |
| SSO 連携 | X | ✓ | ✓ |
| GitHub 連携 | X | X | ✓ |
| Zotero 連携 | X | X | ✓ |
| 高度な参考文献検索 | X | X | ✓ |
| Pandoc インポート/エクスポート | X | X | ✓ |
| Python スクリプトランナー | X | X | ✓ |
「Overleaf は終わった、Prism が最高の無料 LaTeX エディターになる」と盛んに喧伝されていますが、私たちは Prism がまだ成熟した製品には程遠いと考えています。
下のスクリーンショットは、OpenAI コミュニティでの Prism に関する議論を写したものです。ほとんどのコメントが、Prism はバグが多く、まだ日常的な使用には耐えないと述べています。
信頼性の高いオンライン LaTeX エディターを構築するのは、決して簡単ではありません。 私たちの観察によると、Prism はプロジェクトを開いた時点でサンドボックスを用意し、それを実行し続けています。これはおそらく Codex をバックグラウンドで利用可能な状態に保つためです。これにより、ユーザーが AI との会話を始めたときに Codex が素早く応答できます。私たちのテストでは、各サンドボックスに約 5 vCPU、6 GB のメモリ、64 GB のディスク容量が割り当てられていました。
このアーキテクチャでは、数千人のユーザーが同時に LaTeX プロジェクトを編集する場合、かなりの計算オーバーヘッドが生じる可能性があります。Ayakaleaf は異なるアプローチを採用しています。サンドボックスはコンパイルが要求されたときにのみ作成されます。各コンパイルは 1 vCPU と 1 GB のメモリに制限され、コンパイルが完了するとサンドボックスは終了します。これにより常時のリソース消費が大幅に削減され、大規模な導入における容量計画がより予測しやすくなります。
より広い視点で見ると、Prism は、強力なモデルや成熟したオープンソースソフトウェアのエコシステムを利用できたとしても、AI の機能と信頼性の高いオンライン開発環境を組み合わせることがいかに難しいかを示しています。AI は体験を向上させることはできますが、堅実なシステムエンジニアリングの代わりにはなりません。結局のところ、ユーザーが頼りにするのは、信頼性が高く、予測可能で、安定したサービスなのです。
### なぜ Ayakaleaf Pro なのか？
**Ayakaleaf Pro** は Overleaf Community Edition のフォークで、Server Pro レベルおよび SaaS レベルの機能をセルフホスト環境にもたらします。ユーザー単位のライセンスは不要です。アップストリームの Overleaf コードベースと同期し続けているため、使い慣れたエディターとワークフローをそのまま利用でき、さらに次の機能が加わります。
* サンドボックス化された LaTeX コンパイル
* 複数の TeX Live バージョン
* 変更履歴とコメント
* Git および GitHub 連携
* SSO と管理パネル
* プライベートテンプレート管理
* Zotero と高度な参考文献検索
* Pandoc インポート/エクスポート
* Python スクリプトランナー
* ユーザー単位のライセンス料なし
私たちの目標は、Server Pro ライセンスや SaaS のサブスクリプションなしで、より完全なセルフホスト型 Overleaf 体験を提供することです。Ayakaleaf Pro は、使い慣れた Overleaf のワークフローとアップストリームとの互換性を維持しながら、コラボレーション、管理、連携、安全なコンパイルのための機能を追加しています。
### なぜ私たちは車輪の再発明を繰り返すのか？
ここで問うべき、より大きな疑問があります。***成熟したオープンソースプロジェクトがすでに難しい問題のほとんどを解決しているのに、なぜゼロから書き直そうとする衝動がこれほど多いのか***？
エディター、リアルタイム共同編集レイヤー、コンパイラーパイプライン、そして長年積み重ねられたエッジケースの修正を再実装するのは非常にコストがかかります。しかも、その労力の多くは、元のプロジェクトがとうの昔に解決した問題を再発見することに費やされます。多くの場合、堅実な基盤を拡張し、足りない部分をコントリビュートして還元するほうが、より実用的なエンジニアリング上の選択です。
私が本当に言いたいのはこういうことです。
> *AI の時代、人々は見せびらかすのが大好きだ。*
「自分だけの Overleaf を作った」は「Overleaf にいくつか機能を追加した」よりもはるかに印象的に聞こえます。だからこそ、人々は前者の話をしたがるのです。新しい「AI LaTeX エディター」が毎月のように現れるように見えるのも、そのためです。
しかし実際には、こうした AI 支援による書き直しは、Overleaf のように 10 年にわたって現実の環境で鍛え上げられてきたものの信頼性と成熟度には遠く及びません。2 か月もすれば、2 月のクリスマスプレゼントのように自作のエディターを放り出すでしょう。間違いありません。
This documentation is built and hosted on [Mintlify](https://mintlify.com), a developer documentation platform.