I'm not a god, I'm a human being. I'm just like you.
心神应该保持平静稳定,骨力应该保持活动锻炼,胸怀应该保持宽广豁达,筋骨应该保持坚强硬朗,脊梁应该保持端正平直,肠胃应该保持素淡洁净,舌端应该保持谨慎寡言,脚跟应该保持坚定不移,耳目应该保持聪明朗洁,精神应该保持正直无邪。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
如果知识会造成问题,那么即使透过无知,我们也无法解决这些问题。
如果我们照顾好海洋,海洋也会照顾好我们。
"I’m a very calm person. That helps me in tennis and in life."