(以下の表の「hlの定義」の部分)。