Yuzuru Kakuda
Dr.Sci., Professor
Department of Computer and Systems Engineering
Kobe University
Rokkodai, Nada, Kobe 657-8501, Japan
Email:
kakuda@kobe-u.ac.jp
Tel/Fax: 078-803-6240 (dial in)
Research Interests
Abstract Design Theory
Nonstandard Analysis
Set Theory
Membership
Member, Association for Symbolic Logic.
Member, Mathematical Society of Japan.
Member, Japan Association for Philosophy of Science.
The group of
Foundations of Mathematics and Computer Science
,
Kobe University
.