deduce和derive