The present invention provides a piperidine derivative represented by the following formula or analogs thereto, which are used for agents for treating or preventing various diseases related to 5-HT7. Also provided is a method for manufacturing a liquid crystal display device using this optical functional film. , linear time temporal logic and branching time temporal logic. Thus, the seal durability of the metal gasket is improved by effectively preventing fretting wear. The first conductive member and the second conductive member are arranged to decrease resistance between a channel region of the oxide semiconductor layer and the source and drain electrodes. In a system according to the invention, software modules may be used to provide the user with information that is most likely to be the information desired.