様々な組合せ子のω-強頭部正規化可能性の反証