付録E: Applied Category Theory 実装カタログ

本付録は、Applied Category Theory（ACT）の実装・研究成果を、 本書の設計成果物、Context Pack、レビュー、CI へ接続するためのカタログです。 インストール手順や言語入門ではなく、「どの問題で参照するか」と 「どこで過信してはいけないか」を判断する入口として使います。

確認日: 2026-06-06。 外部ツールの成熟度や公開 URL は変わるため、採用前には公式ページ、論文、 リポジトリの最新状態を確認してください。

使い方

1. まず「使いどころ」で、自分の課題が統合、配線、効果、資源、差分のどれかを選ぶ。
2. 「本書での対応章」へ戻り、Context Pack や Diagram に落とす。
3. 「注意点」をレビュー条件へ変換する。
4. 採用する場合は、公式 URL と確認日を Issue / PR に残す。

このカタログは、ツールを推奨順位で並べたものではありません。 本書の章に対応する「再参照地図」です。

カタログ一覧

章別の引き方

第7章: 統合・移行・差分

• CQL:
  • schema、mapping、migration、lineage を具体的に考える入口。
  • Context Pack v2 の data_contracts.schemas、mappings、migration_verification に接続する。
• Pijul / patch theory:
  • patch を履歴ではなく意味を持つ変更単位として見る入口。
  • GitHub PR 運用を置き換えるのではなく、conflict resolution と merge invariant を考える補助線にする。

第8章: 配線・分業・共同モデリング

• Catlab.jl:
  • wiring diagram / monoidal modeling を、計算可能な構造として試す入口。
  • proof assistant ではないため、検証済み主張にしたい場合は別の証跡が必要。
• GATlab:
  • 語彙・構造・interface を GAT として機械可読化する研究導線。
  • 本書では formalization_level と「比喩 / 対応づけ / 検証条件」の分離に接続する。
• CatColab:
  • 複数人でモデルを作り、概念モデルを共有・批評する入口。
  • 共同編集対象に機密データや未公開設計を含める場合は、権限と公開範囲を先に決める。

第9章: 効果・handler・資源

• OCaml effects:
  • effect handler を実用言語の制御抽象として確認する入口。
  • 静的 effect safety がないため、未処理 effect はテスト・レビュー・設計規約で補う。
• Koka:
  • effect types と handlers を、型システム側から整理する入口。
  • 本書では effects.operations / handlers / effect_safety_notes の設計に接続する。
• Granule:
  • graded / linear resource reasoning の概念整理に使う。
  • Context Pack v2 の resource_constraints.linear_resources と相性がよい。

カタログ項目を Issue / PR に落とすテンプレート

act_catalog_entry:
  name: <tool-or-research-name>
  official_url: <official-or-paper-url>
  confirmed_at: "YYYY-MM-DD"
  source_type: official-site # official-site | repository | paper | release-note
  use_case:
    - <what-problem-it-helps>
  book_chapters:
    - chapter07
  maps_to_context_pack:
    - data_contracts
  not_for:
    - <what-not-to-claim>
  maturity_notes:
    - <research/prototype/production caveat>
  review_questions:
    - <question reviewers must ask>

レビューコメントへ落とすときは、次の形にします。

このPRでは <tool-or-research-name> を <use_case> の参照として使っている。
公式URLは <official_url>、確認日は <confirmed_at>。
<not_for> という限界があるため、本文では <unsafe-claim> と断定しない。
Context Pack では <maps_to_context_pack> に対応させ、検証は <review_questions> で確認する。

採用前チェックリスト

• 公式 URL または論文 URL を Issue / PR に残した。
• 確認日を残した。
• 本書のどの章・どの Context Pack フィールドに接続するかを書いた。
• 「できること」と「しないこと」を同じ箇所に書いた。
• 形式証明、production 利用、GitHub 標準運用との互換性を過大評価していない。
• CI、レビュー、手動確認のどれで検証するかを分けた。

関連導線

• 統合・移行の設計: 第7章
• 分業と配線: 第8章
• 効果境界: 第9章
• 実装・研究URL一覧: 付録C: 参考文献
• テンプレート化して自案件へ移す: 付録A: 設計成果物テンプレ集