欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
用户:Cocia Lin
来自开放百科 - 灰狐
（版本间的差异）
小 |
小 |
||
| （未显示1个用户的1个中间版本） | |||
| 第6行： | 第6行： | ||
Go,Gump,go! | Go,Gump,go! | ||
| − | |||
技术方向：中间软件开发与实现，集成与应用。 | 技术方向：中间软件开发与实现，集成与应用。 | ||
| + | |||
| + | [[category:huihoo]] | ||
2015年6月30日 (二) 03:35的最后版本
一个关于奔跑的故事
静谧的非洲大草原上，夕阳西下，这时，一头狮子在沉思，明天当太阳升起，我要奔跑，以追上跑得最快的羚羊；此时，一只羚羊也在沉思，明天当太阳升起，我要奔跑，以逃脱跑得最快的狮子。故事那么，无论你是狮子或是羚羊，当太阳升起，你要做的，就是奔跑。
也许是巧合，我在高二时的一篇考试作文刚好引用了这段话。
Go,Gump,go!
技术方向：中间软件开发与实现，集成与应用。
分享您的观点
