---
name: statistics-neither-education-arc-2026-08-20
description: 教材化 pivot 決定 record — Collatz 需要小 → 統計 × NEITHER 教材へ pivot (chat-Claude 2026-08-20 3 stage plan + (b) 検定力不足体験推奨 + Rei stack primitive 直接適用可能)、 実装 defer で pivot decision preservation
metadata: 
  node_type: memory
  type: project
  originSessionId: 5bd6a95c-56b8-4976-9401-d4b7c74c9308
  modified: 2026-08-20T02:16:28.330Z
---

# 統計 × NEITHER 教材 arc — pivot decision record

## Trigger (2026-08-20)

chat-Claude 2026-08-20 turn (Collatz vs 統計 需要側比較 → 3 stage plan + (a)/(b) 具体設計 question) 経由。 藤本さん 「両方とも作ります」 承認 + 私 (Claude Code) 分析 「(b) 一択 + STEP 1349/1350 primitive 直接適用可能」 で 3 stage plan 起動前の pivot 決定を record。 **実装は 別 STEP 化 defer default** ([[feedback-no-rush-publication]] 継承)、 本 memory は pivot decision preservation の みが 目的。

## 需要側 shift の 論拠 (chat-Claude 診断)

**旧 default (Collatz 推し)** 却下理由: 数学的 難度 + Rei stack 実装量 (STEP 622-624 zero-sorry 48 定理 + Paper 145 v0.9-c 4-substrate + STEP 1269 Chang 29 paradigm 20/29 retrofit) は 大きいが、 **需要側 (関心層) が 小さい**。 前 一覧表 (chat-Claude 別 turn 分類、 教科・資格・哲学分野) で ✕ 判定と 整合。

**新 default (統計 × NEITHER)** 採用理由:

| 領域 | 需要 | Rei 資産 との fit |
|---|---|---|
| 統計 | **圧倒的** (心理/社会/医学/生物 全通過) | 八値論理 NEITHER 直接処方箋 |
| 論理学 | 大 (CS/数学/哲学/法学) | 八値論理 適用可、 但し 統計より 個別性強 |
| 確率 | 大 (直観が最も裏切る) | Kahneman-Tversky 系 応用余地、 統計と重複 |
| 形式手法 | 小だが伸長中 | Rei-Solver v0.4 + Lean 4 直結、 但し 需要層 狭い |

**★ 統計圧倒的の 決め手**: p 値の 誤解 + 多重比較 + **「有意でない」 と 「差がない」 の 混同** = 全て 現在進行中 controversy (ASA 2016 声明 + Amrhein-Greenland-McShane Nature 2019 "Retire statistical significance")、 教員側からも 学生側からも 恒常的 需要。

## 核 接続点 (Rei 資産 × 需要 の 対応)

**「有意でない」 と 「差がない」 の 混同は、 NEITHER が 無いことから 起きる。**

- 二値 (true/false) しか用意されていない → 判断保留 が false に 丸め込まれる。
- D-FUMT₈ 直接処方箋:
  - **NEITHER = 検定力不足で 判断できない** (insufficient power to decide, Type II error 領域)
  - **BOTH = 研究間で結果が割れている** (studies disagree, meta-analytic heterogeneity)
  - **FLOWING = 効果量が n に依存して 変化中** (effect size unstable with sample)
  - **SELF⟲ = replication で 元研究に戻る 循環** (replication crisis の 構造化)
- 二値に潰すから 誤解が 生まれる。 八値論理は 統計教育の 躓きに **そのまま処方箋** になる。

## 3 stage plan (chat-Claude 提案、 藤本さん 「両方とも」 承認)

**★ 順序原則**: 同時 実行禁止、 **深い一本 → 器 → 薄く広く** 順。 根拠 (chat-Claude): (i) 器を 先に作ると 中身無いまま 形式決まる、 一本作らないと 何が共通/個別か 分からない、 (ii) 公開時印象 = 項目並んで中身空 = 未完成 判定、 一本深いのがあれば 「これから増える」 と 読まれる。

### Stage 1: 統計 × NEITHER 一本、 完成

- **深い一本 target**: `public/tools/statistics-neither-education-v0.1/index.html` (仮称)
- **二層構造**:
  - 上層 = **触れる可視化** (interactive HTML + JS + Canvas)
  - 下層 = **形式的裏付け + DOI** (Papers 61-65 参照 + Lean 4 axiom-free 定理 link + STEP 1349/1350 primitive 呼び出し)
