[改訂第7版]LaTeX2ε美文書作成入門 定番のLaTeX入門書
ベーシック圏論 普遍性からの速習コース
圏論の基礎
Category Theory (Oxford Logic Guides)
圏論の歩き方
Categories for the Working Mathematician (Graduate Texts in Mathematics (5))
改訂新版 カシミール3D入門編
計算機代数の基礎理論
入門Haskellプログラミング
プログラミングHaskell 第2版
Haskell入門 関数型プログラミング言語の基礎と実践
すごいHaskellたのしく学ぼう!
Haskellによる関数プログラミングの思考法