反応電力フローを取り入れた線形ATC計算の強化 | Synapse