記号論的な有効対数表記**(略称ミラビリス)**から、現在使われている性質を得る。次にプロパティを紹介します。 乗算の法則 (乗算カノン) $$ \begin{aligned} \displaystyle \log_{2^6} 64 &= \\ &= \log_{2^6} 4~.~16 = \log_{2^2} 4 + \log_{2^4} 16 \\ &= \log_{2^6} 8~.~8 = \log_{2^3} 4 + \log_{2^3} 16 \\ &= \log_{2^6} 2~.~32 = \log_{2^1} 2 + \log_{2^5} 32 \\ \end{aligned} $$ $$\log_{C} A~.~B = \log_{C} A + \log_{C} B$$ 除算の法則 (Tangentiplus Canon) $$ \begin{aligned} \log_{2^4} \frac{64}{4} &= \log_{2^6} 64 - \log_{2^2} 4 \\ \log_{5^1} \frac{125}{25} &= \log_{5^3} 125 - \log_{5^2} 25 \end{aligned} $$ $$\log_{C} \frac{A}{B} = \log_{C} A - \log_{C} B$$ 力の法則（ポテスタティ・カノン） $$ \begin{aligned} \log_{2^6} 4^3 &= \log_{2^6} 64\\ &= \log_{2^6} 4 ~.~ 4 ~.~ 4\\ &\overset{\text{Multiplicatio Canon}}{=} \log_{2^2} 4 + \log_{2^2} 4 + \log_{2^2} 4\\ &= 3~.~\log_{2^2} 4\\ \end{aligned} $$ $$\log_{C} A^B = B~.~\log_{C} A$$ プランク定数の応用 この表記の威力を理解するために、プランク定数を計算してみましょう。