Some setup tools for Department of mathematics, Kyoto University