型システム入門 (TAPL) のPDF版の発売きた〜! http://estore.ohmsha.co.jp/titles/978427406911P