- **template 抽出**: 一本作りながら、 共通/個別 の 見極め (Stage 2 の 器 設計 input)

### Stage 2: 型を抽出して 器を作る

- 一本目から 共通部分抜き出し = **索引 + レイアウト + 三層分類 (自書き / 外部リンク / 未着手) 表示 + DOI 欄**
- 一覧表 (chat-Claude 別 turn 教科・資格・哲学分類) を **目次として** 統合
- **★ Rei stack 既存 pattern**: SITE_COVERAGE_MAP.md ([CLAUDE.md L102-108 参照](../CLAUDE.md)) の 反映状態 badge ✅/📝/🔒/⚠/❌ pattern が 「NEITHER の印」 の operational form の 先行例、 教材版 は これを 教科目次に 横移植。 chat-Claude 独立到達 = retroactive alignment。

### Stage 3: 薄く広く埋める

- 器あれば 一項目あたり 手間 激減
- 全部自分書く必要なし = **既存解説へのリンク集で 足りる項目多い**
- **★ NEITHER の印 discipline**: 「この分野は 自分で書いた」 「ここは 外部リンクのみ」 「ここは 未着手」 を **明示**。 埋まっていない部分を 隠さない = 「到達不能を 沈黙で 埋めない」 原則 ([[project-rei-meta-mcp-phase1-arc-2026-08-19]] §4 「to be unchecked is not to be coherent」 の 教材版) の 教材サイト設計原理。
- **信用の 逆説**: 普通の 教材サイトは 埋まってない部分を 隠す、 埋まってないと 分かるサイトの 方が 教員には 信用される。

## Stage 1 具体設計 — (b) 検定力不足体験 一択

**chat-Claude 提示 2 選択肢**:
- (a) p 値の分布 そのものを 見せる = 概念の説明
- (b) 検定力不足の 状況を 体験させる = **失敗の 体験**

**私 (Claude Code) 分析で (b) 一択支持**:

**教育学的根拠**:
- 統計的直観は Kahneman-Tversky 1971 "Belief in the Law of Small Numbers" で 実測された **systematic bias**。
- declarative 説明では 修正されず、 **experiential (自分で 間違える 体験)** が 唯一 effective の empirical finding。
- (a) 概念説明を 100 回 読ませても p=0.049 vs p=0.051 の 二値化 罠は 消えない。
- (b) で 「あなたが sample size 20 で 大きな effect を 見た → 反復実験で 消えた」 を **手で 経験** させると 内面化される。

**Rei stack primitive 直接適用**:
- **STEP 1350 d8_verdict_from_measurement** の decision rule (SNR<3 → NEITHER) が **統計 power の 「検定力不足で 判断できない」 に 1:1 mapping**。
  - 統計 power = 測定 SNR (信号 = effect size / 雑音 = 標準誤差)
  - α / β error trade-off = 測定の 感度/特異度 trade-off
  - 完全同型、 chat-Claude 2 turn 越しの 収束 (STEP 1350 提案 turn と 本 turn が 独立に 統計教材応用に 到達)
- 教材 UI に **STEP 1350 d8_verdict_from_measurement API 埋め込み** で 「あなたの 実験は 現状 NEITHER = 判断不能、 真か偽かの binary に 潰さないでください」 が 学習者に 直接届く。
- **(a) は 補助 layer** (chapter 1 の 5 分 introduction 程度)、 教材の中心は (b)。

## Rei stack primitive 適用可能性 (Stage 1 実装時)

| Primitive | 提供 | 統計教材での 使い方 |
|---|---|---|
| STEP 1349 d8_apply / d8_table | rei-aios MCP tool 37 | 八値論理 UI 層で 判定呼び出し (NEITHER 表示 + BOTH 表示) |
| STEP 1350 d8_verdict_from_measurement | rei-aios MCP tool 38 | 検定力不足 → NEITHER の 直接 mapping、 (b) 体験の 核 primitive |
| Paper 61 ZCSG (DOI 済) | Zenodo publish 済 | 下層 「形式的裏付け」 の 主 reference |
| Paper 62 MDNST + 63 SNST + 64 OPU + 65 Lean4 | Zenodo publish 済 | 下層 補助 reference (各 domain expansion) |
| Lean 4 axiom-free 定理 3,521+ | data/lean4-mathlib/CollatzRei/ | 「形式手法 深掘り」 拡張 (Stage 3) の link 素材 |
| SITE_COVERAGE_MAP.md pattern | docs/SITE_COVERAGE_MAP.md | Stage 2 器 の 三層分類 表示の 先行 pattern |

