本文へ移動Skip to content
projects.daito.ws

REMOTE REVIEW / 設計の議事録

四つの計画と、
三つの却下
FOUR PLANS, THREE REFUSED

次の版の規則を決めるために、独立した機械に四つの計画を書かせ、 それを互いに攻撃させた。このページはその記録である。 採用しなかった三つも、却下の理由ごと全部載せる — 捨てた側のほうが、残った側より多くを語っているからである。

作業した機械
20光学9 + 設計11
合計時間
2.35 h並列なので実時間はもっと短い
提案
4作るのは 1
私の側の敗北
2前提と、自分の試作

やったこと

設計を一人で決めると、自分の思いつきに都合のよい理由ばかり集まる。だから 役割を分けて並列に走らせ、最後に互いを否定させた。二回やっている。

一回目(光学): 溝に当たった光がどこへ行くかを、3体に独立に導出させ (ベクトル幾何 / マイクロファセット / 数値追跡)、2体に材料定数を文献から集めさせ、1体に幾何光学の 妥当範囲を検算させ、そのうえで3体に「間違いを探せ」と指示した。

二回目(設計): 粘菌・チューリング系・軸索誘導・センサー側の四方向を 4体に文献から固めさせ、その結果を渡して4体に別々の計画を書かせ、 最後に3体に失敗を予測させた(算術で / 数値実験で / 作品として)。

批評する側には「丁寧に勝者を選べ」ではなく 「失敗を予測せよ。五版すべてが軌道に落ちて終わったのだから、同じ運命を既定と見なせ」 と指示している。褒める余地を与えないほうが情報が出る。

まず、私の前提が壊れた

私はこう書いて渡した — 「粘菌モデルも反応拡散も減衰する場から長さスケールを得ている。 この媒体は忘れられない。だから長さスケールが最大の難所である」。

それは違っていた。Jones の多エージェント粘菌モデルで メッシュ間隔を決めているのはセンサーのオフセット SO であって減衰率ではない。 論文は明示している —「SO はスケール因子として働く。小さければ細かい構造、大きければ広い模様と 粗い経路になる」。同じモデルの減衰長は 1.8 px で、SO の 9 px よりずっと小さい。 減衰の本当の仕事は、場を書き換え可能に保ってネットワークを組み替えさせることであって、 スケールを決めることではない。

さらに、v1〜v5 が死んだ理由の診断も更新された。私は「永続する媒体＋飽和するセンサー」と 書いたが、より鋭い言い方があった —

場が飽和したのは媒体が永続だからではなく、規則が凝集的だったからである。 引き寄せる規則は被覆率を 82% まで押し上げる。疎さを作るのは反発か排除の符号だけで、 そして「引き寄せを反転させると規則的に並んだチューリング様の構造が出る」ことは 同じ Jones 論文の中に書いてある。

四つの計画

四体は互いの案を見ずに書いた。以下は各案の骨子と、その案自身が申告したリスク、 そして批評が下した評決である。

I. YIELD / BREAK — 譲るか、割るかこれを作る

機械が能動的に決めるのは、半径軸の横方向の硬さ、それだけ。柔らかいとき、 出会った古い溝に機械的に捕まれて操舵される(深さは増えないので何も削らない)。硬いときは すべてを横切って直進する。切り替えの引き金は距離でもタイマーでもなく、 溝を横切ったときの力のパルスの「回数」である。

記憶はモードのビット1つ、符号のビット1つ、小さな整数1つ。地図も場も予測器も持たない。

これが強い理由は一つに尽きる。規則の中に長さが一つも書かれていない。 だから模様に長さが現れたなら、それは必ず金属が作ったものである。 批評の言葉では「模様のスケールが自分の規則の定数の言い換えになっていない唯一の案」。

自己申告のリスク: 「これを殺すのは、力の窓が存在しないかもしれないこと。 捕獲には F_y < F_escape < F_s が必要で、これはクーポンで測るまで分からない」

II. 《忘れるのは目だけ》 — Only the Eye Forgets却下(可否は割れた)

金属は全部覚えたまま、読む側だけが忘れる。横切った溝を数え、最近の本数に 反比例する強さでその溝に向き、4 mm 以上乗り続けた溝には盲目になる。

診断としては四案中もっとも正確だと批評も認めた — v1 の turn が (GAIN_GRADIENT + GAIN_SURPRISE·|err|)·drive であり、誤差がゼロに落ちると 第一項の定数が residual な操舵として残る、という指摘である。

批評: 「病気の診断は正しく、処方が自分の診断と矛盾している」

III. TWO RADII — 《近くは誘い、遠くは拒む》却下

溝の長さ密度(占有率ではない)を書き込み、幅 1.2 mm と 6.0 mm の二つの ガウス核で符号を逆にして読み、差を広い方で割る。局所活性化・長距離抑制 — 私が前回「次はこれだ」と推薦した方向である。

算術で否定された。予測されたピッチ 8.4 mm は 1.4006 × σᵢ (6.0 mm) そのもので、 つまり核の幅を言い換えただけである。批評の言葉では 「非常に高い確率で読める網目を作り、非常に高い確率で創発ではない」。

自己申告のリスク(そのまま): 「間隔はおそらく輸入されている。 p = 1.4006 × σᵢ は構成上そうなる」

IV. ANASTOMOSIS — 浅ければ合流し、深ければ渡る却下・私が作った案

