Ishihara Laboratory

Ishihara Laboratory

Our research area is an interdisciplinary area between mathematics and computer science. We have been especially focusing on the following subjects:

  • constructive mathematics,
  • mathematical logic,
  • theory of computation.

 

For more information, please visit our website:
http://www.jaist.ac.jp/is/labs/ishihara-lab/www/english/index.html.