Describes the probability distribution of states. Exactly which state is reached depends on the server-side result of casting sticks.
／状態の確率分布を表現する。サーバー側で投げ棒を乱択することで、どの状態に至るかが決まる。
Describes the scores that the two players have. Players each begin with 20 points, and loses when all the points are lost.
／両プレイヤーが持つ得点を表す型。双方20点スタートであり、点が0点になると敗北。
An auxiliary type that represents whether we should terminate the game or proceed to the next season if the player chose to end the current season.
／もし終季が選ばれた際、次の季節に進むのか、それともゲームが終了するのかを保持するための補助的な型。
Theoretically speaking, it is necessary to distinguish x32 and x64
because it is possible to score 1 point (3+3-5).
Not that it will ever be of use in any real situation.
／3点役2つと-5点役一つを同時成立させることにより1点の得点を得ることが可能である。したがって、二人の得点の総和が40点である以上、32倍レートと64倍レートを区別する必要がある（32点を獲得することは必ずしも勝利を意味しないが、64点を獲得することは必ず勝利を意味するので）。