MIYANO Satoru University of Tokyo, Institute of Medical Science, Professor, 医科学研究所, 教授 (50128104)
SATO Masahiko Kyoto University, Graduate School of Infermatics, Professor, 情報学研究科, 教授 (20027387)
ONO Hiroakira JAIST,Graduate School of Infromation Science, Professor, 情報科学研究科, 教授 (90055319)
ARIKAWA Setsuo Kyushu University, Graduate School of Information Science and Electrical Enginee, 大学院・システム情報科学研究科, 教授 (40037221)
KOBAYASHI Kojiro Soka University, Fac.Engineering, Professor, 工学部, 教授 (00016148)
林 晋 神戸大学, 工学部, 教授 (40156443)
向井 国昭 (向井 国明) 慶応義塾大学, 環境情報学部, 教授 (80245597)
|Budget Amount *help
¥9,500,000 (Direct Cost: ¥9,500,000)
Fiscal Year 1998: ¥3,300,000 (Direct Cost: ¥3,300,000)
Fiscal Year 1997: ¥3,100,000 (Direct Cost: ¥3,100,000)
Fiscal Year 1996: ¥3,100,000 (Direct Cost: ¥3,100,000)
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.