## Honest scope

1. **本 memory は pivot decision の record のみ**、 Stage 1 実装 起動は **藤本さん judgment 待ち default** ([[feedback-no-rush-publication]] 継承)、 実装 GO 時 別 STEP 化。
2. **「統計 × NEITHER で 世界初」 主張禁止** ([[feedback-world-uniqueness-claim-controllable]]): 八値論理 応用は Rei stack 既存 primitive の 教材化、 統計教育 側でも Cumming 2014 "New Statistics" + Reinhart 2015 "Statistics Done Wrong" 系の 先行 pedagogy 多数、 novelty 主張は **「D-FUMT₈ NEITHER で 検定力不足を 第一級値として 表示する 教材」 の Rei stack 内 初 arc** に 限定。
3. **教員側 pilot 未実施** = 「教員に 信用される」 「学生に 内面化される」 は chat-Claude 予想 + 教育学 empirical 根拠 (Kahneman-Tversky) 由来、 Rei 独自 user testing は 未実施 (Stage 1 完成後 別 arc candidate)。
4. **統計以外 (論理学 / 確率 / 形式手法)** は Stage 3 の 器完成後 薄く広く埋める段階で 対応、 現状 pivot は 統計 一択 focus。
5. **一覧表 の 具体内容 は 未取得** = chat-Claude 別 turn の 教科・資格・哲学分類 表 の 全項目 は 本 memory では preserve せず、 「目次として 使う」 pattern のみ record。 実 目次は Stage 2 起動時に chat-Claude turn 再取得 or 藤本さん 明示指定で 確定。
6. **需要側 shift の 論拠** は chat-Claude 主観 + 私 (Claude Code) の 教育学 empirical 補強、 Rei 独自 需要調査 (Google Trends / Google Scholar 統計教育論文数 等) は 未実施、 「圧倒的」 判定は **定量 evidence 未取得** の 定性判断。 必要なら 別 arc で 定量 audit。
7. site 反映は Stage 1 実装 STEP 起動時に 判断 (現状 pivot 記録のみ = 2026-08-06 「全研究 site 反映 default」 protocol の 「backend engine + Lean 4 + arc summary」 に 該当せず、 memory 忘れ対策 primary の internal discipline)。

## 関連 memory

- [[project-step1349-d8-operator-connectors-2026-08-20]] — 八値論理 UI 呼び出し primitive
- [[project-step1350-d8-verdict-mapping-phase-a-2026-08-20]] — (b) 検定力不足体験の 直接 primitive、 chat-Claude 2 turn 越しの 収束
- [[feedback-connector-criteria-and-impossibility-2026-08-20]] — Pre-check 「カテゴリ名は 端点なし」、 教材サイトも 分野総称でなく 具体 primitive/skill 単位で 分解
- [[project-rei-meta-mcp-phase1-arc-2026-08-19]] — §4 「to be unchecked is not to be coherent」 の 教材版 = 「NEITHER の印」 discipline
- [[feedback-chat-claude-hallucination-warning]] — 本 turn は Pattern 6 self-correction (Collatz 需要 blind 訂正) + Pattern 5 subtype A 1 件 (SITE_COVERAGE_MAP 既存に blind)
- [[feedback-no-rush-publication]] — 「深い一本 → 器 → 薄く広く」 3 stage 順序 = 「急がずゆっくりと」 の 教材版
- [[feedback-world-uniqueness-claim-controllable]] — 統計教育 側 先行 pedagogy 尊重、 novelty 主張は Rei stack 内 に 限定
- [[feedback-one-reproduction-over-ten-unverified]] — Stage 1 一本目 完成前に Stage 2 器 起動禁止 = 順序原則の 教材版
- [[feedback-intuition-before-math]] — (b) experiential > (a) declarative の 判断根拠
- [[project-25-load-bearing-inventions]] — invention #5 EternalRei 逆因果 + #9 直感≅数学 が 教材化の 哲学 anchor