トップ «前の日記(2013-05-30 (Thu)) 最新 次の日記(2013-07-02 (Tue))» 編集   RSS 1.0 FEED  

Journal InTime


2013-05-31 (Fri) [長年日記]

_ 型システム入門

型システム入門 −プログラミング言語と型の理論−

遠藤さんがサイン会してたので、いい機会だと思って型システム入門を買った! レジのお姉さんに7000円と言われて一瞬ひるんだけど、いい大人なのでやっぱりやめますとも言えず。

本棚の飾りに7000円は高いので頑張って読むぞ。

サイン