論壇

基本上过去的2024年中我不是在看书, 就是在翻译, 偶尔也写点自己的东西, 以下是一些篇目. (你问我为什么不发在ESJ上, 那只能说ESJ对于写数学太不友好了, 笑.) 为了支持我翻译数学书籍的爱好, 我设计并实现了一个DSL (domain-specific language): https://github.com/alpha-beta-eta/SMathML.

1. Linear Algebra (Hoffman & Kunze) 翻译

https://alpha-beta-eta.github.io/linear_algebra.html

翻了大概八章半, 还剩一章半翻译不动了.

2. Lectures on the Curry-Howard Isomorphism翻译

https://alpha-beta-eta.github.io/curry-howard.html

没翻多少, 但是书是好书.

3. Lecture Notes on Denotational Semantics翻译

https://alpha-beta-eta.github.io/denotational_semantics_notes.html

翻了两章, 也没翻多少. 很不错的关于指称语义学的讲义.

4. Homotopy Type Theory翻译

https://alpha-beta-eta.github.io/hott.html

没翻几页, 原因显然是我连Homotopy Theory和Type Theory都搞不明白, 更别提Homotopy Type Theory了.

5. Category Theory (Steve Awodey) 翻译

https://alpha-beta-eta.github.io/cat_awodey.html

没翻几页, 但还有一个问题, 我印象中我有些地方翻译得有比较严重的问题, 但是书是好书. 只是, 我想问Steve Awodey, 他真的觉得学语言学的人会去读这本书吗?

6. Brzozowski导数

https://alpha-beta-eta.github.io/brzozowski.html

虽然是我自己写的, 但不是我的原创, 因为Brzozowski导数的概念已经存在几十年了. 关于其用在context-free language的parser上的推广, 我至今仍然不是很懂.

7. The Little Typer翻译

https://alpha-beta-eta.github.io/little_typer.html

才开始翻译, 应该能翻译完吧.

8. P423笔记

https://alpha-beta-eta.github.io/p423.html

追忆曾经写的P423作业 (其实基本上都忘了), 若是对于编译器感兴趣则可以看看.

9. LearningZIL笔记

https://alpha-beta-eta.github.io/zil.html

试图从Infocom公司的内部资料中发掘点什么有价值的东西, 可惜没有.

10. Computability and Complexity (Neil Jones) 翻译

https://alpha-beta-eta.github.io/jones.html

一本怪异的理论计算书籍, 怪异之处在于不知道这算TCS Theory A还是B. (不过, 一般人都不觉得Theory B叫TCS.)

11. Proofs and Types翻译

https://alpha-beta-eta.github.io/prot.html

有的其他地方翻的还没来得及整理, 不过总体上也没翻几页. 这是一本相当深刻的小书, 我怀疑可能没几个人能读明白.

12. 编程语言的邀请

https://alpha-beta-eta.github.io/notes/pl.pdf

我放弃以图片形式把这个搬到ESJ上来了, 因为编辑器总是抽风. 这个其实是我的本科毕业论文, 如你所见, 写得都不能算是论文.

13. Kerodon翻译

https://alpha-beta-eta.github.io/kerodon.html

今天起就决定翻译这本书了, 我可以笃定这本书的大部分内容我在五年之内都是读不懂的.

(未完待续)