我寫作不是為了懺悔，而是為了探索可言的界限。
The key to successful market design is anticipating how participants will behave under different rules.
健康的動物是健康食品鏈的基礎。
形式化方法的美在于它們能夠提供關于系統(tǒng)正確性的絕對確定性。
I like to be a free spirit. Some don’t like that, but that’s the way I am.