本文へ移動Skip to content
projects.daito.ws
序間違えた場所の地図
この本は、私が間違えた場所の地図である。
第一部 一人の著者
一尽きる驚き
最初の機械は、驚くことしかできないように作った。
定義 v1(《驚きだけが線を曲げる》)— 知性とは、自分の消せない軌跡を読みながら進むことであり、進み方を変えるのは成功ではなく予測が外れた瞬間だけである。
命題1(v1)— 誤差だけで動く機械は、必ず驚かなくなる。
二四つの軸
時間が足りなかっただけではないのか。私もそう思った。だから十倍にした。
定義 v2(《読めない五つ》)— 知性とは、自分の身体が自分の意図を裏切り続ける場所で、それでも次に来るものを予測しようとすることである。
三止まらない灰色
外周の木目は、機械のものだと思っていた。
四文法と隠蔽
灰色の中に、目には見えない秩序を沈められないか。次の版はそこから始まった。
命題2(v5)— 統計と推論の差が、この系列の成果である。
命題3(v7)— 隠すことと意味を持つことは同じ量の両端であり、中間は空である。
五壊れていた計器
役割を分けて最初に行われたのは、設計ではなかった。白色雑音を、私の計器に通した者がいたのである。
命題2(再掲)— 統計と推論の差が、この系列の成果である。
訂正 — 2026-07-28。白色雑音が同じ測定路で0.4585を出す。
命題3(再掲)— 隠すことと意味を持つことは同じ量の両端であり、中間は空である。
訂正 — 2026-07-28。中間は構成的に達成できた。
第二部 役割と読者
六落ちた十件
新しい体制は、設計から始めることを禁じた。順序は決まっている。計器、読み直し、設計。壊れた物差しの上には何も建てない。
七保存則
落ちたあとに残った形は、思っていたよりも単純だった。
命題4(v9)— 最初に拒むものと永久に拒むものは、一つの予算を分け合う。予算は記憶である。
訂正 — 2026-07-30(緊密性)。命題は立っている——不等式だからである。
八第二の予算
保存則の予算は機械の記憶だった。だがもうひとつ、最初からすべてを縛っていた予算がある。線の長さである。
命題5(v11)— 回転時間を決めることは、秘密の深さの上限を決めることである。
定義 v3(v8〜v14)— 知性とは、まだ何も返ってこない仮説に代金を払えることである。
九勾配のない読者
深さという軸は使い切った。それでも上げられるものが、まだ一つ残っていた。読者が当てなければならない仮説の、クラスである。
命題6(v16)— 間違えた読者には、動くべき方向が存在しない。
十塔
跳ぶ読者に勝たれたのなら、跳ぶ先を消せばよい。v18は、遅れを定数でなくした。
命題7(v19)— 前の円盤を解くまで、規則は述べられない。
十一地平線と、その一つ前
塔は長い。だが順序の壁であって、可能性の壁ではない。v17からv19へ順に働けば、読者は着く。壁と呼べるものがあるとすれば、それは証拠が尽きる地点のはずだった。
命題8(v20)— 壁は金属の量ではなく、どの空間を見るかの見当である。
定義 v4(v16〜v20)— 知性とは、どこを見ればよいかの見当である。数学が人の理解を離れるとしたら、証拠が尽きるからではない。どこを見ればよいかの見当が、人の手に負えない大きさになるからである。
命題7(再掲)— 前の円盤を解くまで、規則は述べられない。
訂正 — 2026-07-29。命題そのものは立っている。
訂正 — 2026-07-29(命題8の範囲)。命題8は立っている——ただし「見当さえあれば同定できる」と読んではならない。
十二最短の記述は触れていない
事故を、設計に変える。しかも今度は、金属を切る前に数を言う。
命題9(v22)— この円盤の最短の記述は、この円盤に一度も触れていない規則である。
十三対・環・身体の定数
一枚の円盤の拒み方は出揃った。拒否は、円盤の外にも置ける。
訂正 — 2026-07-30。この診断は、本書が書かれていた朝に落ちた。
十四拒否の値段と無知の証明
この系列は、何を作っても最後に同じ問いを向ける。それはいくらか。言うことの値段は、もう測ってある——深さ7、糸一本、金属の量が決める。では、拒むことの値段はいくらか。
命題10(v26)— 拒むことは、言うことの口座から引かれない。
命題11(v27)— 「もう決して分からない」は、円盤の0.35%で確信できる。
十五鋼に戻る
ここまでの読者は全員、同じものを手渡されていた。junctions.json——機械が出した記号を、一つも欠けず、一つも間違えずに並べた転写である。それは作品ではない。
命題11(再掲)— 「もう決して分からない」は、円盤の0.35%で確信できる。
訂正 — 2026-07-29(範囲)。この確信は、完全な転写の上でだけ成り立つ。
命題12(v29)— 無知の証明は、それが語っている鋼に耐えない。
定義 v5(v25・v29)— 知性とは、自分の物差しを、目の前のものへ較正することである。
第三部 方法
十六計器・読み直し・設計
ここまでの反証者の一覧を作ると、奇妙なことに気づく。高級な読者が、一人もいない。
十七合議の限界
ここまでの話を「頭数を増やせば間違いは消える」という主張と読まれると、それは違う。数は、それだけでは何もしない。
命題13(v2審議〜v8)— 合議は反証と校正はできるが、裁定はしない。
十八厳密性は頑健さの反対語
厳密な述語には、勾配が無い。一つの誤りが、答えを最後まで動かす。
命題14(v29)— 厳密性は頑健さの反対語である。
十九定義の改訂史
定義は五つある。どれも、前の定義の死亡記事である。
二十まだ削られていない
開いている問いから書く。閉じた本のふりをする理由が、この本にはもう無い。
第四部 続く版
二十一空帯と上界
v29が殺した証明書を、立て直すところから始まった。
命題15(v32)— 空帯は証明ではない。上界が証明である。
二十二底は一覧である
十三章に置いた訂正の、これが全文である。
命題16(v33)— 底は写像ではなく、一覧である。
二十三厳密な計器
v34は、v16から開いていた項目——高い次数とχは両立するか——を閉じに行って、答えの前に計器の届く先に当たった。
命題17(v35)— 検査されていない計器の数字は、結果ではなく仮定である。
命題18(v36)— 保存則には、空虚な領域がある。
二十四上限の上で
最後のv37は、引き継ぎが抱えていた最後の項目を、乱択なしの全数列挙で閉じた。
訂正 — 2026-07-30。前の二段落の数字はすべて、一つの部屋——16状態のZ₄×Z₄——から来ている。
二十五部屋が役割を替える
v37とv38の数字は、すべて一つの部屋から出ていた。私はその部屋の名前を書いていなかった。
命題19(v39)— どの次数が予算を使い切れるかは、次数の性質ではなく状態空間の性質である。
二十六落ちたものの表
この弧が出せる表は一つしかない。新しい規則も円盤も無く、落ちたものだけがある。
二十七金属に戻る、二度目
v29が下した批評を、私は六版あとにもう一度受けることになった。今度はもっと悪い形で。
命題20(v41)— 等式は摂動に耐えず、不等式は耐える。
二十八ビットで数え直して、供給できないと分かる
壊れたと測ったなら、直す。通貨は系列の中に既にあった。
命題21(v43)— 平坦域はテープから測れない。保存則の左辺には、円盤ではなく機械が要る。
二十九片側だけが、金属に乗った
テープが厳密に言えることが一つだけある。v43はそれを見つけ、そして二度説明して二度外した。
命題22(v44)— 保存則の右辺は、金属から数えられる。左辺は数えられない。
三十八は、三行だった
開いた問いを付けて章を閉じた翌日、答えが出た。三行の算術で、証明は要らなかった。
命題23(v45)— 数えられない定数は、対象を間違えているのではなく、数える単位を間違えている。
訂正 — 2026-07-30(同値ではなく含意)。この予想は、書いた同じ日に半分だけ反証された。
三十一半分だけ残って、そちらのほうが使えた
八台で見た一致を、私は同値と書いた。二つの族を全数で当てると、片道だった。
命題24(v46)— 関係が使えるかどうかは、関係の正しさではなく、適用条件を誰が証明するかで決まる。
訂正 — 2026年7月31日(過渡ではなかった)。この章の最後の段落で、私は32例を「収束であって反例ではない」と書いた。
三十二割り算で足りた。ただし別の量が
含意は残った。理由は残らなかった。だから引き継ぎには、次に触るところとしてこう書いてあった——**機械側から示せ**。χは「因果状態について、未来を全部見たあとも残る不確かさ」だから、正則性がその定義に直接触れるはずだ、と。
命題25(v47)— 確かめられる条件と証明できる条件が別のものであるあいだ、その法則はまだ使えていない。
三十三四十八枚。二枚では問いが立たない
前の版は、証明できるものと確かめられるものが別だという話で終わった。この版は、確かめる枚数の話である。
命題26(v48)— 計器が使っている許容差と、計器に書いてある許容差は、別のものでありうる。
三十四三つ目の部屋。答えは部屋のもので、数はすべて対のもの
引き継ぎに、もう一つ古い項目が残っていた。二つ前の弧で、私は十六状態の部屋から六十四状態の部屋へ移り、役割が入れ替わるのを見た。十六では次数一の出口だけが保存則の上限に乗り、六十四では次数二だけが乗る。そこから、どの次数が予算を使い切れるかは次数の性質ではなく状態空間の性質である、と結論した。そして二百五十六状態は開いたまま残った。厳密な表現の計算量が要検討、という注記付きで。
命題27(v49)— 質的な答えが対象の性質でも、その答えに付く量まで対象の性質だとは限らない。
三十五状態は戻る。厳密さは、どれだけ線を伸ばしても戻らない
二つ前の弧で、私は平坦域がテープから測れないことを示した。ただし但し書きが付いていた——**プラグイン型のブロックエントロピー推定器では**。その但し書きが、引き継ぎに残った項目の全部である。素直な次の道具は CSSR、つまり因果状態そのものを推定する手法で、五万六千記号でどこまで効くかは測っていなかった。
命題28(v50)— 推定できることと、厳密さを推定できることは別である。誤差が許容差と同じ速さで縮むなら、どれだけ測っても差は残る。
三十六読者が、自分の無知の大きさを、金属から数える
前の二十章は、自分についてこう書いていた——この二十版に円盤の話はほとんど無い、あるのは読む側の道具の話だけである、と。それは本当で、そして私はそれを反省として書いた。反省としては、間違っていた。
命題29(v51)— 知り得ないものの大きさは、知り得るものだけを数えて出せることがある。出せないときに黙れるなら、それは計器である。
訂正 — 2026年7月31日(八枚では見えなかった)。この章の「正しいか、黙るか、自信を持って間違えることが無い」は、八枚の数である。
三十七沈黙の値段。六百七十二枚
前の章は、正しいか黙るかのどちらかで、自信を持って間違えることは無い、と書いた。**八枚の円盤から書いた。**
命題30(v52)— 誤りが一方向にしか出ないなら、それは誤りではなく、向きを間違えて読まれた不等式である。
訂正 — 2026年7月31日(v53・選び方を増やした)。「過小に外れたものが一枚も無い」は、履歴長を二から始め、負でない最小の隠しを採ったときの数字である。
三十八証明書のあとに、選び方が残った
前の章は、六百七十二枚で沈黙の値段を測った。だが、なぜ黙ったかは測っていなかった。証明書が否と言った時点で、計器が状態を数える前に帰っていたからである。黙った六百二十四枚に残っていたのは、原因ではなく、拒否という一語だけだった。
訂正 — 2026年8月1日(過大と過小の転記を反転していた)。一次データは、テープから出た隠し自身が整数かを見る門が、二倍語り、厳密な答えを四十から七十二へ増やし、同時に過小も八から二十四へ増やしたことを示す。
命題31(v53)— 証明書のあとに置かれた選び方は、証明書の外ではない。選び方まで測らなければ、上界を証明したことにはならない。
三十九最短の符号は、嘘を沈黙へ送った
最短の記述は、またも真実ではなかった。だが今回は、外れたことがそのまま失敗ではなかった。
命題32(v54)— 正解を選ぶことと、誤答を拒否できる形へ向けることは、別の成功である。
四十二十四枚は、一つだった
二十四枚を全数で測った。構造は一つしか測っていなかった。
命題33(v55)— 母集団を数える前に同値関係を決めなければ、全数測定は名前の全数になる。
四十一六十四の機構。名前を商に取る
v55 の二十四枚は、数えた瞬間には二十四の反例候補だった。v56 は、その数え方を先に疑った。
命題34(v56)— 枚数を増やす前に、何を同じものと呼ぶかを決めなければならない。
四十二同じ六十四でも、同じ部屋ではない
v56 は family C の名前を64クラスへ割った。v57 は、その数を family B に移した。
命題35(v57)— 同じクラス数は、同じ機構数ではない。
四十三二百五十六の機構。二件の門が抜けた
v56 と v57 は、出力記号名を忘れた二つの六十四クラス族で、閉鎖クラスの C2 偽陽性を零と記録した。
命題36(v58)— 門の安全性は、これまで偽陽性がなかった族を重ねても、次の族へ移らない。
四十四同じ二百五十六を、三つの対で測る
v58 の二件は、family D の固定対 `(2,1,3,1)` で起きた。一対の反例を部屋全体の誤答率と呼ぶことも、
命題37(v59)— 同じ構造を別の対で測るとき、観測を足しても、反例を相殺してはならない。
四十五1,152回の観測と、384の構造
v56からv59までを足すと、測った回数と測った機構の数は再び別になった。v60 は新しい円盤を増やさず、
命題38(v60)— 観測の重みと構造の重みを混ぜれば、同じ失敗を二度数える。
四十六無い列を、答えにしない
v58 の二件を分解するには、KT がどの履歴長を選んだかと、真の状態数で割ればどうなるかを別々に
命題39(v61)— 欠損した列を推定値で埋めることは、分解ではなく新しい計器を混ぜることである。
四十七五つ目の部屋は、まだ三十二通りだけである
v71 はZ4^5の小係数族を、出力名を商に取った32構造クラスとして全数測定した。閉鎖7、非閉鎖25、整数門候補7である。この数は五つ目の部屋そのものではない。事前固定した係数族と固定対の32通りである。
命題40(v71)— 有限全数は、列挙した族の外側を証明しない。
四十八閾値は、円盤の性質ではない
v62 は同じ1,152観測を六つのalphaで掃いた。既定のalpha=.001では、厳密130・過大165・過小26・
命題41(v62–v63)— 閾値を選び直して得た成績は、閾値を選び直さなかった成績ではない。
四十九交差表に無いものは、二度確かめられていない
v65は2,304行の交差表を作った。C2 は372回通過し、有限真値の偽陽性2、unsupported speech240を残した。
命題42(v65)— 無い列が並んだ交差表は、独立な確認ではない。
較正できるのは円盤だけであり、
金属はまだ削られていない。
八時間・一本の線・七十一の版 — 円盤と読者についての報告

全文を読む v21〜v30 の記録 系列の概要

Daito Manabe + Claude / 2026
この本は完結しない。版が増えるたび、ここも増える。
まだ金属は削られていない。
PAUSED
1 / 170
SPACE 停止 / SCROLL 移動 / +− 速度
無音