高频交易（HFT）属于量化交易。原因如下：

高频交易（HFT）是一种在极短时间内频繁交易的策略，利用高速计算机和低延迟的交易系统快速执行交易以获取瞬时利润。量化交易（Quantitative Trading）则是通过数学模型、统计分析和计算机算法来制定和执行交易策略。以下是高频交易属于量化交易的具体原因：

依赖计算机技术：

高频交易依赖高速计算机和复杂算法来快速执行大量交易。这与量化交易使用计算机技术来进行交易决策的核心理念一致。

基于数学模型和算法：

高频交易策略通常基于精确的数学模型和算法来分析市场数据并做出交易决策。这些模型和算法是量化交易的基础。

数据驱动：

高频交易依靠实时市场数据来进行交易，使用复杂的统计和数学分析来捕捉短暂的市场机会。同样，量化交易也是基于大量数据和统计分析来进行策略开发和优化。

自动化交易：

高频交易几乎完全是自动化的，交易决策和执行由计算机系统完成。这是量化交易的一个重要特征，即使用计算机系统自动执行交易策略。

综上所述，高频交易通过使用计算机技术、数学模型和算法来进行交易，完全符合量化交易的定义，因此属于量化交易的一种特殊形式。