可逆タイピング
打った文字を逆順に打ち直して取り消す可逆タイピング
可逆計算 の核心は「すべての操作に逆操作がある」こと。本ゲームでは 順タイプ で文字を入力し、続く 逆タイプ フェーズでスタック末尾から逆順にもう一度入力します。完全に巻き戻せたら、入出力が
identity(恒等変換)として閉じることを体験できます。― これは Janus の uncall や Bennett の可逆チューリング機械と同じ構造です。
① 順タイプ (30秒)
② 逆タイプ (30秒)
③ 結果
残り時間
30s
入力数
0
ミス
0
スコア
0
入力スタック
スタートを押すと順タイプが始まります
操作とルール
・① 順タイプ(30秒): 表示テキストを正確に打つ。打った文字はスタックに積まれる。
・② 逆タイプ(30秒): スタック頂上から1文字ずつ「同じ文字」を打って pop していく。打鍵が逆順になる。
・両フェーズで 誤打鍵はカウント、続行。逆タイプで全 pop 成功なら完全可逆達成(最高スコア)。
・Esc または「リセット」で初期化。