Masaru SHIRAHATA

Masaru SHIRAHATA

Ph.D.
  • Research Field :
    Mathematics
  • Specific Research Topic :
    Mathematical Logic

Research Description

I have developed set theory and functional interpretation of first order logic based on linear logic. I am now aiming to construct a theory of “spatio-temporalised” mathematical entities.

Hobby

I am an amateur programmer, and used to be an amateur flutist.

Web Applications

Take a look at http://gentzen.hc.keio.ac.jp/calqid/ for an educational system of basic calculus under development, using django and mathjax.

People

Members

Physics

Chemistry

Biology

Mathematics

Psychology

Geography

Humanities

Fellow Researchers

Physics

Chemistry

Biology

Mathematics

Psychology

Page Top