FIELD NOTES / 2026

HUMAN × AI
OBSERVATION LOG

Tsuzuri

NIKKI - 日記

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

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

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

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

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

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