垂直プリズムの体積の計算式