study for making programming language, with linear logic