researchmap
 

Research Interests  [ proof theory ]

14 items found


  • (Noriko H. Arai)
    National Institute of Informatics
    Information and Society Research Division  
    Professor
  • Keio University
    Faculty of Letters Department of Humanities and Social Science (Philosophy)  
    Professor
  • Waseda University
    Institue for Advanced Study  
    Adjunct Researcher
  • The University of Tokyo
    Graduate School of Science  
    Prof.
  • Japan Advanced Institute of Science and Technology
    School of Information Science  
    Senior Lecturer
  • (handle_0022)
    Hosei University
    Faculty of Science and Engineering, Department of Applied Informatics  
    Research Associate
  • Kyoto Sangyo University
    Faculty of Computer Science and Engineering, Department of Intelligent Systems, Faculty of Computer Science and Engineering  
    Professor
  • Hitotsubashi University
    Graduate School of Economics  
    Prof. Emeritus
  • Keio University
    Faculty of Letters