すまぬ
例えば a+bi+(c+di)exp(ix)
みたいな式の共役複素数って
a-bi+(c-di)exp(-ix)でよろしいんですか。