数式で独楽する

対数関数を \begin{equation} \log x := \int_1^x \frac{dt}{t} \tag{1} \end{equation}で定義する考え方があります。