>>575
expの定義を、logの逆関数として定義するのはごく自然ですよ。