masateru kawaguchi

@masaterukw

I am a computer programmer. I like formal method, model checking, functional programming, agile, ukulele, scuba diving, studying English and so on.