CATEGORY 式の計算