欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐教育
小 (→操作系统) |
小 (→LibreOffice) |
||
(未显示1个用户的45个中间版本) | |||
第6行: | 第6行: | ||
==愿景== | ==愿景== | ||
我们深信教育是最好的投资,大到国际社会,小到家庭个人。 | 我们深信教育是最好的投资,大到国际社会,小到家庭个人。 | ||
+ | |||
+ | [[science|科学]]通识、[[Mathematics|数学]]、[[Physics|物理学]]、化学是灰狐教育的核心内容。 | ||
灰狐教育倡导全民教育、终身学习。 | 灰狐教育倡导全民教育、终身学习。 | ||
第15行: | 第17行: | ||
ps: 拒绝愚昧洗脑,拥抱先进文明。 | ps: 拒绝愚昧洗脑,拥抱先进文明。 | ||
− | + | 灰狐教育也是一个自然语言、编程语言和开源软件教育组织。 | |
− | 灰狐教育专注[[Programming_language|编程语言]] | + | 灰狐教育专注[[Mathematics|数学]]、[[Physics|物理学]]、[[Programming_language|编程语言]]和人类语言教育培训,我们相信语言的力量。 |
− | + | 专注妇女、儿童的编程、数学、物理学、语言、英语教育培训。 | |
==路线图== | ==路线图== | ||
第27行: | 第29行: | ||
*参考[[PHP]]开发,[[Mahara]]倡导终身教育也常被用于学校和高等教育,ePortfolio-based Learning 基于电子档案的学习。 | *参考[[PHP]]开发,[[Mahara]]倡导终身教育也常被用于学校和高等教育,ePortfolio-based Learning 基于电子档案的学习。 | ||
*参考[[Java]]开发,基于[[OpenOLAT]]和[[OLAT]]构建。 | *参考[[Java]]开发,基于[[OpenOLAT]]和[[OLAT]]构建。 | ||
+ | |||
+ | ==STEM== | ||
+ | 灰狐 SETM 教育致力于提高年轻人和工程技术人员对 [[STEM]] 学科和职业的参与度和成就。 | ||
+ | |||
+ | [[Lisp]] 是 STEM 教育的核心编程语言。 | ||
+ | |||
+ | ==自由软件== | ||
+ | [https://www.gnu.org/education/education.html 自由软件与教育] | ||
+ | |||
+ | [https://www.gnu.org/education/bigtech-threats-to-education-and-society.htm 科技巨头威胁整个社会和教育] | ||
+ | |||
+ | [http://book.huihoo.com/free-software-free-society 自由软件,自由社会(第三版)] | ||
+ | |||
+ | 投身于自由软件不仅仅是对于知识,同时也包括授权:授权学习,授权修改,授权分享,以及授权使之能够被分享。争取信息时代的自由需要拒绝在自由软件核心原则上妥协,并且要有牺牲精神。很多人可能拒绝这些负担,他们只想获得更多的财富;而其他人却在努力增加人类知识的深度和广度。通过实现自由软件,我们能发现一种面向长期愿景的可持续性发展模式,不仅增加了知识,同时切实可行的的将这些知识自由地分享给所有人。这份崇高的事业以其无差别的关怀泽及我们每一个人;从现实到超现实,自由软件都被涉及。 | ||
+ | |||
+ | [https://directory.fsf.org/wiki/Category/Education 教育类自由软件] | ||
+ | |||
+ | ==形式化== | ||
+ | 软硬件[[Formal verification|形式化验证]]教育培训和服务是核心咨询内容,[[OCaml]]([[Coq]]) & [[Haskell]]([[Agda]], [[Idris]]) 是核心语言和形式化能力。 | ||
+ | |||
+ | [https://github.com/coq/coq/wiki/CoqInTheClassroom Coq In The Classroom] | ||
==Code.org== | ==Code.org== | ||
第48行: | 第71行: | ||
*MED(营销应用数据)'''营销'''推广、企业'''应用'''、'''数据'''科学培训,覆盖[[M3]], [[E3]], [[D3]]三个项目。 | *MED(营销应用数据)'''营销'''推广、企业'''应用'''、'''数据'''科学培训,覆盖[[M3]], [[E3]], [[D3]]三个项目。 | ||
*[[国际象棋]] | *[[国际象棋]] | ||
+ | |||
+ | ==LibreOffice== | ||
+ | [[LibreOffice]] 不仅仅是自由开源的办公套件,也是生产力软件。 | ||
+ | |||
+ | ==[[KDE]]== | ||
+ | [https://edu.kde.org/ KDE Edu] | ||
==Scratch== | ==Scratch== | ||
第58行: | 第87行: | ||
[https://github.com/LLK/scratch-blocks Scratch Blocks] is a fork of [https://github.com/google/blockly Google Blockly project] | [https://github.com/LLK/scratch-blocks Scratch Blocks] is a fork of [https://github.com/google/blockly Google Blockly project] | ||
− | == | + | ==Smalltalk== |
− | [[Squeak]] | + | [[Smalltalk]] is the consummate teaching language |
+ | |||
+ | [[文件:Squeak.png]] [[文件:Pharo-logo.png]] | ||
+ | |||
+ | [[Squeak]], [[Pharo]] 沉浸式,非常适合编程教育,有强大的集成和编程环境。 | ||
+ | |||
+ | 其虚拟机机制,使其能够非常方便的创建各种教学环境和交互场景。 | ||
+ | |||
+ | [https://docs.huihoo.com/smalltalk/esug/ESUG2018/01-Monday/12-Teaching%20ICT%20trends%20in%20Pharo/ESUG18-CB.pdf Teaching ICT Trends with Pharo] | ||
+ | |||
+ | [https://www.gnu.org/software/dr-geo/ GNU Dr.Geo] 设计和操作有约束的互动几何草图 | ||
==操作系统== | ==操作系统== | ||
+ | *[https://github.com/CosmosOS/Cosmos CosmosOS] 一个包含操作系统(BSD 3-Clause)的平台,From drivers to applications, it's all .NET,可分发这个操作系统并用于操作系统教育和语言培训。 | ||
*[https://sugarlabs.org/ Sugar Labs] Learning software for children | *[https://sugarlabs.org/ Sugar Labs] Learning software for children | ||
*[https://spins.fedoraproject.org/zh_CN/soas/ Sugar on a Stick(SOAS)]是一个基于[[Fedora]]的操作系统。 | *[https://spins.fedoraproject.org/zh_CN/soas/ Sugar on a Stick(SOAS)]是一个基于[[Fedora]]的操作系统。 | ||
第68行: | 第108行: | ||
==编程语言== | ==编程语言== | ||
+ | [[文件:Made-with-lisp.jpg|right|Lisp]] | ||
+ | [[文件:Erlang-90x90.gif|right|Erlang]] | ||
+ | [[文件:Cpp-logo.png|right|C++]] | ||
学习编程语言,要牢牢抓住语言的三个核心:语言规范、语言类型、语言运行时。 | 学习编程语言,要牢牢抓住语言的三个核心:语言规范、语言类型、语言运行时。 | ||
+ | |||
+ | [[Lisp]]、[[Erlang]]、[[C++]] 是主要编程语言。 | ||
+ | |||
+ | Functional Programming in [[Haskell]] | ||
+ | |||
+ | [https://github.com/kanaka/mal mal - Make a Lisp] 这个项目很重要。 | ||
+ | |||
+ | [https://github.com/wizardforcel/sicp-py-zh 《SICP Python 描述中文版》] | ||
[http://doublesvsoop.sourceforge.net/ PWCT-Programming Without Coding Technology] 这个项目蛮有意思,同时还开发了基于C语言PWCT开发的[https://sourceforge.net/projects/ring-lang/ Ring编程语言] | [http://doublesvsoop.sourceforge.net/ PWCT-Programming Without Coding Technology] 这个项目蛮有意思,同时还开发了基于C语言PWCT开发的[https://sourceforge.net/projects/ring-lang/ Ring编程语言] | ||
[[C Sharp|C#]]适合儿童编程,它标准、丰富、有趣,可以用来编写用户交互、桌面、游戏、App,你可想到的都可以尝试用C#编写。 | [[C Sharp|C#]]适合儿童编程,它标准、丰富、有趣,可以用来编写用户交互、桌面、游戏、App,你可想到的都可以尝试用C#编写。 | ||
+ | |||
+ | [https://github.com/daxnet/logo-sharp LogoSharp] 重回控制小海龟的美好童年,儿童编程从 Logo 开始。 | ||
我们也从[[Racket]]开启你的编程语言学习和研究之路。 | 我们也从[[Racket]]开启你的编程语言学习和研究之路。 | ||
第82行: | 第135行: | ||
适合所有年龄段孩子的个人计算机:[[OLPC]] + [[Squeak]] | 适合所有年龄段孩子的个人计算机:[[OLPC]] + [[Squeak]] | ||
− | [[ | + | [[PHP]]、[[Python]]、[[Ruby]] 是灰狐教育的三大Web语言,因为它们的普适性、易用、"简单“,适合孩子们从小学习。 |
− | [ | + | [https://github.com/QingdaoU/OnlineJudge OnlineJudge] 一个基于 [[Python]] 和 [[vue.js|Vue]] 的在线评测系统 |
==自然语言== | ==自然语言== | ||
*英语 | *英语 | ||
*日语 | *日语 | ||
+ | |||
+ | ==数学== | ||
+ | [[文件:STEM-software.png]] | ||
+ | |||
+ | [[Mathematics|数学]]是灰狐教育的核心领域,我们使用 [[Maxima]]、[[SageMath]] 和[[Scilab]]、[[GNU Octave]] 进行相关学习和教学。 | ||
==教育内容== | ==教育内容== | ||
第98行: | 第156行: | ||
*[[C Sharp|C#]]、[[C++]]:[[灰狗游戏|游戏编程]]、[[D3|灰狐D3]] | *[[C Sharp|C#]]、[[C++]]:[[灰狗游戏|游戏编程]]、[[D3|灰狐D3]] | ||
− | == | + | ==在线教育== |
− | [ | + | [[文件:Openeducat-logo.png|right|OpenEduCat]] |
− | + | 灰狐教育(Huihoo Edu)是一个开源的(Apache v2 and GNU LGPL v3) 在线学习和培训系统,基于 [[E3 learning]] 构建。 | |
− | + | ||
− | + | ||
− | 灰狐教育(Huihoo Edu)是一个开源的(Apache v2 | + | |
我们分发灰狐教育企业版、灰狐教育校园版,希望能更好的服务于企业和学校。 | 我们分发灰狐教育企业版、灰狐教育校园版,希望能更好的服务于企业和学校。 | ||
第120行: | 第175行: | ||
==儿童教育== | ==儿童教育== | ||
*[https://www.oppia.org Oppia交互式教育] [https://github.com/oppia/oppia Oppia @ GitHub] | *[https://www.oppia.org Oppia交互式教育] [https://github.com/oppia/oppia Oppia @ GitHub] | ||
+ | *[https://sugarlabs.org/ Sugar Labs] Learning software for children [https://activities.sugarlabs.org/ Add-ons] | ||
*[[Huihoo and Children]] | *[[Huihoo and Children]] | ||
*学校通过使用[https://www.playosmo.com/zh-cn/schools/ Osmo]来改变孩子们的合作能力,创造能力,判断性思维能力以及交流能力。 | *学校通过使用[https://www.playosmo.com/zh-cn/schools/ Osmo]来改变孩子们的合作能力,创造能力,判断性思维能力以及交流能力。 | ||
*帮助偏远、落后的贫困山区儿童的公益教育。 | *帮助偏远、落后的贫困山区儿童的公益教育。 | ||
+ | *[http://appinventor.mit.edu/ MIT App Inventor] | ||
+ | |||
+ | ==儿童编程== | ||
+ | DevOps[[Huihoo and Children|Kids]] | ||
+ | |||
+ | [https://docs.python.org/zh-cn/3/library/turtle.html 海龟绘图很适合用来引导孩子学习编程] | ||
+ | |||
+ | 学习Python、摆弄Linux、从小立志做个改变世界的程序员。 | ||
==游戏化== | ==游戏化== | ||
第155行: | 第219行: | ||
[[category:huihoo]] | [[category:huihoo]] | ||
[[category:e-learning]] | [[category:e-learning]] | ||
+ | [[category:mathematics]] | ||
+ | [[category:physics]] | ||
+ | [[category:science]] | ||
[[category:edX]] | [[category:edX]] | ||
− | |||
[[category:scratch]] | [[category:scratch]] | ||
[[category:squeak]] | [[category:squeak]] | ||
− | [[category: | + | [[category:c++]] |
− | [[category: | + | [[category:lisp]] |
− | + |
2022年9月20日 (二) 04:13的最后版本
灰狐教育
计算机编程从娃娃抓起,在学习中编程,在编程中学习。
目录 |
[编辑] 愿景
我们深信教育是最好的投资,大到国际社会,小到家庭个人。
灰狐教育倡导全民教育、终身学习。
让每个人都享有平等教育的权利和机会,帮助每个人有尊严的工作和生活。
将全球优秀的教育资源搬上网,让国内的孩子都能学习到先进的知识和理念。
ps: 拒绝愚昧洗脑,拥抱先进文明。
灰狐教育也是一个自然语言、编程语言和开源软件教育组织。
灰狐教育专注数学、物理学、编程语言和人类语言教育培训,我们相信语言的力量。
专注妇女、儿童的编程、数学、物理学、语言、英语教育培训。
[编辑] 路线图
- 将Squeak/Pharo用于编程学习、游戏动画、交互原型、创新平台的教学实验和集成开发环境,灰狐参与Squeak/Pharo的开发与推广。
- 将Racket用于编程语言设计,灰狐参与Racket的开发与推广。
- 选择Python开发,基于EdX的在线学习系统。
- 参考PHP开发,Mahara倡导终身教育也常被用于学校和高等教育,ePortfolio-based Learning 基于电子档案的学习。
- 参考Java开发,基于OpenOLAT和OLAT构建。
[编辑] STEM
灰狐 SETM 教育致力于提高年轻人和工程技术人员对 STEM 学科和职业的参与度和成就。
Lisp 是 STEM 教育的核心编程语言。
[编辑] 自由软件
投身于自由软件不仅仅是对于知识,同时也包括授权:授权学习,授权修改,授权分享,以及授权使之能够被分享。争取信息时代的自由需要拒绝在自由软件核心原则上妥协,并且要有牺牲精神。很多人可能拒绝这些负担,他们只想获得更多的财富;而其他人却在努力增加人类知识的深度和广度。通过实现自由软件,我们能发现一种面向长期愿景的可持续性发展模式,不仅增加了知识,同时切实可行的的将这些知识自由地分享给所有人。这份崇高的事业以其无差别的关怀泽及我们每一个人;从现实到超现实,自由软件都被涉及。
[编辑] 形式化
软硬件形式化验证教育培训和服务是核心咨询内容,OCaml(Coq) & Haskell(Agda, Idris) 是核心语言和形式化能力。
[编辑] Code.org
[编辑] freeCodeCamp
freeCodeCamp像打魔兽一样学编程!
freeCodeCamp 已经被证明是获取编程工作的最有效路径,事实上,没人完成了所有课程,因为他们都在完成之前就找到了工作。
[编辑] 相关服务
[编辑] 培训内容
- C#/F#:简单、现代、通用,面向对象和函数式编程语言,可开发Desktop、App、Web、Server等各种形式的应用和服务,其设计的严谨和规范化适合各个层次的编程语言教学。
- MED(营销应用数据)营销推广、企业应用、数据科学培训,覆盖M3, E3, D3三个项目。
- 国际象棋
[编辑] LibreOffice
LibreOffice 不仅仅是自由开源的办公套件,也是生产力软件。
[编辑] KDE
[编辑] Scratch
通过Scratch帮助孩子们学习编程,在学习中编程,在编程中学习。
孩子们可以利用它学习编程,与他人一起分享自己创作的互动式媒体作品如故事,游戏和动画。
ScratchEd 是一个Scratch教育工作者的在线社区。
Scratch Blocks is a fork of Google Blockly project
[编辑] Smalltalk
Smalltalk is the consummate teaching language
Squeak, Pharo 沉浸式,非常适合编程教育,有强大的集成和编程环境。
其虚拟机机制,使其能够非常方便的创建各种教学环境和交互场景。
Teaching ICT Trends with Pharo
GNU Dr.Geo 设计和操作有约束的互动几何草图
[编辑] 操作系统
- CosmosOS 一个包含操作系统(BSD 3-Clause)的平台,From drivers to applications, it's all .NET,可分发这个操作系统并用于操作系统教育和语言培训。
- Sugar Labs Learning software for children
- Sugar on a Stick(SOAS)是一个基于Fedora的操作系统。
Debian Edu / Skolelinux Stretch — a complete Linux solution for your school
[编辑] 编程语言
学习编程语言,要牢牢抓住语言的三个核心:语言规范、语言类型、语言运行时。
Functional Programming in Haskell
mal - Make a Lisp 这个项目很重要。
PWCT-Programming Without Coding Technology 这个项目蛮有意思,同时还开发了基于C语言PWCT开发的Ring编程语言
C#适合儿童编程,它标准、丰富、有趣,可以用来编写用户交互、桌面、游戏、App,你可想到的都可以尝试用C#编写。
LogoSharp 重回控制小海龟的美好童年,儿童编程从 Logo 开始。
我们也从Racket开启你的编程语言学习和研究之路。
Smalltalk/Squeak、Haskell 面向对象和函数式编程,两条腿走路。
儿童青少年编程从Scratch/JavaScript、PHP、Python开始。
PHP、Python、Ruby 是灰狐教育的三大Web语言,因为它们的普适性、易用、"简单“,适合孩子们从小学习。
OnlineJudge 一个基于 Python 和 Vue 的在线评测系统
[编辑] 自然语言
- 英语
- 日语
[编辑] 数学
数学是灰狐教育的核心领域,我们使用 Maxima、SageMath 和Scilab、GNU Octave 进行相关学习和教学。
[编辑] 教育内容
灰狐教育关注以下领域:
[编辑] 在线教育
灰狐教育(Huihoo Edu)是一个开源的(Apache v2 and GNU LGPL v3) 在线学习和培训系统,基于 E3 learning 构建。
我们分发灰狐教育企业版、灰狐教育校园版,希望能更好的服务于企业和学校。
灰狐教育也将提供自由、开源软件的培训课程,帮助大家学习知识与能力提升。
[编辑] 开放大学
开放大学是我们的一个理想。
[编辑] 解决方案
我们为企业和学校提供在线教育和培训解决方案:E3 learning
- 企业版
- 校园版
[编辑] 儿童教育
- Oppia交互式教育 Oppia @ GitHub
- Sugar Labs Learning software for children Add-ons
- Huihoo and Children
- 学校通过使用Osmo来改变孩子们的合作能力,创造能力,判断性思维能力以及交流能力。
- 帮助偏远、落后的贫困山区儿童的公益教育。
- MIT App Inventor
[编辑] 儿童编程
DevOpsKids
学习Python、摆弄Linux、从小立志做个改变世界的程序员。
[编辑] 游戏化
[编辑] 国际象棋
[编辑] 计算设备
- OLPC
- Arduino、Raspberry Pi
- CHIP - The World's First Nine Dollar Computer
- Super Compute Project
- Mac mini、iPad/Android平板、笔记本电脑