Kakutani's Page
Profile
- Name (family-name given-name)
- Kakutani Yoshihiko
- Affiliation
-
Department of Information Science,
Faculty of Science,
University of Tokyo
-
Department of Computer Science,
Graduate School of Information Science,
University of Tokyo
- E-Mail Address
- kakutani@is.s.u-tokyo.ac.jp
- [PGP public key]
- Research Interests
- Logics
- Lambda-calculi
- Recursion
- Category theory
- Quantum computation
- [Bibliography]
- Seniors/Friends
- M. Hagiya
- M. Hasegawa
- S. Katsumata
- D. Kimura
- T. Abe
- R. Ikuta
- Y. Kawamoto
- Y. Hirai
Links
- Utilities
- [Google Scholar]
- [CiteSeer]
- [SecurityFocus]
- [Takagi-san]
- [Mew]
- [Japanese IM dictionaries]
- Toy Codes
- [A minor mode on Emacsen for automatic insertion of parentheses]
- [A mode on Emacsen for VB codes]
- [An ascii editor of X-Faces on Emacsen w.r.t. x-face-e21.el 0.128]