これらは遷移ごとに決まる定数でありformula_17と仮定すれば、