An interdisciplinary study on categorical computer mathematics

点击翻译按钮获取中文摘要

This project was organized for investigations on categorical computer mathematics from inter-disciplinary viewpoints. All the investigators joining with this research project studied theoryﾟCof categories, Dedekind categories, final coalgebras, two-dimensional firing squad synchro-nization, proof and type theories, completeness for uniformly delayed circuits, symbolic and computational logics, inductive inference of real functions, intuitionistic and classical natural deduction systems with catch and throw rules, testing proofs by examples, and an approximation of protein threading, concerned with mathematics of category theory. As the results of the research projects we extensively developed computer mathematics in Japan, that is, we gave a lot of new theories of useful applied mathematics, proved new theorems in logic, category theory, automata theory, and artificial intelligence, and finally suggested new trends of contemporary applied mathematics.Also the head investigator organized the Japanese joint conferences of applied mathematics at Ryukoku University, Seta City in December 1996, December 1997 and December 1998. (This joint conference has rather long history about thirty years long.) The detailed summary of this research project is described in the report of the research project (booklet), printed in Department of Informatics, Kyushu University, March 1999. The head investigator, on behalf of investigators of the project, is grateful for giving the financial support.