书籍推荐

原谅我没有进行分类, 严肃的数学书籍, 严肃的文学书籍, 轻小说, 技术书籍, 乃至galgame等都散列在一起. 唯一可以肯定的是, 这些书籍都给我带来了很多的快乐.

  1. Finite-Dimensional Vector Spaces & Linear Algebra Problem Book
  2. Naive Set Theory
  3. Linear Algebra (Hoffman & Kunze)
  4. Analysis (Godement)
  5. Structure and Interpretation of Computer Programs
  6. 池袋西口公园
  7. 痴人之爱 & 食蓼之虫
  8. 十三夜 (樋口一叶著, 林文月译)
  9. 枕草子 (林文月译)
  10. 菊与刀
  11. 文学少女
  12. 波上的魔术师
  13. 圣母在上
  14. 消费社会
  15. 象征交换与死亡
  16. 发达资本主义时代的抒情诗人: 论波德莱尔
  17. 游戏的人 (Homo Ludens)
  18. 中世纪的秋天
  19. 意识形态的崇高客体
  20. Essentials of Programming Languages
  21. 美利坚物语 & 法兰西物语
  22. 魔法使之夜
  23. 动物化的后现代
  24. The Little Schemer
  25. 游戏性写实主义的诞生
  26. The CRPG Book
  27. The Seasoned Schemer
  28. The Reasoned Schemer
  29. Software Design for Flexibility
  30. 春与修罗
  31. 魔法科高校的劣等生
  32. 富岳百景 & 越级申诉 & 如是我闻
  33. Proofs and Types
  34. 文化模式
  35. 人虎传 & 山月记
  36. 近月少女的礼仪
  37. 柠檬 & 樱花树下
  38. 银河铁道之夜
  39. LearningZIL
  40. Category Theory (Steve Awodey)
  41. Computation Structures
  42. Building Problem Solvers
  43. 力学概论
  44. 数学的建筑
  45. A Survey of Modern Algebra
  46. Beginning Mathematical Logic

在读的书

  1. Algebra: Chapter 0
  2. Category Theory (Steve Awodey)
  3. Lectures on the Curry-Howard Isomorphism

网页收藏 (待读列表?)

  1. UniversalType in Standard ML