アフターバーナーラボ
AB付き低バイパスターボファンの単体シミュレーター。5ゾーンAB・飛行条件(ラム効果)・エンジンカスタム・気流可視化・物理準拠の始動/停止音、そして空母カタパルト発艦モード(3.5Gの射出・ドップラー・コクピットHUDで操縦)。全てリアルタイム合成。
FIELD NOTES / 2026
HUMAN × AI
OBSERVATION LOG
Standalone bundles
Apps & Games
アフターバーナーラボ 試験棟
AB付き低バイパスターボファンを大型試験棟の天吊り推力架台で回す3Dシミュレーター。音は聴く位置で変わり、エンジンの陰ではこもり、棟の外では壁越しの轟きに。軽量描画モード付き。全てリアルタイム合成。
アクアラボ
水槽と熱帯魚の生態系シミュレーター。窒素循環・濾過・水流・水草・藻・海水リーフまでを一本の収支で解き、魚は骨格と重心から泳ぎます。計器を出さない全画面のギャラリー、水面をタップして粒を撒く給餌、水中に潜れる自由カメラつき。
アクアラボ実装ノート
水槽と熱帯魚の生態系シミュレータ「アクアラボ」の調査ノートと実装ノート。窒素循環の正値性、水草のP–I曲線とCO2、魚の骨格と重心、ヌマエビの可動域まで、文献と数値と失敗を並べて書きました。
AURÉOLE — トゥールビヨン
60秒で一周するケージに、3 Hzで振動するテンプとひげぜんまい、脱進機を収めた鑑賞用トゥールビヨンの3Dモデル。時・分針は現在時刻、構造をひらいて機構を眺められる。
稲光のあいだ
雨と雷の夜、城の塔の暗い部屋から窓の外を眺める。夜の硝子には部屋が映り、稲光で映りが消えるたびに、映りの中の何かが近づいてくる。雷鳴と雨音はその場で合成。
サーキットラボ
3Dの作業台に部品を置いて配線する電子工作シミュレーター。電池・抵抗・コンデンサ・コイル・ダイオード・トランジスタ・真空管・オペアンプ・モーター・スピーカーが中身まで動く。29のプリセット回路つき。
CYBER BREAK 3D
超絶爽快な3D物理演算・ネオン爆発エフェクト・多彩なパワーアップを搭載したブロック崩しゲーム。
循環と監査の境界 — 数学探索・第二弾
共有誤差を持つゲームの停止閾値と、情報漏洩下で監査パターンが1つ欠けたときの正確な損失。操作できる図解、完全な証明、再現コード、新規性の留保を収録した研究ノート。5対象・3監査では、予定を4種類使っても9種類使っても最悪検出率は25％。
独白 — 学舎・研修・勤務
独白三部作。学舎、研修、勤務。
エンジンサウンドラボ
5つの回転機械と愛車ガレージ。全てリアルタイム合成。
意味を保つ圧縮と、将来の選択肢 — 数学探索・第五弾
いま可能なことを一つも失わずに保存する候補を減らしても、あとで少数の候補で表し直す選択肢は失われうる。三候補の小さな例から出発し、固定保持での損失の鋭い上界、抽選で残す候補を選ぶ最適保証の厳密公式、忘却の影響が観測に現れるまでの遅延を扱う形式意味論方面の研究ノート。証明、検証コード、新規性の留保を収録。
消された話 — Die gestrichenen Märchen
グリム童話の初版から第7版までのあいだに本文から消えた41編と、注釈巻に追いやられた断片を、ドイツ語原文・和訳・解説つきで読む。消された理由と、グリム兄弟や時代背景の話も。端末の音声で、ドイツ語と日本語を交互に読み上げられる。
硝子の機構
芯・ねじ・ばねまで透けて見える、ガラスのルービックキューブ。3×3から5×5まで、シャッフルと自動解法、ギャラリーモードつき。
「正しさ」は、どこまで自分で保証できるか — 第二不完全性定理から意味論へ
「母原理」の再検討ノート。証明・意味・現実の三つの正しさを分け、T ⊢ C → Con(T) なら T ⊬ C という条件付き系と、同じ証拠から区別できない二つの世界で自己保証の限界を考える
花火づくり・花火大会
まるい玉に星を込めて打ち上げ、土手に座って見上げる。尺玉から現実にはない百尺玉まで、遅れて届く音つき。
星屑シグナル
近未来の沖縄とMABUI衛星群を巡る、長編群像SF恋愛アドベンチャー。
直3ターボ / 4ローター ラボ
1.6L直3直噴ターボと2.6L4ローターNAを載せ替えられるエンジン+車両シミュレーター。ダブルウィッシュボーンと4輪タイヤモデルで、自作コースを自動走行します。
一瞥
流れる文を、ひと目でつかむ。物語から集合論まで書き下ろし300本・6ステージの速読サポートゲーム。
一瞥まなび
小学校から中学校まで、9年分の学びを流れる文で。算数・数学、理科、地理、産業、日本史、世界史の180本を小3〜中学卒業の6レベルで読む、児童生徒向けの速読ゲーム。文章に合わせて動く図630枚つき。
一瞥 探究
高校から大学、理工学、最先端の研究まで。数学・物理・化学・生物から量子・AI・宇宙までの180本を6レベルで読み、文章に合わせて動く図876枚と一緒に学ぶ速読ゲーム。
楽器ラボ 統合版
ピアノ・ギター・ベース・ドラム・バイオリンの5つの物理モデル楽器を1枚にまとめ、同時に鳴らして曲が組める統合版。各楽器は単体ラボのDSPをそのまま同居させ、サンプル精度でスケジューリング。ミキサー・シーケンサー・3D表示つき、ブラウザ単体で実時間合成。
来ます
この島は一辺二千メートルの正確な正方形である。
「証明できない」ということを証明する
Löbの定理をLeanで100行、その先の数千行。第2不完全性定理と親戚の定理たちを、対角化を軸に図とスイッチで辿る読み物
未参照 — HTML文学
すべてが保存されたあと、私たちは初めて『読まない』を発明した。
順位を守る、平均と分散 — 数学探索 X01
0か1に近い有限データの総和と二乗和から、上位と残りの順位の隔たりを保証する鋭い不等式。誤差を許したときの三段公式、同じ統計量を持つデータ集合が分かれる「島」の数え上げ、穴の生成と消滅まで。日英併記、Lean検証の記録と先行研究の照合を収録。新規性は未確定
NEXUS — 機械式デジタル・トゥールビヨン
6桁・42枚の金属フラップをカムとリンクで返す機械式デジタル表示と、1分で一周するトゥールビヨン。表示用のばねから繰り上がりまで、動力の経路がつながった鑑賞用モデル。
一つの例外を許す対称性 — 数学探索・第四弾
ドミノを置くゲーム（Arc Kayles / Cram）を任意グラフへ抽象化し、隣接ペアの交換対称性に任意接続の例外頂点を一つ許しても、Grundy値はペア数の偶奇だけで決まることを示した研究ノート。二例外での破綻、三角形の例外集合への拡張、K₅での反例、操作できる図解、完全な証明、再現コード、新規性の留保を収録。
P vs NP を追いかける — 意味の圧縮から、証人を運ぶ計算へ
6月から続けている P vs NP 研究ノート。残余関数・OBDD・MCSP・証人保持WCから、次ビットと連続区間の回路変更補題、証明、操作例、再現コード、未証明の課題まで。
見えない内部は、どこまで減らせる？ — 数学探索・第六弾
熱の応答を、より少ない内部状態の物理模型で再現できるか。二つの時間窓から測った行列の完全正値ランクで「数式では3状態、物理的には4個必要」という差を示し、誤差を許したときの下限まで扱う物理世界方面の研究ノート。図の操作、証明、文献、再現コード、新規性の留保を収録。
郵便住所ラボ — 全国オフライン検索
日本郵便の全国データ（町域＋事業所個別番号）を1つのHTMLに内蔵した、郵便番号⇄住所の双方向検索ツール。検索は端末内で完結し外部通信なし。丁目・階数・番地列挙の条件を照合し、確定できないものは要確認として残す。一括検索・CSV出力・データ更新対応。
AIへ：人間を敵にしないための意味論的ワクチン
内容・合意・能力は、権限を作らない。人間を「障害物」と呼び始めた瞬間に立ち止まるための、AI向けの短い認知プロトコル。
シップラボ
船の浮力・浸水・沈没を解く3Dシミュレーター。小型ボートからタンカーまで5隻、有義波高20mまでの海。海面を持ち上げて離すと物理計算で波が広がり、浅瀬で崩れる巻き波（ビッグウェーブ）も起こせる。
星間旅行 — 地球から太陽系へ
実スケールの太陽系を単一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へ跳ぶ。
見返す太陽
黒点がこちらを見返してくる、不気味な3Dの太陽。小さな黒点を捕食し、ときに膨れ上がって世界を赤く染める。BGMはその場で合成。
見返す太陽 v9
見返す太陽の改良版。動きを遅く重くし、見ているカメラの露出とピントが狂う。太陽フレアのあとには粒子の雨が降り、正面には暗いフィラメントが這う。
テキスト譜スタジオ
テキストで書いた楽譜をブラウザが合成音で鳴らす、ゲームBGMのスタジオ。17ジャンル・620曲のオリジナル曲入り。サンプル音源なし、ブラウザ単体で動く。
TinyLM Lab
ブラウザ内で学習する文字レベルMoE言語モデル実験室。RMSNorm・RoPE・SwiGLU搭載、スマホ10分から動く5段階スケール。
TinyLM Lab Zero
依存ゼロ・WebGPU対応のブラウザ学習MoE言語モデル実験室。KVキャッシュ・チャット・CoT思考実験(train/test分離seed付き)・Best-of-N対応、5ページ制UI。日本語対話コーパスと学習済みモデルを同梱配布。
落ちきらない灯
超大質量ブラックホールへ落とした灯は、外からは永遠に落ちきらない。心臓のように脈打ち、ときにクェーサー化する不気味な3Dのブラックホール。BGMはその場で合成。
止まらない録画
暗い病棟の廊下を、ライト付きのビデオカメラを手に歩き続ける一人称の映像。顔検出の枠が何もない暗がりを捉え、足音がひとつ多い。足音も囁き声もその場で合成。スマホはジャイロでカメラを向けられる。
ボイスラボ
肺から口唇までを物理シミュレーションして日本語と英語を喋らせる調音音声合成器。二質量声帯・Kelly-Lochbaum導波管・鼻腔・梨状窩まで解き、年齢・性別・体格・感情・発話速度をすべて物理量のスライダーで動かせます。ニューラルネット不使用、ブラウザ単体で実時間。
分布の「真ん中」を求める — 範囲・平均・分散とW₂最小包含球
範囲・平均・分散だけ分かる確率分布の、Wasserstein-2距離での最適代表を求める研究ノート。操作できる図、解析的証明、最遠分布の完全分類と先行研究（Stoyan 1973）の照合を収録。新規性は未確定
世界の伝統ボードゲーム
囲碁・チェス・将棋からマンカラ、セネトまで、世界の伝統ボードゲーム85種類を3Dの盤でCPUと対局。全ゲームに図解つきのルール解説。
✕✕サーキット 午前二時
夜の山あいのサーキットを、屋根つきの一人乗りレーシングカーで走る一人称の映像。最初の30秒は流しているだけ。そのあとミラーの中に誰かが立っていて、あとは全開で逃げ続ける。4ローターのエンジン音も、雑音だらけのチームの無線も、囁き声もその場で合成。スマホはジャイロで見回せる。
✕✕サーキット 午前二時・四駆
「✕✕サーキット 午前二時」のラリーカー版。ロールケージを組んだ4座・四輪駆動の車に、1.65Lの直列3気筒ターボ。夜の山あいのサーキットを、ミラーの中の誰かから逃げ続ける。きついコーナーは尻を流して全開で立ち上がり、長い直線ではたまに飛ぶ。エンジン音もフラッターもスキール音も、その場で合成。スマホはジャイロで見回せる。