Provided is a compound or a salt thereof, represented by the formula shown, which has a RORγt inhibitory effect and is useful as a preventive or therapeutic agent for autoimmune diseases, allergies, and the like.L'invention concerne un composé ou un sel de celui-ci, tel que représenté par la formule, qui a un effet inhibiteur de RORγt et est utile en tant qu'agent préventif ou thérapeutique pour des maladies auto-immunes, des allergies et similaires.RORγt阻害作用を有し、自己免疫疾患やアレルギー疾患などの予防又は治療剤として有用な下記式で表される化合物又はその塩。