Introduction of Yoshihiko Kakutani...

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 compactness of propositional logic (in Japanese, for students)]
[A note on elementary mechanics (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]
Seniors/Friends
M. Hagiya
M. Hasegawa
S. Katsumata
D. Kimura
T. Abe
R. Ikuta
K. Asada
N. Hoshino
Y. Kawamoto
Y. Hirai
T. Kubota
K. Honda