masateru kawaguchi

@masateruk

ウクレレ弾きなプログラマ。趣味は読書とダイビング。読書はもっぱら専門書ばっかり。たまに東野圭吾と京極夏彦。形式手法/モデル検査/プロセス代数/関数型言語/アジャイル/GTD/マコネルなど。