or a pharmaceutically acceptable salt thereof has an Aß production inhibitory effect or a BACE1 inhibitory effect and is useful as a prophylactic or therapeutic agent for a neurodegenerative disease caused by Aß and typified by Alzheimer- type dementia.