逆順テトリス
消したラインが下からせり上がる、可逆計算で挑むテトリス
ライン消去逆再生せり上がり操作履歴の巻き戻し
🧬 可逆計算（消去＝逆挿入）
Status
Genre
Complexity
200 / 200 件表示中
200 playable
λ箱詰め
ラムダ式の項を箱として動かしβ簡約でゴールを目指す
箱押しβ簡約項の合成
🧬 ラムダ計算
ペアの指輪
対称的に開かれる神経衰弱、左右同時にめくる二人羽織式
二点同時めくり軸対称ボードターン制限
量子数独
重ね合わせ状態のマスを観測して矛盾なく数字を決める
重ね合わせ観測の連鎖エンタングル制約
🧬 量子計算
鏡の迷宮
レーザーを鏡で反射し全結晶を点灯させる光学パズル
反射経路計算鏡の回転結晶起動
配管のソクラテス
なぜこの管を選ぶのか問われ続けるパイプつなぎゲーム
パイプ回転水流伝播選択理由の記録
🧬 ソクラテス的探究
重力反転崩し
上下反転スイッチでパドルを天井に貼り替える物理崩し
重力反転ブロック多段パワーアップ
無向ピクロス
行と列の数字が交換可能なお絵かきロジック
数字ヒント塗り分け行列入替
ゲシュタルト3
3つ揃えるとブロックが概念へと昇華するマッチ3
3マッチ抽象化合成連鎖ボーナス
砂の物理学
砂を流して目的地に届ける粉体シミュ物理パズル
セルラー砂板の回転障害物配置
15スライド復元
絵の崩れた15パズルを最少手数で復元せよ
スライド最少手数挑戦ヒント機能
言葉の連鎖
日本語しりとりで盤面を覆う領土型ワードゲーム
しりとり領土塗り禁則語
線結びの庭
同色の点を交差せず結ぶFlow Free風和風パズル
パス描画非交差制約盤面充填
影絵合わせ
3D形状を回転させて指定された影を作るシルエット遊戯
3D回転影投影シルエット判定
巻き戻し迷路
歩いた道が消える、戻ると道が復活する可逆迷路
足跡消失逆走復元ゴール探索
🧬 可逆計算
細胞融合
2048系、同数字の細胞を合体させ65536を目指す
タイル合成スワイプ成長記録
重力ツムツム
指でなぞって同種を3個以上消す、重力落下式の連鎖ゲーム
なぞり消し重力落下スキル発動
ダイクストラの旅
重み付きグラフで最短経路を引くアルゴ風パズル
経路選択コスト計算ヒント表示
🧬 アルゴリズム教育
トフォリの卓
可逆論理ゲートを並べて指定の真理値表を実現する
ゲート配置信号伝播真理値表照合
🧬 可逆計算（Toffoliゲート）
二進の塔
0と1だけが落ちてくる、桁上がり消去で塔を崩すパズル
二進演算桁上がり消去連鎖加算
🧬 計算機科学
可逆ニンジャ
時を巻き戻して罠を回避する忍者アクション、全ステージ可逆計算で動作
時間巻き戻し壁張り付き手裏剣投げ
🧬 可逆計算: 全アクションを記録し巻き戻し可能。ゲーム自体が可逆プログラム
ラムダ剣士
敵を斬るとラムダ式が簡約され、戦闘が数式パズルになる剣戟ハクスラ
β簡約攻撃型推論ガード高階関数コンボ
🧬 ラムダ計算: 攻撃=β簡約、防御=η変換。型理論を体感する剣戟
量子回避
重ね合わせで複数の自分を同時操作する弾幕回避ゲー
重ね合わせ移動観測でwave崩壊もつれ攻撃
🧬 量子: 重ね合わせの自分が複数地点に存在、観測で1つに収束
尊厳の盾
言葉の暴力から仲間を守る、対話と打撃のハイブリッド護衛アクション
盾防御言葉返し仲間蘇生
🧬 尊厳: 暴言を「対話」で無効化するメカニクス。横山研の倫理観を反映
ソクラテス走者
走りながら現れる問いに即答、誤答で減速する哲学ランナー
3択即答コンボ加速アイテムジャンプ
🧬 ソクラテス的探究: 問答で前進。哲学クイズが走力に直結
逆走バイク
ゴールから出発しスタートに戻るタイムを競う逆走レーシング
逆方向走行巻き戻しブレーキリプレイ可逆
🧬 可逆計算: ゲーム進行が時間的に逆向き。ゴールを過去にする
魔法詠唱
マウスジェスチャーで呪文を描き、敵を即座に倒すリアルタイム呪文ゲー
ジェスチャー認識属性連鎖詠唱中断
縦スクシュート
懐かしのSTGをCSI暗号弾で再構築、解読しながら撃ち落とす
連射ボム暗号エネミー解読
🧬 CSI: 敵弾が暗号化、解読すると攻撃パターンが見える
ステルス猫
見つからずに研究室を徘徊し論文を盗み読む猫のステルスアクション
影に潜む視線回避鳴き声陽動
フライト南山
南山大学キャンパス上空を飛び回る簡易フライトシミュレーター
3D風飛行リング通過燃料管理
バトロワ研究室
30人の研究員が論文締切に向けてサバイブする見下ろし型バトロワ
縮小エリアアイテム探索BotAI戦闘
対戦哲学
哲学者同士が論破コマンドで殴り合う2D格闘ゲーム
コマンド入力コンボ超必論破
🧬 ソクラテス: 論破=ダメージ。問答で反撃する格ゲー
ローグ可逆
死ぬと前のフロアに戻れる可逆ローグライト、すべての死は撤回可能
ランダム生成アイテム合成死の巻き戻し
🧬 可逆計算: 死=逆実行。ローグライト+可逆で永久に学べる
ボス研究室
5体の巨大ボス（査読者・締切・予算など）を倒す論文ボスラッシュ
パターン回避弱点攻撃怒り状態
サバイバー数式
迫りくる数式群を自動攻撃で撃退、レベルアップで定理を獲得
自動攻撃レベルアップ選択敵ウェーブ
🧬 ラムダ: 武器=高階関数。スキルツリーが型理論で表現
壁張りジャンプ
壁から壁へ無限にジャンプして登り続ける高難度ジャンパー
壁ジャンプダブルジャンプ落下死リトライ
横スクCSI
暗号文を解きながら左から右へ進む横スクアクションパズル
暗号解読敵撃破鍵収集
🧬 CSI: ステージ進行がシーザー暗号などの解読と連動
ハクスラ素数
敵HPは素数、素因数分解攻撃でドロップを稼ぐ数論ハクスラ
素因数分解攻撃装備ドロップ周回プレイ
🧬 数論: 素数判定が攻撃メカに直結。RSAの基礎を体感
ドローンレース
南山キャンパスの3D空間をドローンでレースする一人称視点レーサー
FPV操作リング通過ブースト
巻き戻し弾幕
5秒前まで巻き戻せる弾幕STG、被弾しても撤回できる優しい鬼畜
弾幕回避5秒巻き戻しボムリチャージ
🧬 可逆計算: プレイヤー死亡=逆実行で撤回。失敗が学びに変わる
可逆牧場物語
種をまき収穫した時間を巻き戻して再収穫できる、可逆計算ファーム経営
時間巻き戻し作物育成資源マネジメント
🧬 可逆計算: 全アクションが履歴に積まれUndo/Redo可能
λ街づくり
ラムダ式の評価で街区が成長していく関数型シティビルダー
関数合成β簡約区画配置
🧬 ラムダ計算: 街区がλ式、住民が変数として簡約される
量子村ガチャ
重ね合わせで複数の村を同時育成、観測した瞬間1つに収束する
重ね合わせ育成観測タイミング確率収束
🧬 量子: 重ね合わせ状態の住民が観測で固定化
ソクラテス塾経営
問答だけで学生を導く塾を経営し、知の証明書を発行する
対話選択学生育成評判システム
🧬 ソクラテス的探究: 答えを与えず問いで導く対話メカニクス
可逆ダンジョン主
勇者を全滅させた後、戦闘を巻き戻して罠を改良できる
ダンジョン設計戦闘リプレイ罠改良
🧬 可逆計算: 戦闘ログを巻き戻し別シナリオ分岐へ
細胞コロニー
1個の細胞から始まる進化シム、突然変異で多様化する生態系
細胞分裂突然変異適者生存
南山学科長
大学学科長として教員配置・研究費配分・学生指導をこなす
予算配分人事配置イベント対応
🧬 横山先生の日常を体感できるパロディ要素
回文詩工房
前から読んでも後ろから読んでも同じ詩を製造販売する詩集工房
文字配置回文判定詩の販売
🧬 可逆計算: 回文 = 反転しても等価な構造の象徴
ペット・チューリング
テープ上を動くペット記号を育て、計算ルールを教え込む育成シム
ルール学習テープ操作ペット育成
🧬 計算機科学: チューリング機械の擬人化で計算理論を遊ぶ
宇宙開拓CSI
情報科学コロニーを宇宙に展開し、銀河規模のCS帝国を築く
惑星開拓技術ツリー資源輸送
🧬 CSI(情報科学科)が宇宙進出するというメタ設定
放置魔法陣
魔法陣を描いて放置するだけでマナが溜まる癒し系idleゲーム
放置収集アップグレードマナ循環
薬草研究所
薬草を組み合わせて新薬を開発、特許で稼ぐ研究所経営シム
素材合成実験特許登録
島ごと進化論
孤島の生物を世代交代させ、自然選択で島ごとの固有種を作る
世代交代形質遺伝環境適応
盆栽マスター
枝を切り根を整え、世代を超える盆栽を育てる静謐な育成シム
剪定成長計算鑑賞会出展
中世修道院
中世修道院長として写本・薬草・蜂蜜酒の生産で領主と渡り合う
生産チェーン信仰心管理外交
ターン制喫茶
客との会話をターン制バトルとして処理する喫茶店経営RPG
会話バトルメニュー強化客好感度
深海サバイバル
酸素と圧力に抗って深海基地を拡張するハードコア探検サバイバル
酸素管理圧力対策基地建設
AIデート教室
感情パラメータが可視化されたAIキャラとデートを攻略する恋愛シム
好感度操作選択肢分岐プロフィール育成
🧬 尊厳: AIキャラを操作対象でなく対話相手として扱う設計
病院長日誌
診療科を増設し医師を雇い、地域に愛される総合病院を築く
科設置スタッフ雇用患者導線設計
🧬 尊厳: 患者を数値でなく個別事情で扱う通知システム
村人NPC会話
10人の村人と対話しながら村の隠された秘密を解き明かす会話RPG
対話分岐情報収集推理
🧬 ソクラテス的探究: 問いの選び方で得られる情報が変わる
可逆リズム
前進と巻き戻しを切り替えて譜面を辿る、時間反転リズムゲーム
順方向ノーツ逆方向ノーツ時間反転ボーナス
🧬 可逆計算の時間対称性をリズム譜面に応用、巻き戻しでもスコア加算
ラムダ神経衰弱
α変換でカードが姿を変える、関数的神経衰弱
カードめくりα変換による別表現照合コンボ
🧬 ラムダ計算のα同値性をカード一致判定に活用
尊厳すごろく
対話マスで他プレイヤーを尊重するほど進める協調すごろく
サイコロ対話イベント尊厳ポイント
🧬 ソクラテス的探究と尊厳を反映した非競争型ボード
量子ガチャ
観測するまで複数結果が重なる、量子重ね合わせガチャ
重ね合わせ抽選観測でレア確定もつれ二連
🧬 量子計算の重ね合わせ・観測・エンタングルメントを抽選に翻訳
ピンボール論理
ANDゲートとXORでボールを制御するロジック盤面ピンボール
フリッパー論理ゲート分岐信号倍加
🧬 可逆論理ゲート（CCNOT等）を物理盤面に再構成
ダーツ証明
命題に当てて自然演繹を完成させるロジカル・ダーツ
投擲タイミング証明木構築規則ボーナス
🧬 Curry-Howard対応を遊びに、命題=的
輪投げ集合
輪が重なるとベン図ができる、和差積の輪投げ
放物線投擲集合演算得点重複
ぷよCSI
同色推論を連鎖させて手がかりを暴く、CSI風落ちものパズル
連鎖証拠ピース推論ゲージ
🧬 南山の犯罪科学（CSI）テーマを論理パズルに統合
サイコロ即興
毎ターン振った目で詩を即興する文芸ダイス
ダイスロール語彙抽選ライム判定
反射α
出題されるラムダ式を瞬時に簡約する反射神経クイズ
3択タップ時間ペナルティ段位昇格
🧬 β簡約・α変換・η変換の即答訓練
占いコンビネータ
今日のSKIコンビネータ運勢を引いて行動指針を得る運勢ガチャ
日替わり抽選コンビネータ解説アーカイブ
🧬 S・K・I・Y・Bコンビネータを擬人化した運勢
王様ラムダ
クジで関数を引き、引数の番号同士を結ぶラムダ王様ゲーム
くじ引き型推論実行カード
🧬 ラムダ計算のβ簡約をパーティゲーム化
エンドレス可逆ラン
走った道を必ず逆順で帰る、可逆エンドレスランナー
障害物回避逆走フェーズ履歴消費
🧬 全動作を逆順実行可能とする可逆実行モデル
ステアウェイ・タイム
階段の段差にぴったり止めて昇り降りするタイミングゲーム
フリックタイミングコンボ倍率巻き戻し1回
いっぷく茶論
横山研の研究室で先生と短い対話ミニゲームを楽しむ休憩ゲーム集
3種ミニゲーム対話分岐コレクション
🧬 ソクラテス的探究を短い対話ミニゲームに翻訳
人生計算機
ライフ選択ごとに型と計算量が変わる、関数型・人生ゲーム風
分岐選択計算量予算末尾再帰イベント
🧬 計算複雑性と末尾再帰を人生選択に被せる
トランプ・チャーチ数
数字をチャーチ数で表現する革新ソリティア
関数合成後継/前者カードスタック制限
🧬 チャーチ数による自然数のラムダ表現を実演
ガチャピン研究
研究テーマをピンで止めるピンボード式ガチャゲーム
釘配置ベル分布テーマ収集
🧬 可逆計算・量子・CSIなど横山研テーマをコレクション
シックスストーン
六面石を回しながら同色三つ揃えるパズル風スコアアタック
回転重力コンボ
ビット反転麻雀
牌の代わりにビットパターンを揃える可逆ゲート麻雀
ビット並べToffoli役和了型
🧬 可逆論理（CNOT/Toffoli）を麻雀の役に対応付け
Janus巻き戻し
Janus風の可逆コードを実行・逆実行して目標状態を作る
変数代入と逆代入ループの順実行/逆実行状態スナップショットUI
🧬 Janus言語の可逆実行モデルを直感的に体験。横山研の可逆計算研究の入口教材
ソクラテス問答
AIが答えず問いだけを返す。プレイヤーは問いから本質を導く
選択式の問い返し対話ツリー分岐尊厳メーター
🧬 Computational Socratic Inquiry（CSI）とHominis Dignitatiの理念をミニゲーム化
ラムダ簡約
β簡約をクリックで進めて式を最短形に整える
式のハイライトとクリック簡約α変換手動操作ステップ数評価
🧬 lambda2combプロジェクト直系。ラムダ計算の基礎を遊びながら習得
SKIパズル
S・K・Iコンビネータだけで指定の関数を組み立てる
コンビネータのドラッグ合成簡約アニメーション解の最短化
🧬 lambda2comb変換器の出力空間で遊ぶ。SKI基礎の体験学習
ベル状態製造
H・CNOTゲートを並べて4つのベル状態を作り分ける
ゲート配置パズルブロッホ球可視化確率振幅表示
🧬 Q-Intent量子回路コンパイラの教育版。量子もつれの直感を養う
可逆LZ78
辞書を成長させて文字列を圧縮、巻き戻しで完全復元
辞書エントリ追加圧縮/展開トグルビット数スコア
🧬 rev_lzプロジェクトの可逆LZ78アルゴリズムを操作可能な教材に
RevNet迷路
可逆ニューラル層を組んで入力を再構成する迷路
層の選択と接続順伝播/逆伝播切替誤差視覚化
🧬 RevNetプロジェクトの可逆性を体感する直感ゲーム
Rabin指紋
ローリングハッシュで部分文字列を高速検索するパズル
ハッシュ更新のステップ実行衝突発見可逆ロールバック
🧬 rabin-karpプロジェクトの可逆Rabin-Karpを遊んで学ぶ
R-WHILE道場
R-WHILEプログラムを書いてリスト操作の可逆性を保つ
コードエディタ順/逆実行テスト段位昇格
🧬 rwhile-C-ocamlインタプリタを土台にしたインタラクティブ教材
型推論バトル
Hindley-Milner型推論をクリックで進めて式に型を付ける
制約生成ユニフィケーション操作型変数置換
🧬 OCaml系処理系（rwhile/ROOPL等）の理論基盤を遊んで習得
可逆タイピング
打った文字を逆順に打ち直して取り消す可逆タイピング
順タイプフェーズ逆タイプフェーズ履歴スタック
🧬 可逆計算の入出力対称性をタイピング練習に応用
コンビ暗算
演算履歴を巻き戻せる可逆暗算ドリル
四則計算操作履歴スタックUndo必須ステージ
🧬 可逆計算の概念を四則演算という最も身近な題材で学ぶ
ROOPLランド
可逆オブジェクト指向ROOPL++でクラスを設計するパズル
クラス定義可逆メソッド呼び出しオブジェクトスワップ
🧬 ROOPLインタプリタを基盤にした可逆OOP教材
RCCコンパイル
可逆Cコードをコンパイル工程ごとにステップ実行
字句解析→構文解析→中間表現可視化可逆IR操作実行追跡
🧬 RCC可逆Cコンパイラの中身を覗く教育ゲーム
問い返しBOT
プレイヤーの直接回答をAIが問いに変換する練習
回答入力問い変換ルール尊厳スコア
🧬 CSI（Computational Socratic Inquiry）原則の対話訓練ツール
量子ゲートGo
Q-Intent記法で書かれた量子回路を最適化するパズル
ゲート融合識別ゲート除去ゲート数スコア
🧬 newlang/Q-Intentプロジェクトの量子回路コンパイラを遊ぶ
可逆LZW
LZWの辞書成長を手動操作。展開で原文に戻せるか
辞書エントリ生成符号化/復号トグルサイズ比較
🧬 rev_lzw（rev_lz配下）の可逆LZW実装を直感的教材化
部分評価師
プログラムを部分評価して特殊化版を生成するパズル
静的入力固定残余プログラム生成サイズ最適化
🧬 rev_PE可逆部分評価プロジェクトの理論を体験
λ式タイプ
ラムダ式を一文字ずつ正確に入力し簡約まで決める
式タイピング簡約タイミング誤入力ロールバック
🧬 ラムダ計算の記法に慣れる練習＋可逆ロールバック思想
対称暗記
ペア札を順に開き、同じ順で閉じて初期状態に戻す可逆神経衰弱
カードめくり操作履歴記録逆順クローズ
🧬 可逆計算の入出力対称性を神経衰弱という古典ゲームに応用
可逆勇者譚
敗北したら時を巻き戻す。経験値ではなく『因果』を集める王道RPG
ターン制バトル戦闘逆再生因果ポイント蓄積
🧬 可逆計算（戦闘の巻き戻しと再構成）
λの探偵
ラムダ式の評価過程を辿って事件の真相を導く論理推理ノベル
証拠収集β簡約による推理選択肢分岐
🧬 ラムダ計算（推理＝評価戦略）
南山伝説
毎回ランダム生成される研究室ダンジョンを攻略する短編ローグ
ダンジョン自動生成パーマデスアーティファクト収集
🧬 横山研室をモチーフ
鏡像の少女
鏡の中にもう一人の自分。対称性を巡る幻想ホラーノベル
分岐選択鏡像エンディングテキスト演出
🧬 対称性
巻き戻し探偵
犯行現場を逆再生して矛盾を見つけ出すアドベンチャー推理
シーン逆再生矛盾検出証拠ピックアップ
🧬 可逆計算（時間逆行）
量子勇者
重ね合わせ状態で複数の場所に同時存在しながら戦うARPG
瞬間ワープ重ね合わせ攻撃観測タイミング
🧬 量子計算
コンビ騎士団
S・K・Iの3人騎士でマス目戦闘。組合せでスキルが変わるSRPG
ターン制マス移動コンビネーション攻撃クラスチェンジ
🧬 コンビネータ論理
尊厳の選択
高校生の人格を尊重するか効率を優先するか。教師シミュ風ノベル
選択肢分岐好感度システムマルチエンド
🧬 高校生の尊厳テーマ
深淵の図書
禁書を読むたびに記憶が消える。図書館に潜む静謐ホラー
記憶喪失メカテキスト探索心霊エンカウント
神話の編纂者
神話の断片を集めて世界の創世を物語として再構成するTA
コマンド入力断片パズル物語生成
Janus年代記
前向きの章と巻き戻しの章を往復しながら歴史を変えるストーリーRPG
章選択時間軸切替歴史改変フラグ
🧬 可逆計算（Janus言語）
迷宮の論証
壁が論理式で構成された3DダンジョンをCRPG風に踏破する
疑似3D探索命題スイッチパーティ構成
AI教授の遺言
亡くなった教授の研究室を訪ねる学生たちのミステリーADV
対話分岐アイテム調査犯人推理
🧬 横山研室の世界観
宇宙船CSI
故障した宇宙船で証拠を集め原因を特定するSFサスペンスADV
シーン探索ログ解析脱出選択
寓話の森
イソップ寓話を再解釈する選択肢分岐ショートノベル
短編連作教訓選択もう一つの結末
可逆ローグ姫
死んだら巻き戻して再挑戦。お姫様が単身ダンジョンに挑む
手続き生成巻き戻しコインアイテム合成
🧬 可逆計算
サスペンス南山
学内で起きる怪事件を学生記者が追うサスペンス短編ADV
取材選択情報源評価結末分岐
🧬 南山大学キャンパス
コメディ研究室
毎日トラブル続きの研究室で笑いを取る一発芸選択肢コメディ
ギャグ選択リアクション計測オチ判定
🧬 研究室生活
ファンタジー討論
魔物と論理対話で勝負するファンタジーターン制バトルRPG
論題選択反論ターン立論ポイント
🧬 ソクラテス問答
βリダクション島
島中の項を簡約して正規形に到達させる探索型アクションRPG
広域マップ探索項リダクションボス簡約戦
🧬 ラムダ計算
可逆塔防衛
敵を倒すとMP回復、巻き戻しで配置やり直し可能な可逆タワーディフェンス
タワー配置敵ウェーブ時間巻き戻し
🧬 可逆計算研究との直接対応：操作が常にUndo可能
論文RTS
資源は引用数、ユニットは学生・PD・教授の研究室拡張RTS
資源収集ユニット生産技術ツリー
🧬 横山研の研究組織運営をRTS化
学会4X
全国の学会を制覇する4X戦略：探検・拡大・搾取・絶滅
マップ探索都市建設外交・戦争
🧬 学会運営シミュレータ
可逆チェス
全ての手が巻き戻せるチェス、相手のUndoも読み合いの一部
駒移動巻き戻しトークンAI対戦
🧬 可逆計算の対戦ゲーム化
ビット軍団
0と1のユニットを組合わせて編成、論理ゲートで敵を消す自動戦闘
ユニット購入編成自動戦闘
🧬 ブール論理を可視化したオートチェス
予算戦争
科研費を奪い合う研究室間バトル、申請書質と政治力で勝負
申請書作成ロビー活動予算配分
🧬 科研費獲得の戦略性をゲーム化
学籍簿争奪
授業カードを集めて学生を奪い合うローグライク的デッキ構築
カードドラフトシナジー構築ボス戦
🧬 南山大学カリキュラムを題材
暗号外交
暗号化されたメッセージで他国と同盟を結ぶ、暗号解読で裏切りを察知
メッセージ送受信暗号鍵管理同盟形成
🧬 暗号と情報科学を外交ゲームに
選挙2049
AI候補が立候補する架空選挙、SNSと討論で支持率を競う
演説SNS戦略支持率管理
🧬 AIと民主主義の研究テーマ
宇宙艦隊指揮
リアルタイム3D風2D艦隊指揮、フォーメーションと攻撃指示の戦術SLG
艦隊編成フォーメーションリアルタイム戦闘
農場戦略王
天候・市場・労働力を読み農地を最適化する戦略経営シム
作物選択市場価格労働者管理
スパイ大学
他研究室にスパイを送り研究情報を盗む、潜入と防諜の頭脳戦
スパイ派遣情報収集防諜
🧬 情報の流通と科学倫理
アリ王国RTS
アリの女王を守りつつコロニーを拡大する小規模RTS
巣穴掘削兵隊アリ生産敵巣攻撃
🧬 群知能・自己組織化
城防衛戦記
中世の城に押し寄せる軍勢を弓兵と石落としで防ぐ古典TD
弓兵配置投石城門修理
暗殺指令
ターン制で要人暗殺ルートを設計、警備のパターンを読む頭脳戦
ルート設計警備パターンターン制行動
商店街戦争
駅前商店街で店舗配置・価格戦略で他店を駆逐する商業SLG
店舗配置価格設定広告投資
ニューロン軍
ニューロンユニットを発火させ脳マップを制圧する神経RTS
シナプス接続発火タイミング領域制圧
🧬 ニューラルネット可視化
幕末藩政
幕末の小藩を経営、開国か攘夷かで運命が変わる歴史ターン制
内政外交イベント分岐
言語制覇
プログラミング言語の派閥が技術圏を奪い合う架空4X
技術獲得派閥拡張言語進化
🧬 プログラミング言語論との接続
粒子防衛
量子的に重ね合わせ状態のタワーで観測された敵を撃退する量子TD
重ね合わせ配置観測トリガー確率攻撃
🧬 量子計算研究と接続：Q-Intent関連
可逆お絵描き
全ての筆跡が完全可逆。Undo/Redoが無限に遡れる絵筆ツール
筆跡履歴の完全保存時間軸スライダーで巻き戻し途中分岐で別バージョン保存
🧬 可逆計算研究の入門デモ：すべての操作が情報を失わない
ドット絵工房
16x16〜64x64のレトロドット絵をカラーパレット制約で描く
グリッド描画ファミコン/ゲームボーイ風パレット切替アニメGIF出力
ピアノ即興
PCキーボードがそのまま88鍵ピアノに変身。録音とMIDI出力にも対応
WebAudioでサイン波合成キーボード→鍵盤マップ演奏の録音/再生
ドラムマシン8x8
8トラック×16ステップのグリッドをタップして自分だけのビートを刻む音楽ツール
ステップシーケンサーBPM/スウィング調整パターンA/B切替
絵描き歌AI
歌詞を入力すると順を追って絵が完成する古典絵描き歌ジェネレータ
定型構文パースステップごとに線分追加音声読み上げ同期
🧬 プログラム＝手順記述という計算理論の遊び
ASCIIアート工房
画像をASCII文字アートに変換し、明度マッピングや文字セットを自由に設計できるツール
画像ロード→グレースケール化文字密度マップ出力テキストコピー
フラクタル庭園
マンデルブロ・ジュリア集合・バーンスレイのシダを無限ズームできる数学的庭園ツール
マンデルブロ集合描画クリックでズームカラーパレット選択
🧬 計算可能性の境界を視覚化：停止しない計算の美
L-system森
簡単なリライティング規則だけで木や植物のような複雑パターンを描き出す生成ツール
生成規則編集反復回数指定亀グラフィクス描画
🧬 形式文法と書き換え系：可逆書き換え系の入門
CA画家
Rule30〜Rule110を自由に切替えて1次元CAパターンを生成
256ルールセット選択初期条件設定世代スライダー
🧬 Wolframのチューリング完全性：Rule110は可逆計算研究と接続
写真ピクセル化
写真をドラッグ＆ドロップで読み込み、ドット絵風に変換。解像度も色数も自在に調整可
画像入力→ダウンサンプル色数削減ディザリング選択
顔文字工房
目・口・装飾の各パーツを自由に組み合わせ、オリジナル顔文字をデザインできるツール
パーツライブラリドラッグ組合せクリップボードコピー
塗り絵ノート
線画テンプレート20種から好きなものを選び、自由に色を塗れる。バケツツール対応
テンプレ選択領域塗りつぶし色履歴記録
ボタンだけ音楽
巨大なボタンを1つ押すだけで毎回違うメロディとコード進行が自動生成される音楽器
マルコフ連鎖メロディ生成コード進行自動付与シード固定で再生成
🧬 決定論的アルゴリズム＋シードによる再現性
ストップモーション
Webカメラから1コマずつ撮影し、オニオンスキン重ね表示で作る簡易ストップモーション動画
カメラ取得オニオンスキン重ね表示FPS指定再生
絵本メーカー
見開き8ページの絵本を自分で描き、PDF出力して印刷・製本までできるブラウザ完結ツール
ページ単位描画テキスト挿入PDF出力で印刷可
🧬 教育用素材として使えるテンプレ提供（可逆計算の絵本）
ロゴ生成器
学科名/サークル名を入れるとフォント・配色のロゴ案を10種提案
フォント10種ローテカラースキーム生成SVG出力
🧬 横山研用ロゴ案を遊びで提案
ノイズ画家
パーリンノイズで雲・地形・大理石模様を生成し、波長や振幅を自由に調整できる生成ツール
2D/3Dノイズ生成オクターブ加算カラーマップ適用
リミックスDJ
2曲をクロスフェードし、テンポを自動同期。簡易ながら本格派DJミックスを制作できる
音声ロード×2BPM自動検出クロスフェーダー
アイデア発射機
「○○な△△」というテンプレートを使い、研究テーマや創作アイデアを100連発で生成
形容詞×名詞×領域の組合せお気に入り保存CSVエクスポート
🧬 研究テーマ発想支援：横山研の研究領域語彙を内蔵
曼荼羅シンメトリ
8〜16方向の対称軸を選んで線を引くと、自動的に美しい曼荼羅模様が描かれていくツール
対称軸数指定中心からの放射描画色相環自動回転
🧬 対称性＝群論的構造、可逆性の自然な実装
可逆しりとり対戦
順方向と逆方向の両方で繋げる、2人交代の可逆しりとりバトル
交代入力両方向検証辞書照合
🧬 可逆計算の双方向性を言葉遊びに転写
二人で書く逆プログラム
片方が順方向、もう片方が逆方向のコードを同時編集する協力プログラミング
分担編集整合性判定差分可視化
🧬 R-WHILEの逆プログラム生成を2人作業に翻訳
Janus早押しクイズ
可逆言語Janusの構文・意味論を競う4人同時早押しクイズ
早押し検出出題ランダム化スコア集計
🧬 Janus教材の理解度をゲーム化
お絵描き当て可逆
描いた絵を逆順に消して見せる、当てる人は描画順を逆推理
描画ストローク記録逆再生推理入力
🧬 計算の巻き戻し可視化を絵描き遊びへ
ジェスチャー可逆
出題者がジェスチャーを行い、回答者は逆再生で動きを当てる協力ゲーム
タイマーヒントカード得点制
🧬 可逆動作の身体的体感
RoomMate人狼
RoomMate問題を題材に、誰がペア妨害者かを推理する5〜8人用社会推理
役職配布投票夜行動
🧬 研究室配属DA実装と関連、人狼でアルゴリズム理解
Twister風キーボード
指定キーを2人が同時に押し続ける、指縛りキーボードTwister
同時押し検出指示ランダム生成離脱判定
🧬 状態保持と崩壊の身体化
合議制コンパイル
プレイヤー全員で投票して命令を選び、可逆プログラムを完成させる協力合議ゲーム
投票UI命令カード実行シミュレーション
🧬 可逆プログラム合成を集団意思決定に変換
リレー型逆計算
計算の各ステップを4人で順番に逆向き実行するリレー競争
タイムアタックステップ分担ミス判定
🧬 逆実行をチームスポーツ化
コーチング将棋
1人が指し手、もう1人が口頭ヒントだけで指南するコーチ＆プレイヤー対戦
将棋盤発話ボタン制限持ち時間
🧬 教える側の理解深化（教育研究との接点）
観戦Bot対戦場
用意された複数AI Botの対戦を観戦し、勝者を予想して賭けるパーティゲーム
AI対戦シム予想ベット配当計算
🧬 AIエージェントの振る舞い観察学習
対戦パズル可逆
落下ブロックを揃えると相手の盤面を逆再生で巻き戻す、対戦型可逆パズル
落ちものパズル逆再生攻撃ゲージ管理
🧬 巻き戻し攻撃で可逆性を競技化
AI対戦・三目並べ拡張
AIの強さを6段階から選んで挑む、5×5拡張三目並べ
MinimaxAI盤面評価難易度UI
🧬 探索アルゴリズムの体験
4人画面分割迷路
4分割画面で同じ迷路を最速ゴールするレース、ゴール時に逆経路提示
画面4分割迷路生成経路記録
🧬 経路の可逆性を意識させる
可逆Bot vs 人間
ルールを途中で逆転させるBotに挑む、可逆ルール対戦カードゲーム
カードバトルルール反転Bot AI
🧬 可逆性をルールデザインに組み込む
対戦ボード・回路組み
可逆論理ゲートを盤上に置いて相手の信号を中和する2人用ボード
盤上配置信号伝搬ターン制
🧬 可逆論理ゲート（Toffoli等）を盤上ゲーム化
複数手順分担コード
3人がそれぞれ前処理・本処理・逆処理を担当し合致を目指す協力プログラミング
役割分担コード結合テスト実行
🧬 可逆プログラム3分割（forward/inverse/glue）の教育
ジェスチャー逆順当て
出題者の動作系列を録画再生し、回答者は逆順を当てる視覚パーティ
録画逆再生選択肢回答
🧬 時系列の可逆性を視覚体験で習得
Hotseatデバッグ王
スマホを順番に渡し、与えられたバグコードを誰が早く修正できるか競う
タイマーコード差分得点ランキング
🧬 デバッグ能力の楽しい鍛錬、研究室教育に直結
観戦付き協力脱出
プレイヤー2名＋観戦者複数で挑む、観戦者がヒントを送れる脱出ゲーム
脱出謎解きヒント送信観戦UI
🧬 観察と参加の境界を曖昧にする教育的体験
ベネット圧縮
Bennettのpebble gameでメモリと時間のトレードオフを体感する
pebble配置ステップ前後遷移メモリ上限制約
🧬 Bennett 1989の可逆チューリング機械の時空トレードオフ。横山研の可逆計算理論の出発点を視覚化
Lecerf複号
Lecerf-Bennettトリックで非可逆計算を可逆化する練習場
forward実行履歴保存uncompute逆走
🧬 Lecerf 1963の可逆化定理。可逆計算理論の歴史的基礎を実装で学ぶ
HM型推論
型変数の単一化を手で解いてML式の多相型を全プログラムへ推論する道場
制約生成Robinson単一化let多相化
🧬 ML系言語の根幹となる型推論。横山研の関数型・可逆型システム研究の前提知識
System F塔
二階多相λ計算System Fで型抽象と型適用を交互に積み上げるブロックパズル
型抽象型適用β/η簡約
🧬 Girard-Reynoldsの多相λ。Curry-Howard対応で二階論理に対応する型理論
依存型ダンジョン
値に依存する型でΠΣ構造の不正扉を物理的に塞ぎながら宝へ進む型理論探索
Π型/Σ型構築型レベル長さ証明オブジェクト
🧬 依存型理論(Coq/Agda/Idris)。横山研の証明支援系・形式手法研究の基盤
線形型工房
線形論理に基づき各リソースをちょうど1回だけ消費しなければ詰む工房パズル
use-onceweakening禁止contractionなし
🧬 Girardの線形論理。Rust的所有権・可逆計算の資源管理と直結する型システム
CH対応橋
命題と型、証明とプログラムをCurry-Howard同型対応で橋渡しするマッチングゲーム
命題→型変換証明→λ項両側同型確認
🧬 Curry-Howard同型対応。横山研の論理学×プログラミング言語論の中核概念
Grover潜伏
オラクルと拡散演算による振幅増幅をスライダーで反復し正解を浮かび上がらせる量子探索
オラクル反転拡散演算√N回反復
🧬 Grover 1996の探索アルゴリズム。横山研量子計算カリキュラムの代表アルゴリズム
Shor分解士
周期発見と量子フーリエ変換と古典GCDを順に辿り合成数Nを素因数分解する量子手順
a^x mod N準備量子フーリエ古典GCD
🧬 Shor 1994の量子素因数分解。可逆計算と量子フーリエ変換の融合事例
QFT回す
Hadamardと制御Rk位相ゲートを正しい順に並べ量子フーリエ変換回路を組み上げる
Hadamard制御Rkビット反転
🧬 可逆FFTの量子版。横山研の可逆FFT/量子アルゴリズム研究と直接対応
QAOA調律
コスト層γとミキサ層βの2パラメータを古典側で調律しMaxCutの近似解を引き上げるQAOA
コスト層ミキサ層古典最適化
🧬 QAOA(2014)はNISQ時代の代表アルゴ。横山研の量子・古典ハイブリッド研究領域
ベル破り
もつれ状態を共有しCHSH不等式を破る測定角を選んで局所実在論を実験的に否定する
測定軸選択相関係数測定S値計算
🧬 Bell 1964/CHSH 1969。横山研で扱う量子情報の基礎実験を再現
ファインマン径
全経路に位相をつけて足し合わせ確率振幅を可視化する2スリット干渉のFeynman経路積分
全経路サンプリング位相加算干渉縞描画
🧬 Feynman経路積分。量子計算と可逆計算の物理的基礎
永続木林
永続データ構造でversion treeを成長させ過去の木を回遊
path copyingfat node版間ジャンプ
🧬 Driscoll-Sleator-Tarjanの永続データ構造。可逆データ構造の親戚として横山研領域
可逆ハッシュ
Feistel構造の鍵スケジュールを使い暗号文と平文の間を双方向に巻き戻す可逆ハッシュ実験
Feistelラウンド鍵スケジュール逆走復号
🧬 可逆暗号の基本構造。横山研の可逆暗号・Feistel系列研究と直結
正規化流
ヤコビアンを追跡しつつcoupling層を重ねて複雑分布を標準正規へ可逆に変形する流体ゲーム
coupling layerヤコビ追跡可逆フロー
🧬 Real NVP/GLOWなど可逆生成モデル。横山研RevNet系列の発展領域
NeuralODE舵
連続時間ニューラルODEの速度場を編集してRK4積分された軌跡を目標点に着陸させる操縦ゲーム
dy/dt定義RK4積分随伴法逆伝播
🧬 Chen 2018のNeural ODE。可逆ニューラル網の連続版で横山研RevNet研究の延長
二層積木
static/dynamicに色分けして部分評価のbinding-time解析
BT注釈specializer実行残余プログラム生成
🧬 Jonesらのoffline部分評価。横山研rev_PE研究の理論基礎(Two-level languages)
Yの不動点
Yコンビネータを項として組み立て再帰構文を持たない関数へ再帰を注入する不動点作業場
Y=λf.(λx.f(xx))(λx.f(xx))β簡約不動点確認
🧬 Curryの不動点コンビネータ。横山研λ計算/コンビネータ論理(SKI/BCKW)研究の核
尊厳の対話
AIに問いを投げ返される再帰的ソクラテス対話で人間の尊厳=Hominis Dignitatiを守る
問い生成再帰的質問Hominis Dignitati判定
🧬 横山研CSI(Computational Socratic Inquiry)・Magisterium AI・Hominis Dignitatiの直接ゲーム化