argue は何をしますか？
複数ペルソナによる構造化討論オーケストレーター。2人以上のペルソナが独立して/dogpileで調査し、/askでドメインの同僚に相談し、勝者を決めるのではなく、微妙な差異を考慮した統合解を目指して議論します。
なぜ単一モデルに聞くだけでは不十分なのか？
単一モデルの回答は自信に満ちていますが、平板です。難しい問題（コラッツ予想、P vs NP、意識、政策トレードオフ）を真に理解するには、以下が必要です：
- 同じ問題に対する複数のドメインレンズ
- 敵対的压力 — 各陣営が相手の推論をストレステストする
- 調査の深さ — 各ペルソナが独立して
/dogpile調査を行う - ソーシャルグラフ — ペルソナは
/askで同僚の専門家の意見を得られる - 譲歩の追跡 — 統合レポートは何が、なぜ譲歩されたかを記録する
- BDI重み付け推論 — ペルソナのブリッジウェイトが議論スタイルに影響する
アーキテクチャ
┌──────────────────────────────────────────────────────────┐
│ Argue オーケストレーター │
│ - 討論ループ（調査→主張→反論→振り返り） │
│ - 並行ペルソナ実行 │
│ - 収束ベースの終了 │
│ - 統合解生成 │
└──────────────────────────────────────────────────────────┘
│ │
┌────┴──────┐ ┌─────┴─────┐
│ ペルソナA │ │ ペルソナB │
│ (スレッド) │ │ (スレッド) │
├────────────┤ ├────────────┤
│ スキル: │ │ スキル: │
│ - dogpile │ │ - dogpile │
│ - ask │ │ - ask │
│ - memory │ │ - memory │
│ - taxonomy │ │ - taxonomy │
└────────────┘ └────────────┘
│ │
└──────────┬───────────────────┘
│
┌───────────────┴────────────────────┐
│ 統合エンジン │
│ - 各陣営の最も強力な議論 │
│ - 合意点 │
│ - 真の意見相違点 │
│ - 譲歩ログ │
│ - 未解決の疑問 │
│ - 微妙な差異を考慮した結論 │
└────────────────────────────────────┘
コマンド
# 2人のペルソナが質問について議論
./run.sh argue "コラッツ予想は決定可能か？" \
--persona-a embry --persona-b horus --rounds 5
# 3人パネル討論
./run.sh argue "AGIアラインメントへの最良のアプローチ" \
--personas embry,horus,brandon --rounds 7
# 自動選択されたペルソナによるクイック3ラウンド議論
./run.sh argue "マイクロサービスとモノリスのどちらを採用すべきか？"
# 中断された討論を再開
./run.sh resume <debate-id>
# 討論のトランスクリプトを表示
./run.sh transcript <debate-id>
# 統合レポートを生成
./run.sh synthesize <debate-id>
# 討論のステータスを確認
./run.sh status
討論ループ
各ラウンドは 調査 → 主張 → 反論 → 振り返り に従います：
ラウンド k:
┌─────────────────────────────────────────────────────────────┐
│ 1. 調査フェーズ │
├─────────────────────────────────────────────────────────────┤
│ 各ペルソナ: │
│ - 自身のドメインレンズから質問について /dogpile 調査 │
│ - 専門家の意見を得るために同僚に /ask する │
│ - 以前の議論や関連知識を /memory から呼び出す │
│ - 相手の以前の議論を弱点についてレビューする │
│ (予算: ペルソナあたりラウンド最大3回の調査呼び出し) │
└─────────────────────────────────────────────────────────────┘
↓
┌─────────────────────────────────────────────────────────────┐
│ 2. 主張フェーズ │
├─────────────────────────────────────────────────────────────┤
│ 各ペルソナ: │
│ - 証拠と引用を伴う立場の提示 │
│ - /dogpile の調査結果と /ask の同僚の回答を参照 │
│ - 議論を /taxonomy ブリッジ属性でタグ付けする │
│ - ペルソナのBDI状態とブリッジウェイトによって制約される │
│ (高Precisionペルソナ → 形式的証明) │
│ (高Resilienceペルソナ → 実用的含意) │
│ (高Fragilityペルソナ → エッジケース、失敗モード) │
└─────────────────────────────────────────────────────────────┘
↓
┌─────────────────────────────────────────────────────────────┐
│ 3. 反論フェーズ │
├─────────────────────────────────────────────────────────────┤
│ 各ペルソナ: │
│ - 相手の最も弱い点に反論 │
│ - 相手の最も強い点を認める（強制譲歩） │
│ - 相手の証拠のギャップを特定 │
│ - 改良点や妥協案を提案 │
└─────────────────────────────────────────────────────────────┘
↓
┌─────────────────────────────────────────────────────────────┐
│ 4. 振り返りフェーズ │
├─────────────────────────────────────────────────────────────┤
│ 各ペルソナ: │
│ - ラウンドのエピソードをアーカイブ（議論、証拠、譲歩） │
│ - 成功した議論を /memory に保存 │
│ - 相手の証拠に基づいて信念状態を更新 │
│ - 現在の立場に対する自身の確信度を評価 (0.0-1.0) │
│ - 自身の考えを変えるであろう条件を特定 │
└─────────────────────────────────────────────────────────────┘
↓
┌─────────────────────────────────────────────────────────────┐
│ 5. スコアリング＆チェックポイント │
├─────────────────────────────────────────────────────────────┤
│ オーケストレーター: │
│ - 議論の強さ、証拠の質、新規性をスコアリング │
│ - 譲歩ログを追跡 │
│ - 終了条件をチェック │
│ - チェックポイントを保存 │
└─────────────────────────────────────────────────────────────┘
ペルソナの能力
討論内の各ペルソナは以下のスキルに完全にアクセスできます：
| スキル | 目的 |
|---|---|
/dogpile | 深層マルチソース調査（ArXiv, Brave, GitHub, YouTube, Perplexity） |
/ask | ドメイン専門知識のために同僚ペルソナに相談 |
/memory | 事前知識、過去の討論、学習した事実を呼び出す |
/taxonomy | 議論を連邦タクソノミーブリッジで分類 |
/consume-book | 取り込まれた書籍から裏付け証拠を検索 |
/consume-youtube | 関連する講演/レクチャーのトランスクリプトを検索 |
/ask 同僚パターン
調査フェーズ中、ペルソナは自身のソーシャルグラフから同僚に相談できます：
Embry（航空宇宙エンジニア、Precision=0.85）：
→ /ask brandon "コラッツ問題への計算複雑性の観点は？"
→ Brandon（SPARTAインターン、熱心）：複雑性理論の視点を返す
→ Embryはこれを自身の形式的議論に組み込む
Horus（AI、Resilience=0.80）：
→ /ask embry "力学的システムアプローチは実際に収束するのか？"
→ （Embryは議論中なので、Horusは/memoryに問い合わせてEmbryの過去の発言を取得）
→ Horusはこれを使って収束の仮定に挑戦する
同僚への相談により以下が追加されます：
- 討論者自身を超えたドメインの多様性
- 社会的証明 — 「Xを専門とする同僚が確認しています...」
- 相互受粉 — 隣接する専門知識によって議論が豊かになる
スコアリングシステム
勝者が決まる「バトル」とは異なり、argueは討論の質を追跡します：
| 指標 | 重み | 説明 |
|---|---|---|
| 証拠の質 | 2x | 引用元、/dogpileの深さ、査読付き |
| 議論の新規性 | 1.5x | 以前に提起されていない新しい視点 |
| 譲歩の質 | 2x | 相手の強力な点を認める（これは良いこと） |
| 論理的整合性 | 1x | 内部一貫性 |
| 反論の精度 | 1x | 具体的な主張に対処し、 strawman ではない |
| 確信度のキャリブレーション | 0.5x | 確信度が証拠の強さと一致しているか |
「バトル」との重要な違い: 譲歩は肯定的にスコアリングされます。強力な点を譲歩し、立場を洗練させたペルソナは、証拠なしに教条的に主張を固守するペルソナよりも高いスコアを得ます。
終了条件
以下の条件のいずれかが満たされた時点で討論は終了します：
- 収束: 全ペルソナの確信度の差分が2ラウンド連続で0.1未満（合意に達した）
- 新規性の欠如: 2ラウンド連続で新しい議論や証拠がない
- 最大ラウンド数: 設定された制限に達した
- 統合準備完了: オーケストレーターが微妙な結論を導くのに十分な材料を検出した
- 緊急停止:
./run.sh stopによる手動終了
統合出力
終了後、オーケストレーターは構造化された統合レポートを生成します：
# 討論統合レポート: コラッツ予想は決定可能か？
## 参加者
- **Embry**（航空宇宙エンジニア、Precision=0.85）— 形式的/数学的レンズ
- **Horus**（AI、Resilience=0.80）— 計算的/実用的レンズ
## ラウンド数: 5 | 終了理由: 収束
## 合意点
1. 一般化された3n+1問題は決定不能である（コンウェイ 1972）
2. 停止時間を使った現在のアプローチは統計的収束を示している
3. 証明にはおそらく新しい数学的機構が必要である
## 真の意見相違点
1. 測度論的アプローチがギャップを埋められるかどうか（Embry: はい、Horus: 不十分）
2. 2^68までの計算検証の関連性（Horus: 有意義、Embry: 証明には無関係）
## 譲歩ログ
- ラウンド2: Embryは、2^68までの検証が有用なヒューリスティックな確信を提供することを認めた
- ラウンド3: Horusは、一般化形式に対するコンウェイの決定不能性結果が、特定の3n+1ケースの決定不能性を直接意味するわけではないことを認めた
- ラウンド4: 両者とも、テラスの密度定理が最も強力な肯定的結果であることを認めた
## 最も強力な議論
1. [Embry, ラウンド3] 力学系によるシラキュース関数の分析が示す...
2. [Horus, ラウンド2] FRACTRANの等価性が計算の豊かさを実証...
## 未解決の疑問
1. タオの部分的结果（2019年）「ほとんど全ての」整数に対するものを拡張できるか？
2. 初等的証明に対する複雑性理論上の障壁は存在するか？
## 微妙な差異を考慮した結論
コラッツ予想は独自の位置を占めている：一般化された形式では証明可能なほど難しい（コンウェイ）が、特定の3n+1ケースは扱いやすい可能性がある。最終的な解決の最も強力な証拠は、タオの2019年の結果で、ほとんど全ての軌道が1に近い値に到達することを示している。しかし、「ほとんど全て」と「全て」の間のギャップには、根本的に新しい手法が必要かもしれない...
## 出典
- [ArXiv] Tao (2019) "Almost all orbits of the Collatz map attain..."
- [ArXiv] Conway (1972) "Unpredictable iterations"
- ...
メモリアーキテクチャ
各ペルソナは独立した討論メモリを維持します：
debates/<debate_id>/
├── config.json # 質問、ペルソナ、設定
├── transcript.md # 討論の完全なトランスクリプト
├── synthesis.md # 最終統合レポート
├── persona_a/
│ ├── research/ # ラウンドごとの/dogpile結果
│ ├── colleague_consults/ # /ask応答
│ ├── arguments/ # ラウンドごとに提出された議論
│ ├── concessions.json # 何をいつ譲歩したか
│ └── confidence.json # ラウンドを通じた確信度の推移
├── persona_b/
│ └── ...
└── scoring/
├── round_001.json
├── round_002.json
└── summary.json
ペルソナは相手の研究にアクセスできません — 公開された議論のみにアクセスできます。これにより、敵対的压力が短路するのを防ぎます。
討論モード
1. 敵対的（デフォルト）
2人のペルソナが反対の立場を取ります。明確な賛否がある質問に適しています。
./run.sh argue "モノリス vs マイクロサービス" --mode adversarial
2. パネル
3人以上のペルソナが異なる角度から議論します。複雑な質問に適しています。
./run.sh argue "AGIアラインメントのアプローチ" --mode panel --personas embry,horus,brandon
3. ソクラテス式
1人のペルソナが質問を投げかけ、もう1人が防御します。アイデアをストレステストするのに適しています。
./run.sh argue "我々のSPARTAアーキテクチャは健全である" --mode socratic --questioner horus --defender embry
4. 悪魔の代弁者
1人のペルソナが、同意する可能性のある立場に対して反対するよう強制されます。盲点を見つけるのに適しています。
./run.sh argue "組み込みにはC++よりRustの方が優れている" --mode devils-advocate --advocate embry
活用されるスキル
| スキル | 使用者 | 目的 |
|---|---|---|
| dogpile | 全ペルソナ | ラウンドごとの深層マルチソース調査 |
| ask | 全ペルソナ | 専門知識のために同僚ペルソナに相談 |
| memory | 全ペルソナ | 事前知識の呼び出し + 討論からの学習の保存 |
| taxonomy | 全ペルソナ | 議論をブリッジ属性でタグ付け |
| consume-book | 全ペルソナ | 取り込まれた書籍から証拠を検索 |
| consume-youtube | 全ペルソナ | 講義トランスクリプトから証拠を検索 |
| episodic-archiver | オーケストレーター | 完了した討論のアーカイブ |
| task-monitor | オーケストレーター | 長時間の討論の進捗追跡 |
使用例
# EmbryとHorusがコラッツ予想について議論
./run.sh argue "コラッツ予想は決定可能か？" \
--persona-a embry --persona-b horus --rounds 5
# 出力:
# Debate ID: argue_20260212_153000
# 質問: コラッツ予想は決定可能か？
# ペルソナ: Embry (Precision=0.85) vs Horus (Resilience=0.80)
# モード: 敵対的
#
# ラウンド 1/5
# [Embry] /dogpileで調査中 "Collatz dynamical systems Terras theorem"...
# [Embry] /ask brandon "複雑性理論から見たコラッツ停止時間の角度"
# [Horus] /dogpileで調査中 "Collatz undecidability Conway FRACTRAN"...
# [Horus] /ask embry "測度論はalmost-allのギャップを埋めるか"...