ドット記号の微分演算子