About Nishiwaki Yuichi
About Department of Computer Science, University of Tokyo
About Kakutani Yoshihiko
About Department of Computer Science, University of Tokyo
About Murase Yuito
About Department of Computer Science, University of Tokyo
About Electronic Notes in Theoretical Computer Science
Please login to MyJ-GLOBAL to see full information. You also need to select "Display abstract, etc. of medical articles" in your MyJ-GLOBAL account page in order to see abstracts, etc. of medical articles.
About model
About semantics
About refinement
About type theory
About linearity
About モノイド
About モダリティ
About Lambda Calculus
About Curry-Howard Isomorphism
About Modal Logic
About Enriched Category Theory
About Artificial intelligence
About Medical information processing
About Theory of computation
About 反復
About 強化
About モダリティ