写作就是抵抗;创造就是对抗遗忘。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
The biggest risk is not taking any risk.
做你自己,因为别人已经有人做了。
合作是关键——没有任何一个组织能够单独解决海洋渔业面临的挑战。
我不是理论家。我不是知识分子。我写剧本。