プロパティをプロセス代数で表すとやっぱり、何回回った(n)を意識しないと駄目みたいということで、へこむ。充足性もまた、なやみだすが、Turn-based Gameの定義を理解して、すこしすっきりTurn-based GameではPlayer1, Player2が互い違いに手番になるのでは…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。