Donaldson type invariants for algebraic surfaces: transition of moduli stacks, Takuro Mochizuki