ALEPH ONE / 井
从 Gajewski、Romoli 到 Jeretič，介绍否定提升的预设分析、标量含义分析与子论域替代项推导。
对一个古老问题的回答
难受过后的一些思考
哲学之哲学
给人文学科朋友的技术指南
曾经写下的一些文字
