Rei Education Hub v0.1 Stage 2 spike
教材の 統合索引。 「深い一本 → 器 → 薄く広く」 3 stage plan の 第 2 段。 NEITHER の印 discipline = 埋まっていない部分を 隠さない、 明示する。
なぜ 埋まってない印を 明示するのか: 普通の教材サイトは 埋まってない部分を 隠します。 埋まっていると 分かるサイトは 未完成に 見えて 信用を 落とすからです。 逆に、 埋まってないと 分かるサイトの 方が 教員には 信用されます (どこまで 自分で書いた/どこから 外部/どこは 未着手 が 見えると 判断材料になる)。 これは rei-meta-mcp Phase 1 の 「to be unchecked is not to be coherent」 原則の 教材版です。
凡例 (NEITHER の印 discipline)
✅ 完成 = 自書き、 deploy 済
✍ 執筆中 = draft 進行
🔗 外部リンクのみ = 既存資料へ redirect
⏸ 未着手 = NEITHER = 判断保留、 対象は認識
教材索引 (tentative 少数、 順次拡充)
完成度
all
✅ 完成
✍ 執筆中
🔗 外部
⏸ 未着手
層
all
student
teacher
researcher
分野
all
統計
数学
論理
確率
形式手法
物理
全 0 項目 表示中: 0
| 教材 | 完成度 | 層 | 分野 | 出典 / 参考 |
|---|---|---|---|---|
|
「有意でない」 と 「差がない」 の 混同を NEITHER で 分離。 検定力不足 (SNR<3) を 手で 体験。
|
✅ 完成 | student teacher researcher | statistics | STEP 1353 / Cohen 1988 / ASA 2016 / Kahneman-Tversky 1971 / Paper 141 DOI |
|
Collatz 予想を 3 層で 学ぶ。 t₁=1 下降エンジン (primary green) を Canvas で 可視化 + Lean 4 skeleton。
|
✅ 完成 | student teacher researcher | mathematics | STEP 1351 / STEP 614-624 (48 定理 zero-sorry) / Paper 53 / Paper 58 |
|
D-FUMT₈ ALU aluAnd/aluOr 64-entry truth table × Lean 4 refinement 対応視覚化。 tier marker (belnap / higher / cross)。
|
✅ 完成 | researcher | formal | STEP 1308 / STEP 1264 Paper 145 v0.9-c / Paper 145 v0.3 DOI |
|
形式手法の 入り口。 Rei stack は 3,521+ axiom-free 定理を 保持。 外部 tutorial + Mathlib 参照。
|
🔗 外部 | researcher | formal | Lean 4 official docs + Mathlib4 + Rei stack CollatzRei/ |
|
論理学 × NEITHER 教材 (v0.1 未着手)
二値論理 → 八値論理拡張。 直観主義 / 部分論理 / D-FUMT₈ の 対応関係。 「排中律の 保留」 を 手で 体験。
|
⏸ 未着手 | student teacher | logic | STEP 1349 d8_apply/d8_table primitive 適用予定 / Paper 61 ZCSG / Priest & Garfield 2003 |
|
確率 × 直観バイアス 教材 (v0.1 未着手)
Kahneman-Tversky 「small numbers」 「anchoring」 「availability」 を 手で 体験。 統計教材と 姉妹関係。
|
⏸ 未着手 | student | probability | Kahneman & Tversky 1971 / Kahneman 2011 Thinking, Fast and Slow |
|
8 値論理入門 (v0.1 未着手)
D-FUMT₈ 概念解説 + STEP 1349 d8_apply/d8_table interactive。 「なぜ 8 値か」 の 直観 + 真理表 遊び場。
|
⏸ 未着手 | student teacher | logic | STEP 1349 d8_apply/d8_table (rei-aios MCP) / Paper 61 ZCSG / Belnap 1977 |
|
物理観測 × NEITHER 教材 (v0.1 未着手)
「測れなかった」 と 「ゼロだった」 の 分離を bench primitive で 体験。 SNR / Bekenstein / Landauer 限界 interactive。
|
⏸ 未着手 | teacher researcher | physics | STEP 1345 SafetyGate / STEP 1348 physics-limits / STEP 1350 d8_verdict_from_measurement |
三 stage plan での 位置付け
chat-Claude 2026-08-20 3 stage plan (arc summary):
- Stage 1 = 深い一本 完成 → Statistics × NEITHER v0.1 (STEP 1353) + Collatz Learning Kit v0.2 (STEP 1351) 完了
- Stage 2 = 型を抽出して 器 (索引 + レイアウト + 三層分類 + DOI 欄) → 本ページ v0.1 (STEP 1355、 別タブ STEP 1354 「D8-NEITHER 教材の 器」 と 並列で 器 系 2 実装)、 tentative 少数 8 項目起動
- Stage 3 = 薄く広く 埋める → 器 完成後の 段階、 全項目 「自書き / 外部 / 未着手」 を 索引に 徹する ⏸ 未起動
Stage 2 v0.1 spike scope
- tentative 少数 8 topic 起動 (統計 done + Collatz done + Silent Visual done + Lean 4 外部 + 論理 / 確率 / 8 値 / 物理観測 未着手)
- NEITHER の印 discipline 4 状態 badge (✅完成 / ✍執筆中 / 🔗外部 / ⏸未着手)
- 三層分類 (student / teacher / researcher) 表示
- 分野 filter (統計 / 数学 / 論理 / 確率 / 形式手法 / 物理)
- DOI / 参考文献 field
- client-side JS filter (external dep なし)
defer (Stage 2 v0.2 以降 candidate)
- 共通 template refactor (Statistics v0.1 + Collatz Kit v0.2 → 共通 layout 抽出)
- chat-Claude 別 turn 「教科・資格・哲学分類」 一覧の 統合 (現状 memory 未取得、 tentative 少数のみ)
- search box (client-side full-text search)
- 教員向け curriculum guide (中高 / 学部 / 院 の 3 学年別 対応 map)
- Stage 3 起動 (薄く広く、 全項目 網羅)
Honest scope
- 本 v0.1 は Stage 2 spike (tentative 少数 8 topic)、 教員 pilot 未実施、 topic 選定は 「chat-Claude 2026-08-20 需要側 分析 (統計 / 論理 / 確率 / 形式手法)」 + Rei stack 既存 教材 (Statistics / Collatz / Silent Visual) + STEP 1349/1345/1348/1350 primitive 由来、 網羅性 主張なし。
- 「教材索引で 世界初」 主張なし ([[feedback-world-uniqueness-claim-controllable]])。 教材 aggregator は Khan Academy / MIT OCW / Coursera など 先行 多数。 Rei stack novelty は 「NEITHER の印 discipline を 教材索引の 設計原理として 明示化」 の Rei stack 内 初 arc に 限定。
- chat-Claude 別 turn 「教科・資格・哲学分類」 一覧の 実 content は Rei stack memory に 保存されていない (Statistics arc の Honest scope 5 で 記録済)、 現状 tentative 少数のみで 起動、 拡充は 藤本さん judgment + chat-Claude 再取得 待ち。
- 未着手 topic 4 個 (論理 / 確率 / 8 値 / 物理観測) は 「対象を 認識している = NEITHER」 の 明示、 「作る予約」 ではない (作らない 判断も honest scope 内)。
- 三層 (student/teacher/researcher) の 割り当ては 私 (Claude Code) 側の tentative 判定、 藤本さん or 教員 pilot で 修正可能性。
- DOI / 参考文献 field は 各 topic の primary anchor のみ (完全 bibliography ではない)、 詳細は 各 topic page 側で 展開。
- client-side JS filter は external dep なし self-contained、 検索 accessibility (screen reader / keyboard nav) 未対応 = v0.2 candidate。 現状 マウス / タップ 操作前提。
- login 不要 / install 不要 / 外部 API 呼び出しなし = 完全 self-contained (~20 KB)、 教員が 授業で URL 1 行で 使える (Statistics v0.1 / Collatz Kit v0.2 と 同 principle)。