[kisoron-ml] from constructive mathematics to computable...