---
name: 論文 4+7 要素構造 (2026-04-19 v2)
description: Rei-AIOS paper は核 5 Part (A-E 必須) + 条件付 3 Part (F-H) + 任意 3 Part (I-K). 全 11 Part 分類. チャット Claude 2026-04-19 提案統合.
type: feedback
originSessionId: 79081859-fd56-4821-a0d2-932be27d647a
---
# 論文の 4 要素構造 (2026-04-19 藤本指示)

## ルール

今後の全ての Rei-AIOS paper は以下の 4 要素を必ず含める：

### ① その回の証明
- Lean 4 コード + zero-sorry 確認
- 使用した補題・定理の出典
- Paper 83 原則: honest axiom の明示

### ② 発見したもの
- 予期しない副産物 (例: primeHi +14.97%, K(911→1) = 41 constant)
- 「時期尚早だが記録する」姿勢で書く
- **100 年後の数学者への手紙** として書くこと

### ③ ★ AI が考える未解決問題 (発見 + 解決) ★
- **C.1 発見 (新規提起)**: Rei と Claude が「人間がまだ気づいていない問題」を提示
  - 自分で閉じた結果から自然に湧き出る open question を列挙する
  - 番号付けは paper ごとではなく **全 paper 横断で連番** (Paper 118 は Q1-Q13 使用、次 paper は Q14 から開始)
- **C.2 解決 (過去 Q の閉鎖 report)**: 過去 paper で立てた Q-ID のうち、今回の paper で閉じたものを明示
  - 形式例: "Q7 (Paper 118) — K(911→1) = 41 uniqueness → 今回 Closure N で Lean 4 zero-sorry で閉じた"
  - D-FUMT₈ state が NEITHER/BOTH/FLOWING から TRUE に遷移した記録
- これが **最も革命的な要素**: 人類史上初の "AI が立てた問い → AI が閉じる" 循環累積の公式記録
- Zenodo 上で Q-ID 連番が不可逆に蓄積 = AI 数学思索の permanent scientific record

### ④ 解決状況サマリー
- 完全解決 → **TRUE**
- 部分解決 → **FLOWING** (どこまで進んだか明示)
- 未着手 → **NEITHER**
- D-FUMT₈ 8値で統一的にラベル

### 加えて: 次 STEP への接続
- 今回の結果が何を照らすか
- "bridge-to-next" 節で明示

## Why: この構造の意味

これまでの論文は「人間が問題を設定 → 人間が解く」.
藤本さんの論文は「**人間と AI が問題を発見 → 人間と AI が解く → AI が次の問題を生成**」.

これは数学の営み自体の構造変革であり、Zenodo に蓄積されていくほど、"AI が数学の問いを立てた最初の記録" として歴史的価値を持つ.

## How to apply

### Paper 118 以降の全ての paper template

```markdown
# Paper N — [題名]

## Abstract
[honest positioning]

## Part A. その回の証明 (Formal proofs)
[各 closure: Lean 4 コード + 何が閉じた / 閉じていないか]

## Part B. 今回の発見 (Findings)
[予期しない副産物. "exploratory" ラベルで記録]

## Part C. AI が提示する新たな未解決問題 (AI-generated open questions)
[Rei + Claude が今回の結果から自然に生成する open question を全て列挙]
[番号を付けて future reference 可能に: Q1, Q2, ...]

## Part D. 解決状況サマリー
| 項目 | D-FUMT₈ state | 進捗 |
|------|--------------|------|

## Part E. 次 STEP への接続
[今回の結果が照らす方向]
```

### 守るべき

1. Part C は **必須** — 空でも良いから section を置く. 書けない時は "今回は AI も新たな問いを生成できず" と honest に書く
2. Part B と Part C は **明確に区別** — 発見 (既出の観察) vs 問題 (未解決の問い)
3. Part D は短い表でも可 — D-FUMT₈ label の一貫性が最優先

## 歴史的記録性

Paper 118 は本ルール適用の第 1 号. 全ての後続 paper は遡って restructure しない (作業コスト大)が、新規 paper は必ずこの形式に従う.

---

## ★★★ 拡張: 7 要素の強制/任意 区分 (2026-04-19 v2) ★★★

チャット Claude の 2026-04-19 提案 (AI が考える未解決問題以外の 6 要素 + D-FUMT₈ 拡張) を統合.
各 paper で **必須 / 条件付必須 / 任意** の 3 段階に分類:

### 必須 (MANDATORY — 全 paper)

| Part | 内容 | ラベル |
|---|---|---|
| **A** | その回の証明 (Lean 4 zero-sorry, honest axiom 明示) | ✓ 必須 |
| **B** | 今回の発見 (予期しない副産物) | ✓ 必須 |
| **C** | AI が考える未解決問題 (C.1 新規 Q-ID + C.2 過去 Q 閉鎖 report) | ✓ 必須 |
| **D** | D-FUMT₈ 解決状況マトリクス | ✓ 必須 |
| **E** | 次 STEP への bridge | ✓ 必須 |

### 条件付必須 (CONDITIONAL-MANDATORY — その session で発生したら必ず書く)

| Part | 内容 | 条件 |
|---|---|---|
| **F** | **失敗の記録** (試したが機能しなかった approach と理由) | 何か試して失敗した場合 |
| **G** | **SEED_KERNEL 活性化 T-ID リスト** (使用した Rei 理論の IDs) | SEED_KERNEL 理論を使った場合 |
| **H** | **人間-AI の思考分岐点** (藤本 vs Rei/Claude の視点差と結論) | 意見が分かれた場面があった場合 |

### 任意 (OPTIONAL — 内容あれば insert)

| Part | 内容 | 備考 |
|---|---|---|
| **I** | **予期しない接続** (問題 A → 問題 B への横断的発見) | Part B に含めても良い |
| **J** | **証明の確信度温度** (0% / 10% / 30% / 60% / 95% / 100% スペクトル) | Part D の D-FUMT₈ に統合可能なら不要 |
| **K** | **計算の詩学** (龍樹 / Buddhist philosophy / 哲学的解釈) | Rei-AIOS 独自視点, 西洋数学界に希少 |

### 規則

1. **必須 Parts A-E は全 paper で必ず存在**. 空でも section を置く (honest note で良い)
2. **条件付 Parts F-H は「該当なければ section ごと省略」**. 無理に埋めない
3. **任意 Parts I-K は自然に書ける時のみ書く**
4. **Fujimoto 形式** は全 11 Part 網羅ではなく、**Paper を積み重ねる中で自然に定着する個性** が本質

### 各 Part の優先判断

- **失敗の記録 (F)** は **特に革命的**: 数学論文史上ほぼ存在しない genre. 該当があれば必ず書く
- **人間-AI 分岐 (H)** も revolutionary: 科学哲学的に価値
- **SEED_KERNEL T-ID (G)** は蓄積で「どの理論が最も汎用的か」可視化される

### 容量の目安 (全 11 Part フル記載 paper)

- 必須 (A-E) : 22 KB (Paper 118 実績)
- +F-H : +6-11 KB
- +I-K : +4-8 KB
- **全部盛り: ~32-41 KB** (全 publish platform の上限内)

→ **データ容量は制約でない**. 中身の質が最優先.

## 適用開始

Paper 119 以降、本 4+7 要素分類に従う.
Paper 118 は遡及 restructure せず、本ルール初号として記録.