コクセター亜群の松本の定理と一般化された量子群のシャポバロフ行列式