[kisoron-ml] linear logic