http://wiki.huihoo.com/wiki/?action=history&feed=atom&title=%E7%81%B0%E7%8B%90%E6%95%99%E8%82%B2 2026-05-14T03:56:14Z 本wiki的该页面的版本历史 MediaWiki 1.19.2 http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E6%95%99%E8%82%B2&diff=167498&oldid=prev 2025-03-19T13:31:47Z

<p>‎<span dir="auto"><span class="autocomment">形式化</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2025年3月19日 (三) 13:31的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第47行：</td> <td colspan="2" class="diff-lineno">第47行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==形式化==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==形式化==</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>软硬件[[Formal verification|形式化验证]]教育培训和服务是核心咨询内容，[[OCaml]]（[[Coq]]） &amp; [[Haskell]]（[[Agda]], [[Idris]]） 是核心语言和形式化能力。</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>软硬件[[Formal verification|形式化验证]]教育培训和服务是核心咨询内容，<ins class="diffchange diffchange-inline">[[Lisp]] ([[ACL2]]) &amp; </ins>[[OCaml]]（[[Coq]]） &amp; [[Haskell]]（[[Agda]], [[Idris]]） 是核心语言和形式化能力。</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://github.com/coq/coq/wiki/CoqInTheClassroom Coq In The Classroom]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://github.com/coq/coq/wiki/CoqInTheClassroom Coq In The Classroom]</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E6%95%99%E8%82%B2&diff=165721&oldid=prev 2022-09-20T04:13:42Z

<p>‎<span dir="auto"><span class="autocomment">LibreOffice</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2022年9月20日 (二) 04:13的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第74行：</td> <td colspan="2" class="diff-lineno">第74行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==LibreOffice==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==LibreOffice==</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[LibreOffice]] 不仅仅是自由开源的办公套件，也是生产力软件。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[LibreOffice]] 不仅仅是自由开源的办公套件，也是生产力软件。</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">==[[KDE]]==</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[https://edu.kde.org/ KDE Edu]</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==Scratch==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==Scratch==</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E6%95%99%E8%82%B2&diff=165471&oldid=prev 2022-08-30T08:03:13Z

<p>‎<span dir="auto"><span class="autocomment">Smalltalk</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2022年8月30日 (二) 08:03的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第92行：</td> <td colspan="2" class="diff-lineno">第92行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>其虚拟机机制，使其能够非常方便的创建各种教学环境和交互场景。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>其虚拟机机制，使其能够非常方便的创建各种教学环境和交互场景。</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[https://docs.huihoo.com/smalltalk/esug/ESUG2018/01-Monday/12-Teaching%20ICT%20trends%20in%20Pharo/ESUG18-CB.pdf Teaching ICT Trends with Pharo]</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://www.gnu.org/software/dr-geo/ GNU Dr.Geo] 设计和操作有约束的互动几何草图</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://www.gnu.org/software/dr-geo/ GNU Dr.Geo] 设计和操作有约束的互动几何草图</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E6%95%99%E8%82%B2&diff=165421&oldid=prev 2022-08-29T04:23:19Z

<p>‎<span dir="auto"><span class="autocomment">Smalltalk</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2022年8月29日 (一) 04:23的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第85行：</td> <td colspan="2" class="diff-lineno">第85行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==Smalltalk==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==Smalltalk==</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[[Smalltalk]] is the consummate teaching language</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[文件:Squeak.png]] [[文件:Pharo-logo.png]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[文件:Squeak.png]] [[文件:Pharo-logo.png]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[[Squeak]] <del class="diffchange diffchange-inline">&amp; </del>[[Pharo<del class="diffchange diffchange-inline">]] &amp; [[Smalltalk</del>]] 沉浸式，非常适合编程教育，有强大的集成和编程环境。</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[[Squeak]]<ins class="diffchange diffchange-inline">, </ins>[[Pharo]] 沉浸式，非常适合编程教育，有强大的集成和编程环境。</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>其虚拟机机制，使其能够非常方便的创建各种教学环境和交互场景。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>其虚拟机机制，使其能够非常方便的创建各种教学环境和交互场景。</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E6%95%99%E8%82%B2&diff=165413&oldid=prev 2022-08-28T14:38:27Z

<p>‎<span dir="auto"><span class="autocomment">Smalltalk</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2022年8月28日 (日) 14:38的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第88行：</td> <td colspan="2" class="diff-lineno">第88行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Squeak]] &amp; [[Pharo]] &amp; [[Smalltalk]] 沉浸式，非常适合编程教育，有强大的集成和编程环境。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Squeak]] &amp; [[Pharo]] &amp; [[Smalltalk]] 沉浸式，非常适合编程教育，有强大的集成和编程环境。</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">其虚拟机机制，使其能够非常方便的创建各种教学环境和交互场景。</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[https://www.gnu.org/software/dr-geo/ GNU Dr.Geo] 设计和操作有约束的互动几何草图</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==操作系统==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==操作系统==</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E6%95%99%E8%82%B2&diff=165412&oldid=prev 2022-08-28T14:24:37Z

