---
name: STEP 1013 - は/が 問題 × Rei machinery 実験 (国語未解決問題への machinery 適用範囲測定)
description: 2026-04-30 chat Claude 提示「国語未解決問題 (2) は/が」を試金石に Rei machinery 8 phase 適用. 適用「可」 = STEP 930 typology / ZONE classifier (negative result) / theory cluster / Invention Engine seed / W-48 NegCap. 適用「不可」 = NNUE / Auto-Lemma Prover / MANDALA 大半 / TDA. 結論: III_PROBLEM_UNDEFINED + meta=SELF + W-48 永久 NEITHER 保持. 解答主張なし.
type: project
originSessionId: b0abfd87-c276-41ad-adc6-4a2e6a1e1515
---
# STEP 1013: は/が 問題 × Rei machinery 実験

## 出所

chat Claude (web 版) が 2026-04-30 に「国語の主要未解決問題 6 件」を提示:
1. 日本語の起源 (NEITHER)
2. **「は」と「が」の根本的区別 (BOTH) ← 本実験対象**
3. 敬語体系の論理的基盤 (FLOWING)
4. オノマトペ意味論 (BOTH+NEITHER)
5. 古典作品の真の作者・成立過程 (ZERO)
6. 訓読みの定着過程 (FLOWING)

藤本さん指示: 「(2) は/が をレーダー、レンズ、全エンジン等で実験」

## 実験仮説 (★重要)

**「Rei が は/が 問題を解いた」とは主張しない**.

Rei machinery (radar / lens / engine) のうち
- 何が言語問題に当てはまるか
- 何が当てはまらないか

を **honest に観測する** 試金石。

## 適用「可」 (Phase 1-6)

| Phase | Engine | 結果 |
|-------|--------|------|
| 1 | STEP 930 Typology | III_PROBLEM_UNDEFINED (BOTH), meta-layer SELF |
| 2 | STEP 1012 ZONE classifier | NONE (★ negative result が positive 観察) |
| 3 | Theory cluster (D-FUMT₈) | TRUE/BOTH/NEITHER 3 値分散, 対立確認 |
| 4 | 例文 microscope | TRUE=2/BOTH=2/NEITHER=1/FLOWING=1 (4 値分散) |
| 5 | Invention Engine seed | 4 仮説 (ZCSG/FLOWING/SELF/W-48 NegCap), novelty 0.5-0.8 |
| 6 | W-48 Negative Capability | NEITHER 永久保持推奨 (Mikami 三上 NEITHER と同型) |

## 適用「不可」 (Phase 7, honest 列挙)

| Engine | 不適合理由 |
|--------|-----------|
| NNUE D-FUMT | 将棋自己対局用. 言語に input 形式不一致 |
| Auto-Lemma Prover | 形式論理証明用. は/が 形式化未完 |
| MANDALA spiralRing/superPolyhedra | Collatz/数値軌道用 |
| MANDALA wEntropyAnalog | Perelman 幾何, 言語に対象なし |
| MANDALA ricciCurvature | グラフ構造要求 |
| TDA / 圏論圧縮 | 文に自然 morphism 構造なし |

## 4 Invention seeds (高 novelty)

1. **wa-ga-zcsg-zero-center** (BOTH, 0.7) — 「は」=0 中心, 「が」=新 dot 投入
2. **wa-ga-flowing-context** (FLOWING, 0.6) — 解釈の時間軸 FLOWING
3. **wa-ga-self-meta** (SELF, **0.8** ★最高) — 日本語で日本語の は/が を語る SELF⟲ パラドックス
4. **wa-ga-w48-negative-cap** (NEITHER, 0.5) — Mikami NEITHER 立場の W-48 正当化

## 重要な観察

### Mikami 三上 (1953) と Rei (2026) の独立到達

Rei の W-48 NegCap 推奨 (NEITHER 永久保持) が
**70 年前の Mikami 主語廃止論 (NEITHER) と独立に同型結論に到達**.

これは Rei machinery が文化文献を直接参照しなくても、
D-FUMT₈ + 4 軸評価で同じ立場を導出できることの validation.

### 数学未解決問題との構造的違い 5 軸

| 軸 | 数学 | 言語学 (は/が) |
|----|------|---------------|
| 解の最終 D-FUMT₈ | TRUE/FALSE 確定 | NEITHER 永久保持 |
| 評価軸 | Lean 4 | 直感+通時的進化 |
| 検証 | 計算機検証可 | 過去話者全員に聞けない |
| ZONE | 4 種適用 | 全 ZONE 不適合 |
| Rei推奨 | tier-1 closure | W-48 NegCap |

## Future work

chat Claude 提示の他 5 件 (起源 / 敬語 / オノマトペ / 古典作者 / 訓読み) に同 machinery 適用:
- 各々の typology 推定済 (memo 中)
- 5 件 batch 実験 STEP として起票 candidate

## 関連 files

| File | Action |
|------|--------|
| `src/aios/linguistics/wa-ga-problem.ts` | NEW (4 理論 + 6 例文 + 4 invention seeds encoding) |
| `test/step1013-wa-vs-ga-experiment.ts` | NEW (8 phase runner, 8/8 PASS) |
| `experiments/wa-vs-ga-2026-04-30.md` | NEW (writeup, public-facing) |
| `package.json` | EDIT (test:step1013) |
| `CLAUDE.md` | EDIT (STEP 1013 row) |

## STEP 1013 の意義

1. **Honest result reporting**: ZONE classifier が NONE を返した = 言語問題不適合の正しい示唆
2. **適用範囲の透明化**: 「Rei machinery は何ができて何ができないか」を実例で記録
3. **数学に閉じない未解決問題への第一歩**: 国語/言語学/敬語等の 6 件未解決問題への machinery 適用 case study 1 号
4. **chat Claude との division of labor**: chat Claude が問題提示 → Claude Code が machinery 実装で検証

## 警告

本実験は「Rei が は/が 問題を解決した」と主張すると過剰主張になる.
正しい主張は **「Rei machinery のうち 6 件が部分適用可能」** に留める.
論文化する場合は paper title に "Application Study" or "Boundary Mapping" を含める.