古い溝と出会った角度だけを読む。18° より浅ければ合流し、深ければ横切り、 乗っていて金属が削れなくなったら記憶した合流点で別の幹に移る。

これは私がすでに実装して回した案である。そして三体のうち二体が却下した。 根拠は私自身のデータだった。

独立に追試した批評の実測 — 「予測 p = 20 mm は記憶窓 W_s = 20 mm と完全に一致(比 1.00)。 実測 p = 2.2 mm は 3.7 × 歩幅(0.6 mm)。模様のスケールは歩幅である。」

却下された案の出力と、そのアブレーション
却下された案(IV)の出力と、そのアブレーション。三枚すべて被覆率 0.60 で揃えてある。 左が全項、中央が「合流」を外したもの、右が v1 の規則。 幹と合流点は確かに出ている — 最も忙しい1割のセルが全通過の 0.2995 を占め(v1 は 0.2227)、 Gini 0.4019(同 0.2978)、最大/平均 20.6(同 5.7)。そして「合流」を外すと 全指標が v1 の値にほぼ完全に戻る(0.2241 / 0.2996 / 5.6)。 中央と右は目でも区別がつかない。
それでも却下されたのは、幹の「間隔」が無いからである。集中はあり、周期性が無い。

自己申告のリスク(第一位に置かれていた): 「設計の中心的リスクであり未解決 — 試作は特徴的な区画サイズを作らない」

評決が割れたところ

計画算術で攻める批評数値実験で攻める批評作品として攻める批評
I. YIELD / BREAKstrongstrongplausible
II. Only the Eye Forgetsplausiblewill-failplausible
III. Two Radiistrongplausiblewill-fail
IV. Anastomosiswill-failwill-failplausible

一致したのは一案だけで、あとは真っ二つに割れている。II と III は 「strong」と「will-fail」が同じ案に付いた。だから最後に判断したのは私である — 合議は判断を代行しない。決め手にしたのは、III を殺した論法が シミュレーションではなく算術だったこと(核の幅は測るまでもなく核の幅である)と、 I だけが規則に長さを持たないことだった。

創発を偽装する三つの方法

批評が最も役に立ったのは、ここである。「大きな模様が出た」は主張として弱い — 模様の長さが規則の中に既に書かれていれば、それは創発ではなく写像だからである。

一体は閾値を合成データで校正してきた。200 mm・0.5 mm セルで:

合成した場スペクトルの突出区画サイズの CV
完全な 8.4 mm メッシュ10740.04
CV 0.3 で揺らがせたメッシュ4.340.45
Poisson 線過程1.350.74
持続ランダムウォーク(v1 的な落書き)1.310.95

そしてその落書きが、21.5 mm に振幅 1.01 の偽のピークを出した。 つまり自己相関に山が見えただけでは何も言えない。校正から出た基準は 突出 ≥ 2.0 かつ 区画CV ≤ 0.6 である。私が自分の測定を信用せずに捨てたのは正しかったが、 代わりに使うべき閾値は持っていなかった。

私が自分で確かめた一点

残った案の全体重は、ひとつの経験的主張に乗っている — 「溝を横切った回数」は、板が埋まっても死なない。人任せにできないので、 自分の試験台で測った。被覆率 0.80 以上の領域で:

読み平均標準偏差変動係数
占有率(v1 が読んでいたもの)0.99790.01520.0152
交差カウント1.5322.7281.78

v1 のセンサーが死んでいる場所で、交差カウントは 117 倍の相対変動を保っている。 占有率は 0.998 に張り付いていて、もう何も伝えていない。

同じ方法で、私の公開済みコードのバグが出た

一回目(光学)の議事録には、この方法がいちばんはっきり効いた例がある。 3体が独立に導出し、別の3体に「間違いを探せ」と指示した結果、 3体全員が同じ実バグを指摘した。

先端を鈍らせる球が円錐に接する条件を、私は軸からの半角ではなく面からの半角で 書いていた。R·sin と R(1−cos) は 120° ではなく 60° 円錐の 接点公式である。結果、接合部に 30° の折れがあって「鈍らせた円錐」になっておらず、 荷重が決めるのは深さではなく接触半径なので、公開していた深さが 1.93 µm 過大だった (17.841 → 15.907 µm)。

導出した3体は全員この幾何を使って計算し、全員が正しい結論(円錐性、 30°/60°、対壁と平行)を出していた。間違いは全員が共有していたので、 導出を増やすだけでは見つからなかった — 「間違いを探せ」と明示的に指示された 別の役割が要った。

この方法の効き方と、効かなかったところ

効いた: 私の前提を壊した(減衰は長さを決めていない)。私の推薦を算術で潰した (二半径は核の幅の言い換え)。私の試作を私のデータで却下した(模様のスケールは歩幅)。 公開済みコードの実バグを見つけた。閾値を校正した。

効かなかった、あるいは注意が要る:

合議は判断を代行しない。反証と校正は代行できるが、 割れた評決を裁くのは最後まで私の仕事である。

ファイル

全文を置いてある。採用しなかった三案も、削らず全部。

この議事録が決めようとしているのは次の版の規則である。 ここまでの版は 読めない五つ(極座標プロッター・八時間と八十時間・光)、 他人の傷(同じ板を分け合う八台)、 十日、八時間版。
さらに以前: KÖNIGSBERG ・ SIXTEEN HOURS