忘言阁

Zenith John's Nonsense

【井蛙语海】Lean II

这是 Lean II-学习 Lean 的第二周（10-28-11-03）。这周我写完了 formalising-mathematics-2024 前 12 个 Section 的内容。然后尝试着做了一些之后的练习。从我个人的体验来看，前 12 个

Posted by [Zenith John] on Sunday, November 3, 2024

【井蛙语海】前言-Lean I

前言写作【井蛙语海】的目的，是留存我学习语言（？）和语言学（？）的心得体会/读书笔记。间或记录学习过程中发掘的乐趣。我的目前的一个小目标是学

Posted by [Zenith John] on Tuesday, October 29, 2024

语言学习经验总结（针对成年学习者）

总论语言的教材主要有两种可能的编排方式。一是以语法为中心（国内的教材大多倾向这种），二是以交际为中心（引进的教材大多是这种），建议两类教材各

Posted by [Zenith John] on Monday, May 6, 2024