全ての戦略を形式的に記述できるように捉える