- プログラミングHaskell (Graham Hutton / オーム社)
- Haskell:The Craft of Functional Programming (International Computer Science Series) (Simon Thompson / Addison Wesley)
- Programming in Haskell (Professor Graham Hutton / Cambridge University Press)
- Purely Functional Data Structures (Chris Okasaki / Cambridge University Press)
- プログラミングErlang (Joe Armstrong / オーム社)
- 層・圏・トポス―現代的集合像を求めて (竹内 外史 / 日本評論社)
- 幾何学入門〈上〉 (ちくま学芸文庫) (H.S.M. コクセター / 筑摩書房)
- パターン認識と機械学習 上 - ベイズ理論による統計的予測 (C. M. ビショップ / シュプリンガー・ジャパン株式会社)
- パターン認識と機械学習 下 - ベイズ理論による統計的予測 (C. M. ビショップ / シュプリンガー・ジャパン株式会社)
- フリーソフトでつくる音声認識システム - パターン認識・機械学習の初歩から対話システムまで (荒木 雅弘 / 森北出版)
- 数論入門〈1〉 (シュプリンガー数学クラシックス) (G.H. ハーディ, E.M. ライト / シュプリンガー・フェアラーク東京)