障害束、準正則性、そして Seiberg–Witten 不変量 | Synapse