A compound having a amyloid β production inhibitory action, particularly a BACE1 inhibitory action, and useful as a therapeutic agent for a disease induced by production, secretion or deposition of amyloid β protein, such as formula (I): A substituted or unsubstituted carbocyclic or heterocyclic ring, R1 is substituted or unsubstituted alkyl, etc., R2a and R2b are each independently hydrogen, substituted or unsubstituted alkyl, etc., R3, R4a and R4b Each independently is hydrogen, halogen, substituted or unsubstituted alkyl, etc., the broken line indicates the presence or absence of a bond, R5 is hydrogen, substituted or unsubstituted alkyl, etc., R6 is halogen, hydroxy, A substituted or unsubstituted alkyl or the like, and p is an integer of 0 to 3, or a pharmaceutically acceptable salt thereof. Provide.アミロイドβ産生抑制作用、特にＢＡＣＥ１阻害作用を有し、アミロイドβタンパク質の産生、分泌または沈着により誘発される疾患の治療剤として有用な化合物、例えば式（Ｉ）：（式中、環Ｂはそれぞれ置換もしくは非置換の炭素環または複素環であり、Ｒ１は置換もしくは非置換のアルキル等であり、Ｒ２ａおよびＲ２ｂは各々独立して水素、置換もしくは非置換のアルキル等であり、Ｒ３、Ｒ４ａおよびＲ４ｂは各々独立して水素、ハロゲン、置換もしくは非置換のアルキル等であり、破線は結合の存在または不存在を示し、Ｒ５は水素、置換もしくは非置換のアルキル等であり、Ｒ６はハロゲン、ヒドロキシ、置換もしくは非置換のアルキル等であり、ｐは０～３の整数である）で示される化合物またはその製薬上許容される塩を提供する。
