AI Generated Content

01 — generated text

生成テキスト

生成エッセイの現在地ポエマイゼーション論、マンションポエムの世界、タケウチソウタの日記、研究者たちの分析など、言葉の過剰と空虚を探るエッセイ群 171 files — poem
計算的ソクラテス探究（CSI） AIを「答えの装置」でなく「問いを深める探究装置」として捉え、教育・医療・福祉・社会正義・環境・哲学など多領域の課題を掘り下げる1001の研究テーマ集 691 entries — csi
学際エッセイ（分野別） 38分野それぞれの専門家の目でコンピュータサイエンスを語る。農学・建築・認知科学・デザイン・映画学・薬学・物理学ほか 38 disciplines — html-cl

02 — browser games

ブラウザゲーム

🧬 可逆小石並べゲーム可逆計算を遊んで学ぶ教材。「石を取り除くのにも、置くのと同じ条件が要る」という一点の違いが、計算に必要な記憶量をどう変えるか。ルール → 空間の壁 2^p−1 → 時間と空間のトレードオフ → 木・ピラミッド、の全18ステージ（最難関は石5個で長さ16の鎖・71手）。石の数と目標の位置はその場で変更でき、厳密最小手数 M*(n, p) をブラウザ内の全探索で計算して自分の手数と突き合わせられる 18 stages — exact solver — reversible computing
★ ブラウザゲーム企画カタログ（100本） 5つの並列AIエージェントが「パズル / アクション / シミュレーション / アーケード / 教育」の各ジャンルで20本ずつ提案した、合計100本の企画書。ジャンル・難易度・キーワードでフィルタ可能。横山研テーマ（可逆計算・CSI・ラムダ・量子）と接続できる企画は 🧬 マークで強調 100 plans — interactive catalog
モバイルブラウザゲームスマートフォンのタッチ操作で遊べるミニゲーム集。Flappy Bird風・2048・テトリス・リズムゲー・神経衰弱・重力パズル・一筆書きなど生成例（スマホ推奨）：2048 ／シューター／落ちもの／リズム／ランナー／傾き迷路／スライス／ピンチ／キャノン／ホールド／回転／神経衰弱／色反射／重力／光と影／文字キャッチ／一筆書き／スネーク／猫さがし／数字迷路 21 games — mobile touch
シューティングゲーム生成AIで段階的に作る縦スクロールシューティング。Wave制・ボス戦・パワーアップ・BGMを追加していく演習課題 4 steps — keyboard
ローグライクダンジョンランダム生成ダンジョンを探索するターン制RPG。アイテム・スキル・多彩な敵を追加していく演習課題 4 steps — keyboard
スーパーマリオ風アクション横スクロールアクション。ステージ構成・パワーアップ・BGMを段階的に追加する演習課題 4 steps — keyboard
サバイバーゲーム Vampire Survivors風の全方向シューティング。武器選択・ボス戦・効果音を追加していく演習課題 4 steps — keyboard

03 — training

企業研修

「通った」を信じない AI コーディング運用 AI コーディングエージェントの「完了しました」を主張ではなく証拠で確かめる運用研修。判定条件を渡す・フックで fail-closed・変異注入で検査の検出力を測る。第 0 回（なぜ「通った」を信じてはいけないか）を無料公開。現在は募集していない 8 units — tool-agnostic
Lean/Rocq で AI 生成コードを検証する AI が書いたコードをテストでもレビューでもなく定理証明器で検証する実務研修。仕様を書き、AI に実装と証明を書かせ、検査器で嘘を弾く。第 0 回（なぜ AI 生成コードに「証明」が要るのか）を無料公開。現在は募集していない 8 units — Lean 4 / Rocq