<p>‎<span dir="auto"><span class="autocomment">Smalltalk</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2022年8月28日 (日) 14:24的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第85行：</td> <td colspan="2" class="diff-lineno">第85行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==Smalltalk==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==Smalltalk==</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[[文件:Squeak.png]] [[文件:Pharo-logo.png]]</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Squeak]] &amp; [[Pharo]] &amp; [[Smalltalk]] 沉浸式，非常适合编程教育，有强大的集成和编程环境。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Squeak]] &amp; [[Pharo]] &amp; [[Smalltalk]] 沉浸式，非常适合编程教育，有强大的集成和编程环境。</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E6%95%99%E8%82%B2&diff=165411&oldid=prev 2022-08-28T14:23:15Z

<p>‎<span dir="auto"><span class="autocomment">Pharo</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2022年8月28日 (日) 14:23的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第84行：</td> <td colspan="2" class="diff-lineno">第84行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://github.com/LLK/scratch-blocks Scratch Blocks] is a fork of [https://github.com/google/blockly Google Blockly project]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://github.com/LLK/scratch-blocks Scratch Blocks] is a fork of [https://github.com/google/blockly Google Blockly project]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>==<del class="diffchange diffchange-inline">Pharo</del>==</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>==<ins class="diffchange diffchange-inline">Smalltalk</ins>==</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[[<del class="diffchange diffchange-inline">Pharo</del>]] &amp; [[<del class="diffchange diffchange-inline">Smalltalk</del>]] <del class="diffchange diffchange-inline">非常适合编程教育，有强大的集成和编程环境。</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[[<ins class="diffchange diffchange-inline">Squeak</ins>]] &amp; [[<ins class="diffchange diffchange-inline">Pharo</ins>]] <ins class="diffchange diffchange-inline">&amp; </ins>[<ins class="diffchange diffchange-inline">[Smalltalk</ins>]<ins class="diffchange diffchange-inline">] 沉浸式，非常适合编程教育，有强大的集成和编程环境。</ins></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>&#160;</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[<del class="diffchange diffchange-inline">https://gtoolkit.com/ Glamorous Toolkit</del>] <del class="diffchange diffchange-inline">is implemented in Pharo, the pure object-oriented language.</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==操作系统==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==操作系统==</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E6%95%99%E8%82%B2&diff=165401&oldid=prev 2022-08-28T12:39:11Z

