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