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
Contact
kakutani @ is.s.u-tokyo.ac.jp
Curriculum Vitae
[Brief CV in researchmap]
Research Interests
Logics
Category theory
Lambda-calculi
Recursion
Quantum computation
[Publications]
Activities
Programming and Programming Languages (PPL): 2016, 2013, 2012 PC member
Mathematical Foundations of Computer Science (MFCS): 2014 PC member
Quantum Physics and Logic (QPL): 2014 local organizer
Functional and Logic Programming (FLOPS): 2006 local organizer
Symbolic Logic and Computer Science (SLACS): 2006 organizer
Lecture Notes
[A note on compactness of propositional logic (in Japanese)]
[Introduction to Scheme (in Japanese)]
[Scheme Interpreter on Scheme (in Japanese)]
[Elementary mechanics (in Japanese)]
Skill
Pass: 宅地建物取引主任者試験 in Japan
[GitHub page]
References
M. Hagiya
M. Hasegawa
S. Katsumata
D. Kimura
T. Abe
R. Ikuta
K. Asada
N. Hoshino
Y. Kawamoto
Y. Hirai
K. Honda