推导

推导［推導］ピンインtuīdǎo［tui1dao3］意味導き出す．〔〜公式〕公式を導き出す．詳細解説（製作中）既知の公理、定義、定理、法則などによれば、計算と論理的推論の後に新しい結論を引き出すことができます。