Elo rating system
以下、プレイヤーformula_5がプレイヤーformula_6に勝利する確率（＝プレイヤーformula_6がプレイヤーformula_5に敗北する確率）をformula_9、プレイヤーformula_5のイロレーティングをformula_11などと表記することとする。