欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐教育
小 (→愿景) |
小 (→孩子) |
||
第87行: | 第87行: | ||
*校园版 | *校园版 | ||
− | == | + | ==儿童教育== |
+ | *[https://www.oppia.org Oppia交互式教育] [https://github.com/oppia/oppia Oppia @ GitHub] | ||
*[[Huihoo and Children]] | *[[Huihoo and Children]] | ||
*学校通过使用[https://www.playosmo.com/zh-cn/schools/ Osmo]来改变孩子们的合作能力,创造能力,判断性思维能力以及交流能力。 | *学校通过使用[https://www.playosmo.com/zh-cn/schools/ Osmo]来改变孩子们的合作能力,创造能力,判断性思维能力以及交流能力。 |
2017年12月13日 (三) 16:58的版本
灰狐教育
计算机编程从娃娃抓起,在学习中编程,在编程中学习。
目录 |
愿景
灰狐教育:编程语言和开源软件教育组织。
灰狐教育专注编程语言教育培训,我们相信语言的力量。未来有两大类人群:一类会编程的,一类不懂编程的 :)
全民教育、终身学习。
让每个人都享有平等教育的权利和机会,帮助每个人有尊严的工作和生活。
专注妇女、儿童的编程、数学、英语教育培训。
ps: 拒绝愚昧洗脑,拥抱先进文明。
路线图
- 将Squeak/Pharo用于编程学习、游戏动画、交互原型、创新平台的教学实验和集成开发环境,灰狐参与Squeak/Pharo的开发与推广。
- 将Racket用于编程语言设计,灰狐参与Racket的开发与推广。
- 选择Python开发,基于EdX的在线学习系统。
- 参考PHP开发,Mahara倡导终身教育也常被用于学校和高等教育,ePortfolio-based Learning 基于电子档案的学习。
- 参考Java开发,基于OpenOLAT和OLAT构建。
Code.org
相关服务
培训内容
Scratch
通过Scratch帮助孩子们学习编程,在学习中编程,在编程中学习。
孩子们可以利用它学习编程,与他人一起分享自己创作的互动式媒体作品如故事,游戏和动画。
ScratchEd 是一个Scratch教育工作者的在线社区。
Scratch Blocks is a fork of Google Blockly project
编程语言
Smalltalk/Squeak、Haskell 面向对象和函数式编程,两条腿走路。
儿童青少年编程从Scratch/JavaScript、PHP、Python开始。
Swift、JavaScript、C++ 主力开发语言,用于App、Web、System。
PHP、Python、JavaScript 是灰狐教育的三大Web语言,因为它们的普适性、易用、"简单“,适合孩子们从小学习。
自然语言
- 英语
- 日语
教育内容
灰狐教育关注以下领域:
自由软件
投身于自由软件不仅仅是对于知识,同时也包括授权:授权学习,授权修改,授权分享,以及授权使之能够被分享。争取信息时代的自由需要拒绝在自由软件核心原则上妥协,并且要有牺牲精神。很多人可能拒绝这些负担,他们只想获得更多的财富;而其他人却在努力增加人类知识的深度和广度。通过实现自由软件,我们能发现一种面向长期愿景的可持续性发展模式,不仅增加了知识,同时切实可行的的将这些知识自由地分享给所有人。这份崇高的事业以其无差别的关怀泽及我们每一个人;从现实到超现实,自由软件都被涉及。
在线教育
灰狐教育(Huihoo Edu)是一个开源的(Apache v2 or GNU AGPLv3) 在线学习和培训系统。
我们分发灰狐教育企业版、灰狐教育校园版,希望能更好的服务于企业和学校。
灰狐教育也将提供自由、开源软件的培训课程,帮助大家学习知识与能力提升。
解决方案
我们为企业和学校提供在线教育和培训解决方案:E3 learning
- 企业版
- 校园版
儿童教育
- Oppia交互式教育 Oppia @ GitHub
- Huihoo and Children
- 学校通过使用Osmo来改变孩子们的合作能力,创造能力,判断性思维能力以及交流能力。
游戏化
国际象棋
计算设备
- OLPC
- Arduino、Raspberry Pi
- CHIP - The World's First Nine Dollar Computer
- Super Compute Project
- Mac mini、iPad/Android平板、笔记本电脑