式の計算の利用