Research Interests



Two Important Contributions to Science
  1. 　An Improvement on Herbrand's Theorem, the first theorem of automated reasoning and theorem proving.
  2. 　The Simplest and Fastest Labeling Algorithm, which is indispensable for pattern recognition in image processing.

　


    Computer-Aided Medical Image Processing


    Automated Reasoning ・Theorem Proving


    Intelligent Image Processing 　


    Muti-Agent Systems 　

    English TOP Japanese TOP Chinese TOP