2013-06-12 読書会 -- 基礎文法と型