静的単一代入