KATSUTANI Hiroaki

J-GLOBAL         Last updated: Aug 6, 2017 at 18:03
 
Avatar
Name
KATSUTANI Hiroaki
Affiliation
Toyota National College of Technology
Section
General Education
Job title
Associate Professor
Degree
(BLANK)(Kobe University), (BLANK)(Kobe University)

Research Areas

 
 

Education

 
 
 - 
1989
Graduate School, Division of National Science and Technology, Kobe University
 
 
 - 
1984
Faculty of Engineering, Osaka Prefecture University
 

Published Papers

 
A Learning System of Mathematics on a Computer Network
Community College Journal of Research and Practice   25(5-6) 369   2001

Misc

 
A Type-Theoretic Framework of Nonstandard Analysis
Memoirs of The Graduate School of Science and Technology, Kobe University   7(A)    1988
Type Inference with the Inclusion Relation between Types
Journal of Toyota College of Technology   24    1991

Books etc

 
Syntactical Simulation of Many-Valued Logic
Lecture Notes in Mathematics Vol. 1388   1989   

Research Grants & Projects

 
Modal Logic
mathematical education
Typed Lambda Calculus