"Literature is the mirror of society."
The essential thing is not to have conquered but to have fought well.
The future of computing lies in the development of systems that can verify their own correctness.
书籍是最安静、最恒久的朋友;它们是最易接近、最睿智的顾问,也是最耐心的老师。