欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OLPC
来自开放百科 - 灰狐
关于每个孩子一台笔记本电脑
它是是一个教育项目，而不是一个笔记本项目。
－－尼古拉斯·尼葛洛庞帝
这个非盈利联合体的使命是开发一个低成本的笔记本－"100美金的笔记本“－一项革命性教育全世界儿童的技术。我们的目标是给全世界的孩子提供全新的机会，让他们探索，体验以及展示他们自己的非凡才能。
为什么发展中国家的孩子需要笔记本电脑呢？笔记本电脑是一个窗口，同时也是一件工具；一个打开世界的窗口，一件用于思考的工具。对于所有孩子它们是一种神奇的方式，通过独立的交互和探索来掌握学习的本领。
OLPC赞成五种核心准则：(1)儿童权力；(2)低龄；(3)饱和度；(4)联系性；(5)免费和开源。
Links
分享您的观点
