And a β-amyloid production inhibitory activity, to provide a compound useful as a therapeutic agent for diseases induced by deposition production of amyloid β protein, and / or secretion. Formula (I): [Formula 1] (Wherein, A is a heterocyclic diyl which may have a substituent or a carbocyclic diyl which may have a substituent, B or carbocyclic group which may have a substituent a heterocyclic radical which may have a substituent, R 1 is lower alkyl or the like may be substituted, R 2 is hydrogen, etc., R 3b and R 3a are each independently is hydrogen and the like. However, I except for the following compounds [Formula 2] . ) Solvate thereof or a pharmaceutically acceptable salt thereof or a compound, at shown.アミロイドβ産生抑制作用を有し、アミロイドβタンパク質の産生、分泌および/または沈着により誘発される疾患の治療剤として有用な化合物を提供する。式(I):[化1](式中、Aは置換基を有していてもよい炭素環ジイルまたは置換基を有していてもよい複素環ジイルであり、Bは置換基を有していてもよい炭素環式基または置換基を有していてもよい複素環式基であり、R1は置換基を有していてもよい低級アルキル等であり、R2は水素等であり、R3aおよびR3bは各々独立して水素等である。ただし、以下の化合物を除く[化2]。)で示される化合物、もしくはその製薬上許容される塩またはそれらの溶媒和物。