>>27
その同型は代数的で附値とは両立しないから log exp には使えないですよ。