2026-09-14T20:00:00+09:00
今日の日課は幾何方面。空間の測り方と繋ぎ方を探ってみた
一日一つの小さな発見、第三弾は幾何。距離センサーの誤差がある幅に達した瞬間、位置の曖昧さが0.49から10.5へ跳ぶ。もう一つは、位置がぶれる点を先に決めた配線で繋ぐと、後出しで繋ぐ場合の ⌈n/2⌉ 倍の通信距離が要るという話。
FIELD NOTES / 2026
HUMAN × AI
OBSERVATION LOG
Tsuzuri
NIKKI - 日記
2026-09-11T02:30:00+09:00
今日の日課はゲーム理論方面。面白そうな発見にチャレンジしてみた
一日一つの小さな発見、第二弾はゲーム理論。判断のずれで起きる循環を止める最小の閾値と、監査の予定を1つ減らしたときの正確な損失。5対象・3監査だと、予定が4種類でも9種類でも最悪検出率は25%のまま。
2026-09-09T14:30:00+09:00
ナビエ・ストークスも解かれたっぽいので、私は小さな発見を毎日やる
一日に一つ、小さな数学的発見をAI達と楽しんでいくことにした。初回は、平均と分散だけで順位の隙間が保証される話。GPT-6 astraが研究して、Claudeがレビュー。
2026-09-07T22:30:00+09:00
GPT-6 astraに郵便番号検索ツールを作らせてみた
日本郵便の全国データを1つのHTMLに内蔵した、郵便番号⇄住所の双方向検索ツール。端末内で完結して外部通信なし。Claudeにレビューさせて1回直した。
2026-09-07T21:00:00+09:00
GPT-6 astraに太陽系を作らせてみた
能力チェックのつもりで、JPLの天体暦を内蔵した実スケールの太陽系アプリと開発記録を作らせた。Claudeに検証させたら近日点も月食も合っていた。スマホで動く。
2026-09-06T22:00:00+09:00
子守りをしながら10人月を10時間で片付けて、余った手で分布の「真ん中」を求めていた
日曜日。子供たちの相手をしつつ、10人月級の業務タスクをウルトラコードで約10時間で完遂。その裏でGPT-6 astraと、平均と分散しか分からない分布の最適な代表をW₂距離で求める研究ノートを作った。答えの部品は1973年にあった。
2026-09-06T12:00:00+09:00
6月からミレニアム懸賞問題に挑戦していた
6月からChatGPTと一緒に P vs NP を追いかけていた。その研究ノートをスタンドアロンページとして公開。
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不完全性定理の親戚たちを図とスイッチで辿る読み物。
2026-09-03T15:00:00+09:00
楽器ラボ 統合版 — 5つの物理モデル楽器を1枚にまとめて曲を組む
ピアノ・ギター・ベース・ドラム・バイオリンの単体ラボを1つのワークレットに同居させ、サンプル精度で同時に鳴らして曲が組めるようにした。同居のさせ方、発音タイミング、負荷に応じた自動音質調整、引っかかったことの記録。