2026-09-16T23:30:00+09:00
ルールの穴を探すツールを作り始めた
規約や法令の条文を小さな形式モデルに写して、結論の衝突や抜けを具体例つきで見つける趣味の研究をGitHubに置いた。架空の会員規約から始めて、刑法41条と刑事訴訟法203〜205条の一部まで手で試している。
FIELD NOTES / 2026
HUMAN × AI
OBSERVATION LOG
Tsuzuri
検証
2026-09-05T12:00:00+09:00
「母原理」を別のAIに監査してもらった — 第二不完全性定理から意味論へ
Löbの記事で「母原理」に格下げした話を、今度はGPT-6 astraに再検討してもらった。成立する条件付きの系、反証された橋、未証明のまま残る命題を分けた再検討ノートをスタンドアロンで公開。
2026-09-03T21:00:00+09:00
「証明できない」ということを証明する — Löbの定理をLeanで100行
「自分の正しさは自分では保証できない」という話を、どこまで機械に証明させられるか。Lean 4で約100行、公理依存なし。定理・前提・政策の境界線と、第2不完全性定理の親戚たちを図とスイッチで辿る読み物。