---
name: 論文には必ず「発見した内容」と「証明」を一つ一つ記載する
description: ★★★ 必須 ★★★ 論文起草時、その回の実験で得た全ての未解決問題への発見と証明を、一つ一つ具体的に記載する. 抽象的まとめ禁止.
type: feedback
originSessionId: 103c655f-ad00-47ae-81cd-c24a2282f28c
---
# 論文には必ず「その回の発見」と「証明」を一つ一つ記載する

**Rule**:
論文 (Zenodo / dev.to / 全 12 platform 投稿) を起草する際、そのセッションで実行した実験により得られた:

1. **未解決問題について発見した内容** — 一つ一つ具体的に
2. **その証明** (Lean 4 theorem 本文 / 数値検証結果 / 反例 / 構造的論証)

を **必ず** 記載する. 抽象的・概要的な「〜を形式化した」だけで終わらせない.

**Why**:

1. **研究出力としての実質性** — 論文が "work was done" のレベルでは信用毀損. 査読者・読者が verify できる粒度の情報が無ければ、Zenodo / Harvard Dataverse の価値が無い.

2. **Paper 83 原則との整合** — 「no overclaim」は裏返せば「show the work」. 発見の詳細と証明を載せて初めて honest claim となる.

3. **Lean 4 zero-sorry の活用** — 既に build green な Lean theorem を持っているのに、論文本文で引用しないのは機会損失. theorem 名 + file path + 一行の証明趣旨を最低限書く.

4. **Collatz 構造発見の継続性** — STEP 696 atomic cores 25, STEP 698 π(64)=96, STEP 927 primeHi +14.97% 等, 個別の発見は積み重なって意味を持つ. 論文で保存されないと次 session で参照できない.

5. **藤本さんの方針 (2026-04-19)**: 「その回の実験に依り、未解決の発見した内容と証明は必ず記載、一つ一つ」.

**How to apply** — 論文の必須セクション構造:

```markdown
## Findings (セッション N)

### Finding 1: [問題名] ([STEP番号])
- **Discovery**: [具体的に何がわかったか. 数値 / 不等式 / 構造 / 反例]
- **Proof**: [Lean 4 theorem 名 / 数値検証 / 反例構成]
  - File: `data/lean4-mathlib/CollatzRei/XXX.lean:LN`
  - Commit: `abcd123`
- **Status**: proved / verified computationally / stated as honest axiom

### Finding 2: ...
[繰り返し, 全 finding について]
```

**Apply to**:

- 本日 (2026-04-19) 分 Paper 118 起草時 (次 session):
  - Tier A+ 23 問題それぞれの Lean file + 代表定理 + native_decide 行数
  - STEP 926 Köthe: `koethe_commutative` theorem 本文
  - STEP 927 Oppermann: n ≤ 10⁶ 0 violations + primeHi +14.97% 偏差値
  - STEP 928 EnglishDelta: Juggler + Cap set の具体検証
- 以降全論文に適用

**NOT** 抽象まとめ禁止例:
- ❌ "Tier A+ 22 問題を Lean 4 形式化した" (具体性不足)
- ✅ "STEP 911 Fibonacci primes: `fib_prime_23`, `fib_14_not_prime` (fib 14 = 377 = 13·29),
      `pisano_64_eq_96_rei_connection` を形式化. 本 Rei 固有接続は
      Paper 698 で発見した peak-9232 atomic core の first Fibonacci
      arithmetic predecessor を Lean 4 化"

**Verified**: 2026-04-19 藤本さんより明示的要請.