へえ、赤城山って独立峰の名前じゃなく山系の総称のことだったんですね…