derive-theoretical-result

第一原理または確立された定理からステップバイステップで理論的結果を導出する。すべての ステップを明示的に正当化し、特殊ケースをチェックする。第一原理からの公式や定理の 導出時、論理的演繹による数学的命題の証明時、検証や適応のための教科書的結果の再導出時、 既知の結果のより一般的な設定への拡張時、論文や学位論文のための自己完結的な導出の 作成時に使用する。