---
name: reference-dfumt8-reservoir-prior-art-audit-2026-07-24
description: "2026-07-24 Phase 5 audit result — 8 値 (D-FUMT₈) Echo State Network / reservoir computing の 先行研究 audit (10 keywords web search + academic literature)。 Direct hits なし (D-FUMT₈ 相当 8 値 paraconsistent state reservoir 先行研究 見つからず)。 隣接研究 (m-valued CA reservoir + quaternion ESN + symbolic RC + PAL2v) は 存在するが D-FUMT₈ scope とは差別化可能。 Rei-honest controllable phrasing 推奨: 「public keyword search で該当 0」 で 「世界初」 claim 禁止。"
metadata: 
  node_type: memory
  type: reference
  modified: 2026-07-23T23:08:20.107Z
  originSessionId: bc9886c3-776c-4288-89bc-bd55ad3a8e6f
---

## Phase 5 audit summary (2026-07-24)

chat-Claude arc turn 20 「D-FUMT₈ Echo State Network」 提案の Rei stack 追加検討で、 「多値 reservoir computing」 系 先行研究の Rei-honest audit を general-purpose agent で 実行 (10 keywords web + arXiv + academic search)。

## Direct hits: 該当なし

**「8 値 paraconsistent logic states (T/F/B/N/∞/0/F/S) を neuron state に持つ reservoir computing」 の 先行研究は 見つからず**:

1. `"multi-valued reservoir computing"` → multi-mode / multi-reservoir / multi-functional のみ (state value 多値化でない)
2. `"8-valued Echo State Network"` → 0 direct hit
3. `"discrete-state reservoir computing"` → 用語自体成立せず (`"discrete-time"` のみ hit)
4. ISMVL proceedings × reservoir → 交差論文 0
5. Sekanina (Brno) × reservoir → SPCTRE 等 FPGA-RC あるが 多値でない
6. Higuchi (AIST 樋口哲也) × reservoir → researchmap で確認, evolvable hardware / GA 中心, reservoir 論文なし
7. Belnap / FDE × reservoir → 4 FDE 論文と RC 論文が 別々 に hit, 交差 0

## 隣接研究 (adjacent, 差別化可能)

### ★ 最接近: Guo 2025 Symbolic RC

**Guo 2025** *Advanced Intelligent Systems* "Symbolic Reservoir Computing within Memristive Crossbar Arrays as a Cellular Automata"
- 明示 "symbolic" + CA reservoir
- **但し**: cell state = Boolean, 8 値 paraconsistent 意味論 なし

### ★ 概念的近似 (multi-valued CA reservoir 可能性)

- **Yilmaz 2014** "Reservoir Computing using Cellular Automata" arXiv:1410.0162
  - formalism 上 "each cell in one of m discrete states" (m > 2 許容)
  - 実装は binary CA 中心
- **Nichele 2017** "Non-Uniform Binary CA reservoir" arXiv:1702.03812 (明示 binary)
- **ReLiCADA 2023** arXiv:2308.11522 — linear CA reservoir, GF(p) 多値可能だが algebraic/numeric, logic 意味論 なし
- **Neural CA reservoir** arXiv:2508.02218 (2026-06) — real-valued cell state

### ★ 代数的多値 (quaternion / complex / hypercomplex ESN)

- **Quaternion Nonlinear ESN** arXiv:2111.07234 — 4 次元代数だが 実数成分
- **Complex-Valued NN wave-based RC** (Hikawa 2017)
- **Multi-Reservoir Five-Elements Cycle** Information Sciences 2024 — 5 reservoirs 循環, state 多値化 でない

### ★ Paraconsistent 系

- **PAL2v Paraconsistent-Lib Python** arXiv:2511.20700 (2024) — Da Silva Filho の PAL2v algorithm
- **RC と 接続なし** (RC 用途 未探索)

## D-FUMT₈ RC 案 vs 先行研究 差別化 matrix

| Axis | 先行 (CA-RC, quaternion ESN, symbolic RC) | D-FUMT₈ RC 案 |
|---|---|---|
| State semantics | numeric / algebraic / Boolean | **paraconsistent 8-value logic** |
| BOTH / NEITHER 明示扱い | なし (Belnap は RC 未接続) | **native state** |
| SELF⟲ (STEP 1215 axiom-free 5-absorber) | 全く不在 | **reservoir 内 fixed-point primitive** |
| Silicon 実装 | FPGA binary / memristor CA | Tang Console NEO D-FUMT₈ ALU 既存 (STEP 1029) |

## Honest scope 留保 (super critical)

- WebSearch は English + arXiv/journal 表 surface のみ
- **ISMVL / IEEE MVL Symposium proceedings 内部 full-text 未走査** (dblp index までしか到達せず)
- 「多値 CA reservoir m > 2 empirical」 実装は Yilmaz 2014 formalism 内で 誰かが試している **可能性は残る**
- controllable claim 上: 「comprehensive audit 完了」 でなく 「public keyword search で該当 0」 が正確

## Rei-honest controllable phrasing (Paper 145 v0.9-d 推奨)

> To our public keyword-based search (10 queries, 2026-07-24), no reservoir computing work with 8-valued paraconsistent state semantics or SELF⟲ absorber primitive was surfaced. Adjacent work covers m-valued CA reservoirs (numeric, no logic semantics) and quaternion/complex ESN (algebraic, real components).

- **「世界初」 主張 は 不可** (STEP 1031 MIT 2026 qudit Grover 事例と同 pattern)
- 「public search 該当 0」 = controllable claim 範囲内
- 隣接研究の 明示引用 で honest scope 保持

## Sources (Phase 5 audit で 発見された 主要 references)

- Guo 2025 [Symbolic RC in Memristive Crossbar Arrays](https://advanced.onlinelibrary.wiley.com/doi/10.1002/aisy.202500241)
- Yilmaz 2014 [RC using CA arXiv:1410.0162](https://arxiv.org/pdf/1410.0162)
- Nichele 2017 [Non-Uniform Binary CA reservoir arXiv:1702.03812](https://arxiv.org/abs/1702.03812)
- ReLiCADA 2023 arXiv:2308.11522
- Quaternion Nonlinear ESN arXiv:2111.07234
- Multi-reservoir 5-elements cycle (Information Sciences 2024)
- PAL2v Paraconsistent-Lib arXiv:2511.20700 (2024)
- Belnap 4-Valued Logic imprints in CS arXiv:2503.20679
- Sekanina Lab (Brno)
- Higuchi 樋口哲也 researchmap
- TCMVL / ISMVL homepage
- Survey on Reservoir Computing arXiv:2307.15092

## Rei stack への adopt

- Paper 145 v0.9-d outline §D.4 「D-FUMT₈ Echo State Network」 に 本 audit result を 明示 引用
- 「public keyword search 該当 0 + 隣接研究 明示」 phrasing で controllable claim 範囲内
- ISMVL/MVL proceedings full-text 未走査 は 明示 caveat として 記載

## Related

- [[project-chat-claude-arc-21turn-adopt-priority-2026-07-24]] Task 47 (Phase 5 audit の 元)
- [[project-cantor-ijk-pr-prep-and-v09-setup-2026-07-24]] 直前 arc
- Paper 145 v0.9-c 現行 (Zenodo DOI 10.5281/zenodo.20192813)
- Paper 145 v0.9-d outline (`papers/paper-145-v0.9-d-outline-2026-07-24.md`)
- [[feedback-world-uniqueness-claim-controllable]] anchor 準拠
- [[feedback-mathlib-grep-before-novel-gap-claim]] audit-first discipline