The present invention aims to provide a homocysteine synthase inhibitor useful for the prophylaxis or treatment of diseases involving homocysteine synthase. The present invention relates to use of a compound represented by the following formula (I) wherein each symbol is as defined in the DESCRIPTION, or a pharmacologically acceptable salt thereof, or a solvate thereof as a homocysteine synthase inhibitor.본 발명은 호모시스테인 합성효소에 관여하는 질병의 예방 또는 치료에 유용한 호모시스테인 합성효소 저해제를 제공하는 것을 과제로 한다. 본 발명은 하기 화학식(I)의 화합물, 또는 그의 약리학적으로 허용 가능한 염, 또는 그들의 용매화물을 호모시스테인 합성효소 저해제로서 사용하는 것에 관한 것이다:상기 식에서의 각 기호는 명세서에 기재한 것과 동일하다.