クレーン 安全 率 計算レイリーの定理中古言い換え