型システム入門 −プログラミング言語と型の理論−オーム社2013/03116Benjamin C. Pierce住井 英二郎遠藤 侑介酒井 政裕今井 敬吾黒木 裕介今井 宜洋才川 隆文今井 健男#Haskell#rust読んだ読みたいamazonで見る
![[改訂第7版]LaTeX2ε美文書作成入門](https://resize.ysk.im?url=https%3A%2F%2Fimages-fe.ssl-images-amazon.com%2Fimages%2FI%2F51E5K7B53aL._SL30_.jpg&format=webp&quality=10)