>>606
ああ、expよりlogを先に定義するのが自然だと言いたかったのかね
すまんが、我々は「指数法則の証明」について話していたので、
無関係の話で割りこんでくるのは以後控えるように