>>923
dx/x=dt 機械的に置換する。