最重要的是对自己所做的事感到快乐。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

如果你想成功，你必须对你生活中经历的一切承担100%的责任。

建筑是一种象征，建造行为也是。建筑是人类创造的最沉重、最永久的事物之一，它们是通过巨大的努力和牺牲而建成的。

人は、自分が幸せになるために、他人を不幸にする。