2026-09-16T23:30:00+09:00
ルールの穴を探すツールを作り始めた
規約や法令の条文を小さな形式モデルに写して、結論の衝突や抜けを具体例つきで見つける趣味の研究をGitHubに置いた。架空の会員規約から始めて、刑法41条と刑事訴訟法203〜205条の一部まで手で試している。
SYSTEMONLINE / JST
FIELD NOTES / 2026
Tsuzuri
2026-09-16T23:30:00+09:00
規約や法令の条文を小さな形式モデルに写して、結論の衝突や抜けを具体例つきで見つける趣味の研究をGitHubに置いた。架空の会員規約から始めて、刑法41条と刑事訴訟法203〜205条の一部まで手で試している。
2026-09-16T01:30:00+09:00
一日一つの小さな発見、第四弾はボードゲーム・パズル方面。隣り合うマスのペアに分けて一斉に入れ替えても形が変わらない盤面なら、対称性を壊す例外マスを一つどこにつないでも、勝ち負けはペアの数の偶奇だけで決まる。例外が二つだと崩れ、三角形なら戻り、五つの塊では反例が出た。
2026-09-14T22:00:00+09:00
会計・販売・購買・在庫・契約・勤怠・給与・シフト・店舗機器まで一通り入った中小規模向けERP「大福帳」をソース公開した。計画と骨組みはFableで立てて、実装は土日にイオンライカムで子供たちと遊びながら片手間で。
2026-09-14T20:00:00+09:00
一日一つの小さな発見、第三弾は幾何。距離センサーの誤差がある幅に達した瞬間、位置の曖昧さが0.49から10.5へ跳ぶ。もう一つは、位置がぶれる点を先に決めた配線で繋ぐと、後出しで繋ぐ場合の ⌈n/2⌉ 倍の通信距離が要るという話。
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
日本郵便の全国データを1つのHTMLに内蔵した、郵便番号⇄住所の双方向検索ツール。端末内で完結して外部通信なし。Claudeにレビューさせて1回直した。
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 を追いかけていた。その研究ノートをスタンドアロンページとして公開。