導出
どうしゅつ derivation