Provided is a compound represented by the formula, or a salt thereof, the compound having RORγt-inhibiting activity and being useful as a prophylactic or therapeutic agent for autoimmune or allergic diseases.L'invention concerne un composé représenté par la formule, ou un sel de celui-ci, le composé ayant une activité inhibitrice de RORγt et étant utile en tant qu'agent prophylactique ou thérapeutique pour des maladies auto-immunes ou allergiques.RORγt阻害作用を有し、自己免疫疾患やアレルギー疾患などの予防又は治療剤として有用な下記式で表される化合物又はその塩。