researchmap
 

Research Interests  [ プログラム意味論 ]

6 items found


  • <
  • >
  • Nagoya University
    Graduate School of Informatics Department of Computing and Software Systems 1  
    Professor
  • Gunma University
    Graduate School of Engineering, Department of Computer Science  
    Associate Professor
  • Kyoto University
    Research Institute for Mathematical Sciences  
    Professor
  • The University of Tokyo
    The Graduate School of Information Science and Technology  
  • Gunma University
    Associate Professor

  • <
  • >