📚学問・技術統合一覧、D-FUMT₈ の 8 値論理回路、PC自動操作ソフトRei-Automatorの更新の内容になります。

学問・技術 総合一覧 Explorer → https://claude.ai/code/artifact/392a7203-ff1a-4b56-8e0d-b792985ee5f6

藤本さんの「学問・技術 総合一覧」(2026-08-19、v1.0.2、446 項目) を、検索して辿れるようにした単一 HTML です。外部依存ゼロで、catalog は中に埋め込んであります。

中身は 3 つのタブに分かれています。

「樹木」が主 UI です。左に 部 → 章 → 小見出し → 項目 の 4 階層ツリー、右に詳細ペイン。項目を選ぶと、所属 (部・章・小見出し)、元資料の併記、小見出し内の位置 N/M と章内の位置 N/M、前後の項目への移動、そしてその項目のコネクタ実行コマンドが出ます。上の検索窓は 446 項目を用語・併記・章名・小見出し名の横断で部分一致検索し、用語名への一致を上位に並べます。/ で検索へ、↑↓ で結果移動、Enter で選択、Esc でクリア。

「全景」は俯瞰用です。章ごとの項目数バー (色は所属する部)、付録 C の実装状況マトリクス (✅7 / ⚠2 / ❌1)、★新規追加 12 項目 (v1.0.1 = ラムダ計算、v1.0.2 = 型理論・時相論理・HoTT + 量子 8)、そして Rei stack との接点マップ。どこをクリックしても樹木側に飛んで詳細が開きます。

「使う」は生徒さん向けに後から足したタブです。clone → 1 本動かす → Claude Desktop 登録 → 全本テスト の 4 ステップを、コピーボタン付きのコマンドで並べてあります。info / siblings / chapter / search の 4 ツール表と、リポジトリ・INDEX・ライセンスへのリンクも。

数字は全部検証済みです。 446 項目、章別 36/37/51/15/23/31/25/19/34/52/48/57/5/3/10、id 001–446 に欠番・重複なし。446 本のコネクタファイル名も INDEX.md から取って、正規表現・重複・id 前置の検査を通したうえで 4 本を実 fetch して存在確認しました。部別内訳は 第I部 237 / 第II部 191 / 付録 18 で、これは当初いただいた 225/203 から直した数字です。

意図的に控えた点がひとつ。 ご依頼にあった「章 × 実装度の集計」は、全 446 への推定マッピングにすると根拠のない割合が一人歩きするので、catalog の note と付録 C の status に明示的な根拠がある 21 項目だけ を数える接点マップにしてあります。残りは「未実装」ではなく「未マッピング」と表示しています。「世界初」の主張ゼロ、2026-08-19 スナップショット、量子 8 項目は Bennett 1973 系の標準セットで独自性ゼロ — といったスコープの断り書きは、末尾の「この資料について」に畳んであります。

light/dark 両テーマ、モバイル対応、横スクロールなし、JS エラーなしを Playwright で確認済みです。

出発点

前回までで Rei stack に統計・数学・論理の 3 教材が揃い、次の一手を選ぶ段階でした。藤本さんが選んだのは「D-FUMT₈ の 8 値論理をインタラクティブ化する」— つまり v0.1 の静的真理表の次に、触れる回路盤を置く、という方向です。

素材の受け渡し

権威 source として seven-logic.ts の raw URL をいただきましたが private repo で 404 でした。代わりに貼っていただいた inline 版（8 値名・記号・NOT 8 セル・AND 64 セル・OR 64 セル・配色）をそのまま採用しています。STEP 1349 の memory mirror からは d8Apply / d8Table / EIGHT_VALUES の命名と source: 'static-truth-table' の設計思想が読めたので、そこは踏襲しました。

作る前の検証で出た副次 finding

いきなり作らず、まず表を総当りしたのが結果的に一番効きました。ド・モルガン則は 128/128 全通過なのに、結合律 24 反例・分配律 36 反例・吸収律 32 反例。反例は例外なく {B, N} と {∞, ～, ⟲} が同居する場合で、(B∧N)∧∞ = ⊥ ≠ B∧(N∧∞) = ∞。

