Nishizawa Koki

J-GLOBAL         Last updated: Nov 29, 2018 at 03:19
 
Avatar
Name
Nishizawa Koki
E-mail
nishizawakanagawa-u.ac.jp
Affiliation
Kanagawa University
Section
Faculty of Engineering Department of Information Systems Creation
Job title
Associate Professor
Research funding number
60455433

Research Areas

 
 

Academic & Professional Experience

 
Apr 2013
 - 
Aug 2013
Lecturer
 
Apr 2012
 - 
Mar 2013
Lecturer
 
Apr 2009
 - 
Mar 2013
Lecturer
 
Oct 2008
 - 
Mar 2013
Lecturer
 
Aug 2007
 - 
Sep 2008
Assistant Professor
 

Published Papers

 
Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad
Koki Nishizawa and Norihiro Tsumagari
Lecture Notes in Computer Science   11194 97-112   Nov 2018   [Refereed]
Hitoshi Furusawa and Koki Nishizawa
Journal of Logical and Algebraic Methods in Programming   84(3) 426-439   May 2015   [Refereed]
Koki Nishizawa and Hitoshi Furusawa
Lecture Notes in Computer Science   8428 261-276   Apr 2014   [Refereed]
Takayuki Nagai, Toshiyuki Toyota, Takayuki Nagoya, Masakazu Imai
EDUCON 2013   520-525   2013   [Refereed]
Koki Nishizawaand Hitoshi Furusawa
Lecture Notes in Computer Science   7560 207-218   Sep 2012   [Refereed]

Works

 
Generated Waste and Recovery & Disposal of Solid Waste on the Sea of Japan Coast - Tracing Drifting Paths of Tsunami Debris
Masaru Tanaka, Koki Nishizawa, Makoto Okazaki, Tomomichi Kobayashi, Haruo Matsumura, Tetsuji Arata, Shin Sato and Yasuhiko Kagami   The Others   Feb 2013