V2EX › mizuhashi 的所有回复 › 第 5 页 / 共 7 页

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

1 2 3 4 5 6 7

❮

❯

2022-07-18 20:10:51 +08:00

@yanng 这个只有你自己试了才知道，我个人的感觉是有雅思 7 分以上的帮助不大，因为他相对来说更相当于陪练，深度不够，以下就有帮助。

2022-07-16 07:18:23 +08:00

淘宝找菲律宾外教练口语，很实惠

2022-07-15 14:44:05 +08:00

rails 的关键是 scope 是一种代数，可以自由组合，一般的 query builder 没这功能。另外 rails 的路由是一个有限自动机，而不是别的那样一个正则列表遍历。

2022-06-30 15:23:29 +08:00

agda 的话可以，做法参考 42 楼，你需要构造一个 isTen 类型，然后穿参的时候提供一个这个类型的证明，如果你用 literal 来调用这个证明可以自动产生，但是别的运行时量证明需要你自己写

2022-05-21 05:19:49 +08:00

中国的基尼系数要看中南财大的，美国比中国高是不可能的

1 2 3 4 5 6 7

❮

❯