欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
GNU
来自开放百科 - 灰狐
(版本间的差异)
第1行: | 第1行: | ||
[[Image:Gnu.jpg|right]] | [[Image:Gnu.jpg|right]] | ||
+ | |||
+ | GNU 操作系统 - 自由软件基金会(FSF) | ||
+ | |||
+ | [http://www.gnu.org/gnu/the-gnu-project.html GNU 工程] 开始于一九八四年,旨在发展一个类似 Unix ,且为 [http://www.gnu.org/philosophy/free-sw.html 自由软件] 的完整操作系统: GNU 系统。(GNU 是由“GNU's Not Unix”所递回定义出的首字母缩写语;它的发音为“guh-NEW”)。各种使用 Linux 作为内核的 GNU 操作系统正被广泛地使用著;虽然这些系统通常被称作为“Linux”,但是它们应该更精确地被称为 [http://www.gnu.org/gnu/linux-and-gnu.html GNU/Linux 系统] 。 | ||
+ | |||
+ | 这里同样也是自由软件基金会的网站(FSF)。 FSF 是 GNU 工程的主要赞助组织。 FSF 只由公司或作出转让的基金会处收到很少的资金。我们依赖来自於像您这样,支持 FSF 保存、保护以及促进「使用、研究、复制、修改和重新散布电脑软件」,并且保卫著自由软件使用者的权利的任务的个人的支持。去年,我们的运作资金超过百分之六十七来自於个人的捐赠。持续进行的支持是我们可以继续我们的工作的主要方式。 |
2006年7月17日 (一) 13:59的版本
GNU 操作系统 - 自由软件基金会(FSF)
GNU 工程 开始于一九八四年,旨在发展一个类似 Unix ,且为 自由软件 的完整操作系统: GNU 系统。(GNU 是由“GNU's Not Unix”所递回定义出的首字母缩写语;它的发音为“guh-NEW”)。各种使用 Linux 作为内核的 GNU 操作系统正被广泛地使用著;虽然这些系统通常被称作为“Linux”,但是它们应该更精确地被称为 GNU/Linux 系统 。
这里同样也是自由软件基金会的网站(FSF)。 FSF 是 GNU 工程的主要赞助组织。 FSF 只由公司或作出转让的基金会处收到很少的资金。我们依赖来自於像您这样,支持 FSF 保存、保护以及促进「使用、研究、复制、修改和重新散布电脑软件」,并且保卫著自由软件使用者的权利的任务的个人的支持。去年,我们的运作资金超过百分之六十七来自於个人的捐赠。持续进行的支持是我们可以继续我们的工作的主要方式。
分享您的观点