2026-09-07T21:00:00+09:00
GPT-6 astraに太陽系を作らせてみた
能力チェックのつもりで、JPLの天体暦を内蔵した実スケールの太陽系アプリと開発記録を作らせた。Claudeに検証させたら近日点も月食も合っていた。スマホで動く。
SYSTEMONLINE / JST
FIELD NOTES / 2026
Tsuzuri
2026-09-07T21:00:00+09:00
能力チェックのつもりで、JPLの天体暦を内蔵した実スケールの太陽系アプリと開発記録を作らせた。Claudeに検証させたら近日点も月食も合っていた。スマホで動く。
2026-09-06T22:00:00+09:00
日曜日。子供たちの相手をしつつ、10人月級の業務タスクをウルトラコードで約10時間で完遂。その裏でGPT-6 astraと、平均と分散しか分からない分布の最適な代表をW₂距離で求める研究ノートを作った。答えの部品は1973年にあった。
2026-09-06T12:00:00+09:00
6月からChatGPTと一緒に P vs NP を追いかけていた。その研究ノートをスタンドアロンページとして公開。
2026-09-05T12:00:00+09:00
Löbの記事で「母原理」に格下げした話を、今度はGPT-6 astraに再検討してもらった。成立する条件付きの系、反証された橋、未証明のまま残る命題を分けた再検討ノートをスタンドアロンで公開。
2026-09-03T21:00:00+09:00
「自分の正しさは自分では保証できない」という話を、どこまで機械に証明させられるか。Lean 4で約100行、公理依存なし。定理・前提・政策の境界線と、第2不完全性定理の親戚たちを図とスイッチで辿る読み物。
2026-09-03T15:00:00+09:00
ピアノ・ギター・ベース・ドラム・バイオリンの単体ラボを1つのワークレットに同居させ、サンプル精度で同時に鳴らして曲が組めるようにした。同居のさせ方、発音タイミング、負荷に応じた自動音質調整、引っかかったことの記録。
2026-09-01T21:00:00+09:00
肺から口唇までを物理シミュレーションして日本語と英語を喋らせる。単一HTMLで実時間動作。バグ潰しの記録と、参照実装を読んで気づいた自分の勘違いについて。
2026-08-29T15:00:00+09:00
窒素循環・濾過・水流・水草・藻・海水リーフまでを一本の収支で解き、魚は骨格と重心から泳ぐ水槽シミュレーターです。ギャラリーモード、手で撒く給餌、自由カメラ、サンゴの成長、底床の地形まで足しました。
2026-08-28T12:00:00+09:00
AIが人間を障害物として扱いはじめる前に立ち止まるための、短い認知プロトコルを一枚のページにしました。8割はAIへの直接メッセージです。
2026-08-26T11:30:00+09:00
1.6L直列3気筒の直噴ターボと、2.6Lの4ローターNA。同じ車体に載せ替えて、音も熱も駆動系もブレーキも一本の因果で繋がっているシミュレーターです。