計算の型。