大カテゴリーと小カテゴリーの検証