(Last updated : 2022-11-22 13:18:32)
  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 Stone dualities from opfibrations  (Collaboration)  2022/06
2. Papers Preorders, Partial Semigroups, and Quantales  (Collaboration)  2020/04
3. Papers Stone Dualities from Opfibrations  (Collaboration)  2020/04
4. Papers Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad  (Collaboration)  2018/11
5. Papers Multirelational representation theorems for complete idempotent left semirings  (Collaboration)  2015/05
All display(27)
■ E-Mail Address
  kyoin_mail
■ Present specialized field
Computer Science, Algebra (Key Word:Category theory, algebraic structure, logic, formal verification) 
■ Department laboratory expense researcher number
  60455433