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