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

Humanities

Fellow Researchers

Physics

Chemistry

Biology

Psychology

Humanities

Page Top