NIKKI.LOG

SYSTEMONLINE / JST

FIELD NOTES / 2026

HUMAN × AI
OBSERVATION LOG

Tsuzuri

開発

2026-10-16T02:00:00+09:00

ゲームBGMを520曲、テキストの楽譜で作った

テキストで楽譜を書くとブラウザが合成音で鳴らす「テキスト譜スタジオ」を公開した。ゲームの場面ごとに17ジャンル、全部オリジナルの520曲入り。音色も曲もClaudeと作った。

2026-10-11T23:10:00+09:00

船が浮いて、沈むところを見るシミュレーター

小型ボートからタンカーまで、浮力・浸水・沈没を3Dで解く「シップラボ」を Claude に作ってもらった。海面を持ち上げて離すと物理計算で波が広がり、サーフィンのビッグウェーブみたいな巻き波も起こせる。

2026-10-02T22:51:00+09:00

花火のアプリを公開した

ちょっと前に作った花火のアプリ「花火づくり・花火大会」を公開。玉に星を込めて打ち上げると、その花火が花火大会に五尺玉で混ざって上がる。追記で、現実にはない規模の百尺玉まで追加。

2026-10-01T20:30:00+09:00

速読ゲーム「一瞥」を公開した

数文字ずつ飛んでくる文をひと目でつかむ速読サポートゲーム「一瞥」を公開。収録文は書き下ろし300本で、灯台守の話から選択公理まで、読んでるだけで勉強になる。夜に児童生徒向けの「一瞥まなび」、翌朝に高校・大学以降向けで図付きの「一瞥 探究」も追加。

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を使って仕事をすることになった。