the Admissibility of Structural Rules -- Towards Limit Computable Mathematics --