Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 02-Jan-2022 17:30:08 JST きゅーけー

   ポケモンの戦闘のシステム(ppが尽きると「がむしゃら」という自分のHPを削るわざしか使えなくなる)を参考にすればターン制の戦闘ゲームの停止性が保証できるということにこの前気づいたんで、ACL2 でそういう感じの戦闘ゲーム作ろうかな。再帰する度に何らかの順序数の尺度が減るように設計すれば確実に停止することを示せる。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 02-Jan-2022 17:30:30 JST きゅーけー

     in reply to

     「わるあがき」だった。