归档
9 篇已发布的文章，按时间倒序排列。
从 Gajewski、Romoli 到 Jeretič，介绍否定提升的预设分析、标量含义分析与子论域替代项推导。
对一个古老问题的回答
难受过后的一些思考
哲学之哲学
给人文学科朋友的技术指南
曾经写下的一些文字
箴言式的写作，捕捉的小想法
Hello World!
展示Markdown的各种语法，包括标题、列表、代码块等。
这个分类暂时没有文章。