Theory And Practice Of Computation - Proceedings Of Workshop On Computation : Theory And Practice Wctp2014 - Nishizaki, Shin; ya.