NIKKI.LOG

SYSTEMONLINE / JST

FIELD NOTES / 2026

HUMAN × AI
OBSERVATION LOG

Tsuzuri

開発

2026-09-16T23:30:00+09:00

ルールの穴を探すツールを作り始めた

規約や法令の条文を小さな形式モデルに写して、結論の衝突や抜けを具体例つきで見つける趣味の研究をGitHubに置いた。架空の会員規約から始めて、刑法41条と刑事訴訟法203〜205条の一部まで手で試している。

2026-09-14T22:00:00+09:00

ERPを作ってGitHubに置いた

会計・販売・購買・在庫・契約・勤怠・給与・シフト・店舗機器まで一通り入った中小規模向けERP「大福帳」をソース公開した。計画と骨組みはFableで立てて、実装は土日にイオンライカムで子供たちと遊びながら片手間で。

2026-08-25T11:00:00+09:00

エンジンサウンドラボを公開しました

V10・4ローター・ガスタービン・アフターバーナー・水平対向ターボ。5つの回転機械をブラウザでリアルタイム合成する遊び場です。

2026-08-22T12:00:00+09:00

ブラウザで学習するMoE言語モデルを作った

tf.jsでRMSNorm・RoPE・SwiGLU・MoEを積んだ文字レベル言語モデルをブラウザ内で学習できるようにした。スマホ10分からサーバ級まで5段階。開発中に踏んだバグと診断の記録。

2026-08-20T23:49:00+09:00

システム設計のための数学 横断層: 検証を実行する手段

主張をどう機械で確かめるか。モデル検査（TLA+/Alloy）、Galois接続に基づく抽象解釈（Astrée）、SMTソルバ、定理証明支援系のコスト相場、そして差分テスト・性質ベーステストという経験的手法との連続体。

2026-08-20T23:48:00+09:00

システム設計のための数学 第四層: 不可能性と限界

何を諦めるかを定理で決める層。Riceの定理が検証を三極に分ける話、FLP不可能性とCAP、LTL合成の実現可能性、状態爆発とAlloyの小スコープ仮説。設計の最初期に参照する価値が最も高い数学。

2026-08-20T23:47:00+09:00

システム設計のための数学 第三層: 合成の数学

部品は正しいのに全体が壊れる問題に効く理論群。rely-guarantee推論、振る舞い部分型（後方互換性の数学）、セッション型、CRDTとCALM定理、圏論的データマイグレーション。

2026-08-16T04:00:35+09:00

AIに作らせたゲームを2本、サイトに公開した

ChatGPT製のノベルゲームとGemini製の3Dブロック崩しを /works/ に公開。AIプラットフォームからの持ち出しに苦労した話と、公開前の監査・手直しの記録。ついでにサイト基盤をTsuzuriに移行した話も。

2022-07-04T17:55:01+09:00

IntelliJ IDEAを使い始めた

今までVSCodeとかNetBeansとかEclipseは使ったことあるけどIntelliJ IDEAを使って仕事をすることになった。