# NAKAMURA Yatsuka

## Title

Professor; Department of computer science; Ph.D

12.AUG.1943

## Mail Courses

Information Algebra

## Field of Research

Mathematical Information Science (Information Theory, Image Processing, Controls by Computers)

## Career

1968 Graduation, Master Course of Tokyo Institute of Technology
1971 Graduation, Doctoral Course of Tokyo Institute of Technology
1971 Lecturer of Shinshu University
1977 Professor of Shinshu University

## Topics of Research

Mathematical Entropy Theory; pattern Recognition; Parallel Processing; Computer Networks; Computer Control of Robots; Language and Database for Mathematics; Finite Topology for Image Processing; Computer Virus; Hardware Engineering; Study of CAI; Study of Petri Net; Compression Theory of Sounds

## Books

Computer Virus(Shookoudoo,1990);Unix for MS-DOS User(CQ Press,1994)

## Papers

A Theory of Finite Topology and Image Processing, Shinshu Univ. 1991; Signal Propagation Timing Check System in Multilevel Sequential circuits Electronics and Communications in japan, Part3,Vol.76, No.7, 1993; A Digital Circuits Timing Verification Scheme Based on a Clock Model,Denshi joho Gakkai Ronbunshi, Vol77-A, No.6, June 1994, pp.860-870;

## Society

Electronics, Information and Communications in Japan; Mathematical Society of Japan; Information Processing Society of Japan; MIZAR Association

## Message

The development of computers require newer mathematical fields, concepts, and skills. Because computer hardware and software are more complicated now than ever, it has almost come to a point where it is dangerous to use them without the proof of their accuracy. However, to reduce the problem, we have considered THEAX (mathematical language) and a proof checker to introduce the new mathematical skills. In addition, we are also helping with the research for MISER, which was developed by Dr. A. Trybulec of Warsaw Univ. and others with the same idea. Also, computers are pointing out the necessity of looking at all objects digitally. Thus, we have made a theory of Finite Topology which we are working to develop. This theory will influence Geometry, Analysis, Algebra, and Physics greatly with the wider field than previously predicted. Using a common language of mathematics permits us to minimize human misunderstanding and prejudice so that the truth can be acquired and allow young people to have the courage to face reality. Let there be peace in the world!

E-mail : ynakamur@cs.shinshu-u.ac.jp