つまり D-FUMT₈ は束ではなく、実務的には 2 入力ゲートを 3 つ以上つなぐと木の形が答えを変える。これは真理表を何度読んでも見えず、回路にすると一目で分かる — v0.1 の次に回路盤を置く理由が、作る前に裏取りできた形になりました。教材の見せどころがひとつ増えた、という意味では n=27 の NEITHER 判定と同じ種類の収穫だと思います。

作ったもの

ゲートを置いて配線し、閉路も引ける回路盤です。評価は同期更新の反復で、不動点・振動（周期つき）・未確定を判定します。プリセット 6 本（自己言及ループ、結合律の破れ、ド・モルガン照合、〇 吸収、Belnap 層の谷、SR ラッチ）、POE 予測ゾーン、真理表 136 セルと早見の連動、法則チェッカー、正直な範囲 7 項、端末内カウンタ。

デザイン上の判断をひとつだけ挙げると、器具を全部グレーにして色は 8 値だけが持つようにしました。配色を既に 8 色使っている以上、UI 側がさらに色を足すと配線の色が読めなくなるためです。

2 回目の依頼で足したもの

破線アニメーションですが、単にループさせるのではなく反復の 1 段を 1 コマにした段送り再生にしました。結果として 落ち着けば破線が止まり、振動していれば回り続ける — 動きそのものが判定結果になります。この作業中に、収束時の trace 末尾に重複状態が 1 つ入っているバグも見つかって直しています。

残っている判断

1. STEP 番号は振っていません。 前回の SAC-4 事後訂正を踏まえて、git log + MEMORY.md + disk state の三段 check 前に番号を主張するのは避けました。フッタは「git log 照合後に確定」のままです。

2. seven-logic.ts との照合が未了。 Add folder でリポジトリを接続していただければ突き合わせます。

3. 教員 pilot は前回準備した分がそのまま待機中です。今回の回路盤を pilot に含めるかどうかも、まだ決めていません。

Sources: D-FUMT₈ 8 値論理回路 v0.1 · STEP 1349 d8 operator connectors memory

PC完全自動操作ソフト　Rei-Automator

v0.9.8 ビルド・シミュレーター → https://claude.ai/code/artifact/9030affe-1e98-43b8-b69a-18e6faf44ffc

v0.9.7 から v0.9.8-experimental で何が変わったのかを、読むのではなく触って確かめるページです。単一の index.html で、外部依存は Google Fonts だけ。音声ファイルも同梱していません。

構成は 3 つのセクションです。

「ビルドの流れ」が中心です。② rei-aios → junction → ① src/ → tsc + builder → portable exe という 5 つのノードの下を、色分けされたパケットが流れます。スライダーで追加する依存を 0〜21 個動かすと、exe が 101.2 MB から 121.5 MB まで伸び、パケットの量も増えます。Layer 1 / 2 / 3 はクリックで ON/OFF でき、Layer 1 を外してもサイズがほとんど動かないことが手で分かります。そこが今回の実態なので。「ビルド実行」を押すとパケットが加速して、junction を解決中… から TS error 39 本を mask… まで 4 段階のログが流れ、完了チャイムが鳴ります。

「更新のたびに何回ビルドし直すか」は、数値入力で ② の更新回数を入れると、junction 方式で必要な rebuild 回数と、実行時に呼ぶ方式の 0 回が並んで伸び縮みします。初期値は 8 月の STEP 1336〜1347 = 12 です。同じ「② を取り込む」でも保守の重さが違うという、いちばん効いてくる話を数で見せています。

「PC 操作のようす」は、モックのメモ帳の上をカーソルが動いてクリックし、「テスト日本語 IME バイパス」を打ち込むデモです。右に audit log が積み上がり、Layer 2 を外すと記録だけが止まります。kill switch でその場凍結もできます。速度スライダーは 0.3×〜3.0×。

