- Research Field :
- E-mail :
- Specific Research Topic :
- Mathematical Logic
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.
I am an amateur programmer, and used to be an amateur flutist.
Take a look at http://gentzen.hc.keio.ac.jp/calqid/ for an educational system of basic calculus under development, using django and mathjax.