(Last updated : 2021-09-13 12:38:25)
  Nishizawa Koki
   Kanagawa University  Faculty of Engineering Department of Information Systems Creation
   Kanagawa University Graduate School  Graduate School of Engineering Course of Engineering (Field of Information Systems Creation)
   Associate Professor
■ Book and Papers
1. Papers Preorders, Partial Semigroups, and Quantales  (Collaboration)  2020/04
2. Papers Stone Dualities from Opfibrations  (Collaboration)  2020/04
3. Papers Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad  (Collaboration)  2018/11
4. Papers Multirelational representation theorems for complete idempotent left semirings  (Collaboration)  2015/05
5. Papers A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories  (Collaboration)  2014/04
All display(26)
■ E-Mail Address
■ Present specialized field
Computer Science, Algebra (Key Word:Logic, information science, verification of system, algebra structure) 
■ Department laboratory expense researcher number