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
- Research Interests
- Logics
- Category theory
- Lambda-calculi
- Recursion
- Quantum computation
- [Publications]
- Memoranda
- [A note on elementary mechanics (in Japanese, for students)]
- [A note on compactness of propositional logic (in Japanese, for students)]
- 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]
- [Japanese IM dictionaries]
- Seniors/Friends
- M. Hagiya
- M. Hasegawa
- S. Katsumata
- D. Kimura
- T. Abe
- R. Ikuta
- Y. Kawamoto
- Y. Hirai