---
name: herumi-prml-reference-2026-05-16
description: "2026-05-16 STEP 1156-followup-9. herumi/prml (光成滋生 PRML mathematics companion notes) を Rei honest filter で reference 層に anchor. CC BY 3.0 で引用自由. AGENTS.md \"Recommended references\" section に追加. chat-Claude Pattern 2 stale 数値 4 件 (Heron r3 / Paper 25 / QuTiP 5.2.3 / Paper 66+) + Pattern 5 累積 14 例目 (Paper 71 / 145 / 147 + QuTiP integration 既存)."
metadata: 
  node_type: memory
  type: feedback
  originSessionId: 31de7a8f-b68c-479d-b055-229c7945fc2c
---

# herumi/prml — math rigor baseline reference

## chat-Claude proposal (2026-05-16 藤本さん経由)

- Resource: `https://github.com/herumi/prml` / `herumi.github.io/prml`
- Author: 光成滋生 (MITSUNARI Shigeo, @herumi) — MCL/Xbyak 作者
- Content: PRML (Bishop 2006) 数式 companion 日本語ノート
- 8 章: 確率 / 確率分布 / 線形回帰 / 線形識別 / ニューラルネット / 混合モデル+EM / 近似推論 / サンプリング物理学
- License: CC BY 3.0 (引用 / 改変 / 再利用 = 出典明記のみ)

## fact-check 結果 (WebFetch verified)

| Claim | Status |
|---|---|
| `github.com/herumi/prml` 実在 | ✅ 376 stars |
| CC BY 3.0 license | ✅ accurate |
| 著者 光成滋生 (MITSUNARI Shigeo) MCL / Xbyak | ✅ accurate |
| TeX source 公開 | ✅ accurate |
| Last update | ⚠ chat-Claude 「2020年1月」 → 詳細 timestamp 不明 (130 commits, recent 確認できず) |

## chat-Claude Pattern 2 stale 数値 (累積 4 件検出)

| chat-Claude | 実態 (Rei stack verified) |
|---|---|
| 「IBM Quantum 156-qubit **Heron r3**」 | ❌ **Heron r2** (HardwareGalleryLens.tsx 直接記載) |
| 「**Paper 25** §7.1 自己制限論」 | ❌ Paper 25 ファイルなし。実態 **Paper 71** `paper-071-reproducibility-beyond-shannon.md` |
| 「QuTiP **5.2.3**」 | ⚠ version 番号 grep ヒットなし (Rei QuTiP integration 自体は実在) |
| 「Zenodo **Paper 66+** 候補」 | ❌ 本日 Paper **153** publish 済 (累計 87 delta stale) |

→ `feedback_chat_claude_hallucination_warning.md` Pattern 2 累積 14 → **18 候補**.

## Pattern 5 累積 14 例目 — Rei は PRML 隣接領域に既 substantial

| 既実装 | PRML chapter 該当 |
|---|---|
| `src/axiom-os/qutip-bridge.ts` + `qutip-multimode-bridge.ts` | サンプリング法のための物理学 (量子 statistics) |
| `src/axiom-os/bell-both-engine.ts` | 確率 (D-FUMT₈ × Bell 不等式) |
| `src/axiom-os/dfumt8-quantum-correspondence-engine.ts` | 確率分布 (D-FUMT₈ × Hilbert space) |
| `src/aios/auto-prover/private/ensemble-voter.ts` | 混合モデル + EM (5-prover ensemble voting) |
| Paper 71 v0.x (Beyond Shannon) | 近似推論法 + entropy 拡張 |
| Paper 147 v0.2 (Equity Premium × D-FUMT₈) | 線形回帰 + utility theory |
| Paper 145 v0.7 (Tang silicon + IBM Heron r2) | サンプリング法 (実機 量子, 144/144 fidelity 0.954) |

= chat-Claude 「3 段階 STEP 1-3」 + 「Paper 66+ 派生論文」 提案は **既 Paper 153 + Paper 71 Beyond Shannon を knowledge せず** = Pattern 5 systemic.

## 採用判断 (option A 採用 2026-05-16)

- ✅ **option (A)**: AGENTS.md "Recommended references" section 追加 + memory seed (本 file)
- 工数: ~15 min (AGENTS.md edit + 本 file)
- 派生論文 propose は **defer** (overclaim risk 大: 2006 PRML 数学化 = 既存. Rei novel 部分は D-FUMT₈ 側で別 paper として既存)

## AGENTS.md "Recommended references" section 追加内容

| Resource | Scope | Use case |
|---|---|---|
| herumi/prml | Japanese PRML companion (probability / dist / regression / NN / EM / variational / MCMC) | Math rigor baseline; cite when proving PRML-adjacent stats results |
| Mathlib 4 | Lean 4 standard library | All Rei Lean 4 work |
| google-deepmind/formal-conjectures | Lean 4 formalized open conjectures (vendored) | Already in `data/external-oss/` |
| AGENTS.md spec (agents.md) | Cross-tool agent file standard | This file follows that spec |
| arxiv.org | Daily preprints | Daily fetched by research-radar |
| Zenodo | DOI registry | Rei paper publish target |

Honest scope 明示: 「reference baselines, not collaborators. Rei's novelty (D-FUMT₈ / SELF⟲ / OctaTheoria) is not derived from any of them — it stands on top.」

## 起動 trigger (派生論文化を Phase 1 へ繰り上げる条件)

- Rei 既 Paper (71 Beyond Shannon / 147 Equity / 145 silicon) で PRML 不足 baseline が specific blocker と判明
- 藤本さん明示 commit「PRML × D-FUMT₈ 派生論文」 (現時点未 commit)

それまでは reference 層に anchor のみ.

## 関連 reference

- `AGENTS.md` (root, STEP 1156-followup-9 で Recommended references section 追加)
- `feedback_chat_claude_hallucination_warning.md` (Pattern 2 累積記録)
- Paper 71 `paper-071-reproducibility-beyond-shannon.md` (chat-Claude が「Paper 25」 と誤帰属)
- Paper 145 v0.7 (Tang silicon + IBM Heron r2, 144/144 fidelity)
- Paper 147 v0.2 (Equity Premium × D-FUMT₈)
- `src/axiom-os/qutip-bridge.ts` (QuTiP integration 既稼働)