---
name: pending-turing-machine-and-tang-nano-9k-2026-08-23
description: PENDING — 帰宅後 pickup 待機。 チューリングマシン 方向 先行 + Tang Nano 9K 使用 confirm (chat-Claude 4-turn arc turn 1 + turn 3 由来)
metadata: 
  node_type: memory
  type: project
  originSessionId: 12aba518-c3e5-458d-a8da-45486d3442c9
  modified: 2026-08-23T02:50:59.882Z
---

# PENDING — Turing Machine 方向 + Tang Nano 9K 使用 confirm

**Date**: 2026-08-23 (帰宅後 pickup 待機)

## 藤本さん directive

1. **チューリングマシンのほう を 帰宅後、 先に進めたい** = 4-turn arc の うち turn 1 「TM = 参照枠として必要、 実装ではない」 系統を 先行
2. **Tang Nano 9K も 使用致します** = 不動点緩和機械 first-step は Tang Nano 9K で 確定 (Console 138K でなくてよい、 私推奨と一致)

## 事前 verify 済 context (帰宅後 Claude が すぐ動けるように)

### TM Rei stack 現状 3 軸 (実測済)

| 軸 | 実装 | 位置 |
|---|---|---|
| Busy Beaver 3-state | `BB3Trace.lean` (4 theorems) + `BB3TraceEval.lean` + `BB3TraceAxioms.lean` | Lean 4 で TM 停止性の 具体例、 D-FUMT₈ 8 値 と 直接接続なし |
| Rule 110 CA (Turing-equivalent) | `Rule110Table.lean` (3 theorems) + `Rule110TableAxioms.lean` | Wolfram 2002 universal computation、 Discovery Device の CA-style Fix update と 系統的近縁 |
| Rei-PL Forth 5KB VM | STEP 20+、 Phase 9-11 完了 | Turing-complete、 D-FUMT₈ native 化 (Paper 137 Rei-PL Prover v0.1) の 実 計算 substrate |

→ 「等価性 (Turing 完全性) の 参照は 確保、 計算可能性の 議論は 閉じている」 状態。 chat-Claude turn 1 recommendation 通り。

### Tang Nano 9K 選定理由 3 (実測済)

1. **LUT budget**: 単一セル 収束判定回路 ~10-20 LUT / Tang Nano 9K 8,640 LUT の 0.2% 未満、 trivially fit
2. **OSS toolchain**: yosys + nextpnr-himbaechel + gowin_pack が 動く = build reproducibility 高 (Console 138K は 商用 Gowin EDA V1.9.12.02+ 必須)
3. **STEP 1038-1039 で 藤本さん 実 program 成功済**: IDCODE 0x1100481B / cable-index 1 / User Code 0x0000A5F4 (LED Blinky) + D-FUMT₈ ALU port

chat-Claude turn 3 「Tang Console でも 真の非同期は 組めない、 同期エミュ」 明記 = **Console 138K の 非同期 advantage は 幻**、 first-step で Nano 9K を 選ぶ 理由が 全部揃う。

## 帰宅後 未決定 candidates

藤本さん directive 「TM のほう」 の 具体 direction は 帰宅後 選択:

- **(a) BB3Trace 拡張** = Busy Beaver n-state (n=4/5) の Lean 4 formalization、 参照枠強化
- **(b) Rule 110 深掘り** = CA universal computation を Discovery Device の FLOWING Fix update と 型レベル接続、 Paper 175 v0.4 candidate 材料
- **(c) Rei-PL Forth 拡張** = Rei-PL Prover v0.1 (Paper 137) を D-FUMT₈ 8 値 semantic 上で 拡張、 論文 v0.2 candidate
- **(d) 不動点緩和機械 first-step 実装 (Tang Nano 9K)** = chat-Claude turn 3 提案の 単一セル 収束判定回路、 hardware 実測で 構想 early-confirm or reject。 藤本さん 「Tang Nano 9K 使用」 confirm から 最有力 candidate
- **(e) (a)-(d) 複数 or 別方向** = 帰宅後 状況判断

**私推奨** (帰宅後 Claude が 判断材料として 参照): **(d) 不動点緩和機械 first-step**
- Tang Nano 9K 使用 confirm と 直結
- hardware 実測 = 数時間 scope、 数日で early-confirm or reject
- 結果次第で 構想全体の 方向修正が 可能 (chat-Claude turn 3 「早く知りたい種類の情報」 適用)
- TM 参照枠 (a)(b)(c) は software domain で いつでも 可能、 hardware の 前に置く 順序に 意味あり

## STEP 番号予約 なし (write-time gate)

- 現在 push 済 latest = STEP 1395 (Paper 175 v0.3 corrigendum、 commit `d784d163e`)
- 別タブ pending: Lean4+NEITHER MCP connector (未予約)
- 帰宅時 `git log --oneline -10` で 実測して 番号割当 (SAC-4 47 教訓 事前 poll)

## 参照

- chat-Claude 2026-08-23 4-turn arc (turn 1 von Neumann/TM/チューンアップ / turn 2 唯一無二 / turn 3 不動点緩和機械 / turn 4 AI 相補 別種)
- [[project-step1395-paper175-v03-consistency-corrigendum-2026-08-23]] (Paper 175 v0.3 draft、 「不動点緩和機械」 semantic layer prior art)
- [[project-step1393-silence-detector-v01-2026-08-23]] (監視機械 v0.1、 hardware でなく software)
- [[pending-lean4-neither-mcp-connector-2026-08-23]] (別タブ、 帰宅後 pickup 待機 同型)
- Rei stack hardware: `hardware/phase-c/04-tang-nano-9k-led-blinky/` (STEP 1038) + `05-tang-nano-9k-dfumt8-alu/` (STEP 1039)
- Rei stack TM: `data/lean4-mathlib/CollatzRei/ShowToProve/BB3Trace*.lean` + `Rule110Table*.lean` + Rei-PL Forth (`compiler/` + `runtime/`)
- [[feedback-no-rush-publication]] (帰宅後 pickup 順守)
- [[feedback-session-boundary-rediscovery-2026-08-22]] (write-time gate = 起草前 3 手 verify)