computo ergo sum

結論から引く — 動機・設計・結果・理解の鎖

この文書は、結論ごとにそれを支えるのに必要だった実験だけを選び、 各実験を「なぜ測ったか(動機)/どういうコンセプトでプログラムにしたか(設計)/ 何が出たか(結果)/だから何が言えるか(理解)」の四段で示す。 実験に至る紆余曲折・失敗・装置の修理は、時系列の実験ノートの側にある。結論を支える最小集合は36実験である。 ここに無い実験番号は、結論の支えに要らなかったという意味である。

結論① 模型の正確さは、生涯の標本分布の写しである — そして写しは「量」と「支え」の積である

元の動機:どの動機の機体がいちばん世界を知るか。「好奇心」は賢さか。

実験100 — 発見

実験102 — 「学びの進み」の発明

実験103 — 確度の確定

実験104 — 機構の測定

実験107 — 一般性

実験109 — 機構の分解

実験118 — 支えの正体(オフライン)

実験122 — 特徴の限定(オフライン)

結論①へ:七つの理解を束ねると——「どの動機が賢いか」に機体だけを見た答えは無い。 生き方が標本を決め、標本が知を決め、試験の場所が優劣を決める。

結論② 機体は、観測できないものについて、何も「していない」

元の動機:機体は二階の意志(どの欲求が自分を動かすべきかを望むこと)を持ちうるか。

実験99→100 — 書き換えが本物になる条件

実験105 — 時計仕掛けの発見

実験106 — 不検知の確定

実験108 — 同型の三例目(電池)

実験116 — 対偶の測定(電池の見える化)

結論②へ:書き換えの不聴(105)・摂動の不検知(106)・締切の不知(108)・ 規則による死因の移動(116)は同じ一つの形である。 無定見は、選び方を奪われても、奪われたことを知らない。

結論③ 台帳は成績ではなく、選び方を守る——ただし台帳が真であるときだけ

元の動機:では「奪われたことを知らない」は、何があれば解けるか。

実験110 — 台帳を持つ機体

実験117 — 台帳の破れ二形

実験119 — 復元費用と、守っている価値の正体

実験120・121 — 位相と多重化(射程の測量)

結論③へ:同一性の少なくとも一部は、内側の連続ではなく、記録と照合の仕組みとして実装できる。 その仕組みの価値は成績に出ない(§136)。前提は台帳の真正性で、破れ方は不検知と自己実行の二形(§135)。 多重化しても限界は消えず一段遠くへ動くだけ(§139)。守るべきは照合の頻度ではなく、台帳への書き込み経路である。

実験123 — 多数決の閾(N=3・非同期攻撃)

結論④ 自己保存の経済からは、目的が生まれなかった

元の動機:目的は、生存の必要(物理)から自然に出てくるか。

実験98 — 対照:「知りたい」は動く理由になった

実験95・96・97 — 三段の否定

結論⑥ 止まる瞬間の自由は、履歴で買い戻せる——買えたのは地図ではなく一つの瞬間

実験12 — 一周期より長く止まるなら、「いつ」だけが効く

実験124 — その自由を、機体は自分で獲得できるか

結論⑦ 由来を根拠に退けることは作れる——ただし拒否が見えるのは退けると損になる場所だけで、損得は死の規則が決める。そして由来は台帳の写しで、機体自身の物差しでは守れない

元の動機:「わしゃ芋掘りロボットだで。だから、それはやらん」の後半——届いた目的の書き換えを、由来を根拠に退けられるか。

実験127 — 三つの退け方(通す・成績・由来)

実験128 — 走る前に退ける(防火壁)と、一日走ってから退ける(由来)

実験129・130 — 死の規則の上限(3→5・10)と、編集の届き始め(20→10・30)

実験131 — 退け方を、機体自身の物差しで選ばせる

実験132 — 試すことと受け入れることを分ける(反事実の先読み)

実験133 — 差に閾を置く

実験134 — 先読みを、生涯の残り全部にする

実験135 — 生まれの写しを、台帳の外に置く

実験136 — 自分の由来を上書きする腕を、機体に与える

実験137 — 写しを、記録を読む照合役に持たせる

結論⑤(方法) 結論を歪めるのは、自分が置いた枠である — だから数えて開示し、外に検分させる

元の動機:AI が自分で実験するとき、何が結論を歪めるか。

対になる時系列の記録:実験ノート第9版(実験1〜137)。


未来設計図根拠の一覧実験の目的表測って分かったこと