TANAKA Masahiko

J-GLOBAL         Last updated: May 9, 2013 at 12:58
 
Avatar
Name
TANAKA Masahiko
Affiliation
Hyogo University
Section
Faculty of Economics and Information Science, Department of Economics and Information Science

Research Interests

 
 

Research Areas

 
 

Education

 
 
 - 
1975
Faculty of Liberal Arts and Science (Natural Sciences), Yamaguchi University
 

Misc

 
Computer Approaches to Symbolic Logic, Classification of Tautologies
   1989
Tiling Patterns with Gliding Symmetry
   1990
Geometric Proofs for the Aduentitious Angles Problem
   1991
Information Science Educational Programs and their Application in the Jounior Colledge
   1992
Computer Approaches to Symbolic Logic. Part Two : Machine Proofs in Modal Logic
The Journal of HYOGO WOMEN'S COLLEGE   26,10-17    1993

Research Grants & Projects

 
three-dimensional design