音は WebAudio 合成です。 BGM は三角波のパッドと五音音階のアルペジオ、効果音はスライダーのティック、トグルの二音、クリック音、タイプ音、完了時の 4 音チャイム。自動再生制限があるので「♪ 音を鳴らす」を押してから始まり、音量スライダーと停止も付いています。

数字の扱いは正直に書いてあります。 実測は 101,216,687 バイトと 121,532,637 バイトの両端だけで、1 依存あたりの増分と Layer 1・2 の寄与はそこからの按分です。「Layer 2 が build に入った ≠ 画面で使える」も常時表示の但し書きにしていて、Layer 1 を外すと「GUI に届くか」の表示が「届かない疑い」に変わります。PC 操作のデモも、モックで実データではない旨を明記しています。

ダウンロードは v0.9.7 stable を推奨として上に、v0.9.8-experimental を prerelease として下に。5 つの制約と SmartScreen の注意も添えました。ライト/ダーク両対応、モバイル対応、prefers-reduced-motion でアニメーション停止。配色は色覚多様性の検証スクリプトを通してあります。

生徒配布 URL: https://rei-aios.pages.dev/tools/sougou-explorer/
dev 向け repo: https://github.com/fc0web/sougou-connectors

最新論文 (Paper 26 v2) 11 platform URL 一覧

publish date: 2026-07-25 v0.2 → 2026-07-26 v0.3 corrigendum
title: D-FUMT₈ × Clifford Cl(3,0): Grade-Respecting Bijection + Peace Axiom Invariance + SELF Reflection Involution — Lean 4 Axiom-Free

Zenodo (2 deposit, v0.3 supersedes v0.2)

- v0.3 corrigendum (最新): https://doi.org/10.5281/zenodo.21572459
- v0.2 (pre-corrigendum, immutable): https://doi.org/10.5281/zenodo.21560387

他 platform (v0.2 base)

#: 2
Platform: Internet Archive
URL: https://archive.org/details/rei-aios-paper-026-v2-v02-1784991427610
────────────────────────────────────────
#: 3
Platform: Harvard Dataverse
URL: https://doi.org/10.7910/DVN/KC56RY
────────────────────────────────────────
#: 4
Platform: Dev.to
URL:https://dev.to/fc0web/paper-26-v2-v02-d-fumt-8-x-clifford-cl30-grade-respecting-bijection-peace-axiom-invariance-43bp
────────────────────────────────────────
#: 5
Platform: HackMD
URL: https://hackmd.io/@zCUv2P2UQHGmAOJFPLL_-A/rkUXk8Grfl
────────────────────────────────────────
#: 6
Platform: Hatena
URL: https://fcwebfujimoto.hatenablog.com/entry/2026/07/25/235858
────────────────────────────────────────
#: 7
Platform: Notion
URL: https://app.notion.com/p/Paper-26-v2-v0-2-D-FUMT-8-x-Clifford-Cl-3-0-Grade-Respecting-Bijection-Peace-Axiom-Invar
iance--3a8dd371e6d9814b9b47f2d21624150f
────────────────────────────────────────
#: 8
Platform: Livedoor
URL: https://fcwebfujimoto.livedoor.blog/arc
────────────────────────────────────────
#: 9
Platform: Mastodon
URL: https://mathstodon.xyz/@Fujimoto/116981
────────────────────────────────────────
#: 10
Platform: Nostr (long-form)
URL: https://njump.me/naddr1qvzqqqr4gupzq70yjrpthdlvf628tjar6rlqy28wumn8ghj7un9d3shjtnyv9kh2uewd9hsz9nhwden5te0wfjkccte9ehx7um5wghxyctwvsqs6amnwvaz7tmwdaejumr0dsqpzun9dykkz6t0wvkhqctsv4ez6v3kdggpdy
────────────────────────────────────────
#: 11
Platform: GitHub commit
URL: f328230b5 (4834e5851 for v0.2 base, commit trail = rei-aios repo)