ここに、formula_9は虚数単位、formula_10はナブラである。