Host: The Japan Society for Management Information
I'll explain about an environment of CAST model which Professor Takahara and his research group have developed on Linux OS. CAST is the abbreviation of Computer Acceptable Set Theory, once we make a model in mathematical logic and naive set theory and compile the model and then we can run the model. I'll also show an example of user model.