圧縮ばねジェネレータの計算式