とりあえず、「ddx」という表記をオイラーが使ってるって所までは本当だろうな?