型 → 定数