鳴門大橋は鉄道通せる構造計算の上で設計してあるんじゃなかったか?