My research interests include Lisp Machine, Symbol Manipulation,
programming languages and systems, Mathematical Logic, in particular
Automated Theorem Proving, Development of AI programs, Program
transformation, and Computer Education.
SYNAPSE is a multi-microprocessor Lisp machine under development in my
laboratory. It is intended to be multi-user Lisp machine that gives to
each user a List Processing Unit, while list cell memory is shared by
all users. The architecture of SYNAPSE is designed to achieve efficient
parallel garbage collection.
We have developed many Lisp systems since 1966. KLISP for TOSBAC-3400,
KLISP-11 for PDP-11, Apple-Lisp for Apple II, SYNAPSE Lisp for
SYNAPSE, parallel Lisp systems and many other Lisp interpreters and
compilers for various computers have been implemented in the
laboratory.
Artificial intelligence is drawing interest in wide range of
industries, and Lisp is the language chosen for AI applications. We
have developed some intelligent programs using our Lisps.
TKP(Tsukuba-Keio Prover) is an automatic theorem prover which proves
properties of recursive programs. It is based on Gentzen style logic
and fixed point theory. Some expert systems, natural language
understanding systems and other AI Systems have been designed using
Lisp or Prolog.
We have designed and implemented compilers in various versions of
SIMPL Language. SIMPL-n is a compiler with formula manipulation for
differential equations. SIMPL-E was designed to be used in programming
training for students.
Other interests of our research are computer education and computer
music. Programming training of LOGO, Lisp, Pascal, Prolog and the
other newest or most useful programming languages for pupils of 11-18
years old has been attempted since 1980.
Automatic music players, arrangers and composers have been designed
and constructed in microcomputers.