NIKKI.LOG

SYSTEMONLINE / JST

FIELD NOTES / 2026

HUMAN × AI
OBSERVATION LOG

Standalone bundles

Apps & Games

アフターバーナーラボ

AB付き低バイパスターボファンの単体シミュレーター。5ゾーンAB・飛行条件(ラム効果)・エンジンカスタム・気流可視化・物理準拠の始動/停止音、そして空母カタパルト発艦モード(3.5Gの射出・ドップラー・コクピットHUDで操縦)。全てリアルタイム合成。

アクアラボ

水槽と熱帯魚の生態系シミュレーター。窒素循環・濾過・水流・水草・藻・海水リーフまでを一本の収支で解き、魚は骨格と重心から泳ぎます。計器を出さない全画面のギャラリー、水面をタップして粒を撒く給餌、水中に潜れる自由カメラつき。

アクアラボ実装ノート

水槽と熱帯魚の生態系シミュレータ「アクアラボ」の調査ノートと実装ノート。窒素循環の正値性、水草のP–I曲線とCO2、魚の骨格と重心、ヌマエビの可動域まで、文献と数値と失敗を並べて書きました。

CYBER BREAK 3D

超絶爽快な3D物理演算・ネオン爆発エフェクト・多彩なパワーアップを搭載したブロック崩しゲーム。

循環と監査の境界 — 数学探索・第二弾

共有誤差を持つゲームの停止閾値と、情報漏洩下で監査パターンが1つ欠けたときの正確な損失。操作できる図解、完全な証明、再現コード、新規性の留保を収録した研究ノート。5対象・3監査では、予定を4種類使っても9種類使っても最悪検出率は25％。

意味を保つ圧縮と、将来の選択肢 — 数学探索・第五弾

いま可能なことを一つも失わずに保存する候補を減らしても、あとで少数の候補で表し直す選択肢は失われうる。三候補の小さな例から出発し、固定保持での損失の鋭い上界、抽選で残す候補を選ぶ最適保証の厳密公式、忘却の影響が観測に現れるまでの遅延を扱う形式意味論方面の研究ノート。証明、検証コード、新規性の留保を収録。

星屑シグナル

近未来の沖縄とMABUI衛星群を巡る、長編群像SF恋愛アドベンチャー。

直3ターボ / 4ローター ラボ

1.6L直3直噴ターボと2.6L4ローターNAを載せ替えられるエンジン+車両シミュレーター。ダブルウィッシュボーンと4輪タイヤモデルで、自作コースを自動走行します。

楽器ラボ 統合版

ピアノ・ギター・ベース・ドラム・バイオリンの5つの物理モデル楽器を1枚にまとめ、同時に鳴らして曲が組める統合版。各楽器は単体ラボのDSPをそのまま同居させ、サンプル精度でスケジューリング。ミキサー・シーケンサー・3D表示つき、ブラウザ単体で実時間合成。

来ます

この島は一辺二千メートルの正確な正方形である。

順位を守る、平均と分散 — 数学探索 X01

0か1に近い有限データの総和と二乗和から、上位と残りの順位の隔たりを保証する鋭い不等式。誤差を許したときの三段公式、同じ統計量を持つデータ集合が分かれる「島」の数え上げ、穴の生成と消滅まで。日英併記、Lean検証の記録と先行研究の照合を収録。新規性は未確定

一つの例外を許す対称性 — 数学探索・第四弾

ドミノを置くゲーム（Arc Kayles / Cram）を任意グラフへ抽象化し、隣接ペアの交換対称性に任意接続の例外頂点を一つ許しても、Grundy値はペア数の偶奇だけで決まることを示した研究ノート。二例外での破綻、三角形の例外集合への拡張、K₅での反例、操作できる図解、完全な証明、再現コード、新規性の留保を収録。

見えない内部は、どこまで減らせる？ — 数学探索・第六弾

熱の応答を、より少ない内部状態の物理模型で再現できるか。二つの時間窓から測った行列の完全正値ランクで「数式では3状態、物理的には4個必要」という差を示し、誤差を許したときの下限まで扱う物理世界方面の研究ノート。図の操作、証明、文献、再現コード、新規性の留保を収録。

郵便住所ラボ — 全国オフライン検索

日本郵便の全国データ（町域＋事業所個別番号）を1つのHTMLに内蔵した、郵便番号⇄住所の双方向検索ツール。検索は端末内で完結し外部通信なし。丁目・階数・番地列挙の条件を照合し、確定できないものは要確認として残す。一括検索・CSV出力・データ更新対応。

星間旅行 — 地球から太陽系へ

実スケールの太陽系を単一HTMLで旅する。JPL Horizonsの2026年天体暦とIAU自転モデルを内蔵し、242の国・地域を探せる地球儀から月・惑星・衛星・準惑星へワープ。20天体を巡る自動ギャラリー、速度感を伝える光跡、オリジナルのオルゴール三重奏BGM付き。外部読み込みなし・20MB。

実スケール太陽系アプリ — 調査と開発の記録

「星間旅行」の開発記録。天体暦の取得条件と補間、Z-up→Y-upの鏡映、カメラ相対描画、2天体を収める俯瞰、SLERPの分岐と視線・ロールの分離、光跡、BGMの作曲・合成・ループまで。何をどこまで検証し、何が未確認かを分けて書いた。

空間の観測と接続 — 数学探索・第三弾

有限実木への距離観測が残す曖昧さの完全な誤差曲線と、直線上の独立な不確実位置に対する固定／可変接続の最良比較係数 ceil(n/2)。操作できる図解、完全な証明、再現コード、新規性の留保を収録した研究ノート。観測誤差が0.49から0.50になった瞬間、位置の曖昧さは0.49から10.5へ跳ぶ。

TinyLM Lab

ブラウザ内で学習する文字レベルMoE言語モデル実験室。RMSNorm・RoPE・SwiGLU搭載、スマホ10分から動く5段階スケール。

TinyLM Lab Zero

依存ゼロ・WebGPU対応のブラウザ学習MoE言語モデル実験室。KVキャッシュ・チャット・CoT思考実験(train/test分離seed付き)・Best-of-N対応、5ページ制UI。日本語対話コーパスと学習済みモデルを同梱配布。

ボイスラボ

肺から口唇までを物理シミュレーションして日本語と英語を喋らせる調音音声合成器。二質量声帯・Kelly-Lochbaum導波管・鼻腔・梨状窩まで解き、年齢・性別・体格・感情・発話速度をすべて物理量のスライダーで動かせます。ニューラルネット不使用、ブラウザ単体で実時間。