なおこの言語の中にHaskellとOCamlは含まないものとする