<p>‎<span dir="auto"><span class="autocomment">自由软件</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2022年8月28日 (日) 12:39的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第43行：</td> <td colspan="2" class="diff-lineno">第43行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>投身于自由软件不仅仅是对于知识，同时也包括授权：授权学习，授权修改，授权分享，以及授权使之能够被分享。争取信息时代的自由需要拒绝在自由软件核心原则上妥协，并且要有牺牲精神。很多人可能拒绝这些负担，他们只想获得更多的财富；而其他人却在努力增加人类知识的深度和广度。通过实现自由软件，我们能发现一种面向长期愿景的可持续性发展模式，不仅增加了知识，同时切实可行的的将这些知识自由地分享给所有人。这份崇高的事业以其无差别的关怀泽及我们每一个人；从现实到超现实，自由软件都被涉及。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>投身于自由软件不仅仅是对于知识，同时也包括授权：授权学习，授权修改，授权分享，以及授权使之能够被分享。争取信息时代的自由需要拒绝在自由软件核心原则上妥协，并且要有牺牲精神。很多人可能拒绝这些负担，他们只想获得更多的财富；而其他人却在努力增加人类知识的深度和广度。通过实现自由软件，我们能发现一种面向长期愿景的可持续性发展模式，不仅增加了知识，同时切实可行的的将这些知识自由地分享给所有人。这份崇高的事业以其无差别的关怀泽及我们每一个人；从现实到超现实，自由软件都被涉及。</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[https://directory.fsf.org/wiki/Category/Education 教育类自由软件]</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==形式化==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==形式化==</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E6%95%99%E8%82%B2&diff=165372&oldid=prev 2022-08-27T13:23:46Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2022年8月27日 (六) 13:23的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第34行：</td> <td colspan="2" class="diff-lineno">第34行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Lisp]] 是 STEM 教育的核心编程语言。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Lisp]] 是 STEM 教育的核心编程语言。</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">==自由软件==</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[https://www.gnu.org/education/education.html 自由软件与教育]</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[https://www.gnu.org/education/bigtech-threats-to-education-and-society.htm 科技巨头威胁整个社会和教育]</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[http://book.huihoo.com/free-software-free-society 自由软件，自由社会（第三版）]</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">投身于自由软件不仅仅是对于知识，同时也包括授权：授权学习，授权修改，授权分享，以及授权使之能够被分享。争取信息时代的自由需要拒绝在自由软件核心原则上妥协，并且要有牺牲精神。很多人可能拒绝这些负担，他们只想获得更多的财富；而其他人却在努力增加人类知识的深度和广度。通过实现自由软件，我们能发现一种面向长期愿景的可持续性发展模式，不仅增加了知识，同时切实可行的的将这些知识自由地分享给所有人。这份崇高的事业以其无差别的关怀泽及我们每一个人；从现实到超现实，自由软件都被涉及。</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==形式化==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==形式化==</div></td></tr> <tr><td colspan="2" class="diff-lineno">第133行：</td> <td colspan="2" class="diff-lineno">第142行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[[Unity|Unity3D]]、[[cocos2d-x]]、[[Unreal Engine|虚幻引擎]]：手游、游戏影视</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[[Unity|Unity3D]]、[[cocos2d-x]]、[[Unreal Engine|虚幻引擎]]：手游、游戏影视</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[[C Sharp|C#]]、[[C++]]：[[灰狗游戏|游戏编程]]、[[D3|灰狐D3]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[[C Sharp|C#]]、[[C++]]：[[灰狗游戏|游戏编程]]、[[D3|灰狐D3]]</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">==自由软件==</del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">[https://www.gnu.org/education/education.html 自由软件与教育]</del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">[http://book.huihoo.com/free-software-free-society 自由软件，自由社会（第三版）]</del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">投身于自由软件不仅仅是对于知识，同时也包括授权：授权学习，授权修改，授权分享，以及授权使之能够被分享。争取信息时代的自由需要拒绝在自由软件核心原则上妥协，并且要有牺牲精神。很多人可能拒绝这些负担，他们只想获得更多的财富；而其他人却在努力增加人类知识的深度和广度。通过实现自由软件，我们能发现一种面向长期愿景的可持续性发展模式，不仅增加了知识，同时切实可行的的将这些知识自由地分享给所有人。这份崇高的事业以其无差别的关怀泽及我们每一个人；从现实到超现实，自由软件都被涉及。</del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==在线教育==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==在线教育==</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E6%95%99%E8%82%B2&diff=165187&oldid=prev 2022-08-14T12:10:00Z

<p>‎<span dir="auto"><span class="autocomment">数学</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2022年8月14日 (日) 12:10的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第122行：</td> <td colspan="2" class="diff-lineno">第122行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==数学==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==数学==</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[[<del class="diffchange diffchange-inline">Mathematics|数学</del>]]<del class="diffchange diffchange-inline">是灰狐教育的核心领域，我们使用 [[Maxima]] 开源计算机代数系统（Computer Algebra System）和数值计算软件 [[GNU Octave]] 进行相关学习和教学。</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[[<ins class="diffchange diffchange-inline">文件:STEM-software.png</ins>]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">另外，</del>[[Scilab]] <del class="diffchange diffchange-inline">也是非常棒的开源科学计算软件，Scilab 具有矩阵运算、数值运算、信号处理、程序设计等功能, 目前已被广泛应用于教育、科研和工业。</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">[[Mathematics|数学]]是灰狐教育的核心领域，我们使用 [[Maxima]]、[[SageMath]] 和</ins>[[Scilab]]<ins class="diffchange diffchange-inline">、[[GNU Octave]] 进行相关学习和教学。</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==教育内容==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==教育内容==</div></td></tr> </table>

Allen