discussion:式の計算