http://wiki.huihoo.com/wiki/?action=history&feed=atom&title=%E7%81%B0%E7%8B%90%E4%BC%9A%E5%91%98 2026-05-14T13:06:55Z 本wiki的该页面的版本历史 MediaWiki 1.19.2 http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E4%BC%9A%E5%91%98&diff=167566&oldid=prev 2025-05-06T08:42:42Z

<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年5月6日 (二) 08:42的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第25行：</td> <td colspan="2" class="diff-lineno">第25行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*3、定理证明、[[formal verification|形式化验证]]、[[Coq]]、[[ACL2]]；</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*3、定理证明、[[formal verification|形式化验证]]、[[Coq]]、[[ACL2]]；</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*4、[[MATLAB]]、[[GNU Octave]]、[[Scilab]]、科学计算、[[Numerical analysis|数值分析]]；</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*4、[[MATLAB]]、[[GNU Octave]]、[[Scilab]]、科学计算、[[Numerical analysis|数值分析]]；</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>*<del class="diffchange diffchange-inline">5、建模仿真、Eclipse模型项目、</del>[[<del class="diffchange diffchange-inline">GAMA</del>]]、[[<del class="diffchange diffchange-inline">OpenModelica</del>]]；</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>*<ins class="diffchange diffchange-inline">5、</ins>[[<ins class="diffchange diffchange-inline">Simulation|建模仿真</ins>]]、[[<ins class="diffchange diffchange-inline">Eclipse#.E5.9B.BE.E5.BD.A2.E6.A8.A1.E5.9E.8B.E4.BB.BF.E7.9C.9F|Eclipse模型项目]]、[https://github.com/gama-platform GAMA] [[Modelica</ins>]]；</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*6、[[software testing|软件测试]]、研发管理、[[DevOps]]；</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*6、[[software testing|软件测试]]、研发管理、[[DevOps]]；</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*7、[[data science|数据科学]]、[[machine learning|机器学习]]、[[data visualization|数据可视化]]；</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*7、[[data science|数据科学]]、[[machine learning|机器学习]]、[[data visualization|数据可视化]]；</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E4%BC%9A%E5%91%98&diff=167565&oldid=prev 2025-05-06T08:38:08Z

<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年5月6日 (二) 08:38的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第22行：</td> <td colspan="2" class="diff-lineno">第22行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>灰狐的数学物理学星球，跟踪[[mathematics|数学]]、[[physics|物理学]]、[[science|科学]]计算的研究前沿，关注以下主题：</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>灰狐的数学物理学星球，跟踪[[mathematics|数学]]、[[physics|物理学]]、[[science|科学]]计算的研究前沿，关注以下主题：</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*1、开源自由软件选型和技术支持服务；</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*1、开源自由软件选型和技术支持服务；</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>*2、[[programming language|编程语言]]、[[compiler|编译器]][[Virtualization|虚拟机]]、[[computer science|计算机科学]]；</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>*2、[[programming language|编程语言]]、[[compiler|编译器]][[Virtualization|虚拟机<ins class="diffchange diffchange-inline">]]、[[security|安全]]/[[Cryptography|密码学]]/[[Identity management|IAM</ins>]]、[[computer science|计算机科学]]；</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*3、定理证明、[[formal verification|形式化验证]]、[[Coq]]、[[ACL2]]；</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*3、定理证明、[[formal verification|形式化验证]]、[[Coq]]、[[ACL2]]；</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*4、[[MATLAB]]、[[GNU Octave]]、[[Scilab]]、科学计算、[[Numerical analysis|数值分析]]；</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*4、[[MATLAB]]、[[GNU Octave]]、[[Scilab]]、科学计算、[[Numerical analysis|数值分析]]；</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>*<del class="diffchange diffchange-inline">5、</del>[[software testing|软件测试]]、研发管理、[[DevOps]]；</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>*<ins class="diffchange diffchange-inline">5、建模仿真、Eclipse模型项目、[[GAMA]]、[[OpenModelica]]；</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">6、</del>[[data science|数据科学]]、[[machine learning|机器学习]]、[[data visualization|数据可视化]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">*6、</ins>[[software testing|软件测试]]、研发管理、[[DevOps]]；</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>*<del class="diffchange diffchange-inline">7、</del>[[认知科学]]、数理逻辑、能力提升；</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>*<ins class="diffchange diffchange-inline">7、</ins>[[data science|数据科学]]、[[machine learning|机器学习]]、[[data visualization|数据可视化]]<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>*<del class="diffchange diffchange-inline">8、</del>[[science|科学]]、技术、工程、[[mathematics|数学]]<del class="diffchange diffchange-inline">（STEM）</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>*<ins class="diffchange diffchange-inline">8、</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 class="diffchange diffchange-inline">9、[[CMS and Portal|内容电商]]、[[Orchard]]、[[Drupal]]、[[WordPress]]；</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 class="diffchange diffchange-inline">*10、3C([[c programming language|C]]/[[C++]]/[[C Sharp|C#]])程序员养成计划，长期技术路线；</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 class="diffchange diffchange-inline">*11、</ins>[[science|科学]]、技术、工程、[[mathematics|数学]]<ins class="diffchange diffchange-inline">（STEM）；</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">免费星球：GitHub精选，我们交流分享开源的一切！</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">免费星球：开源自由星球，我们交流分享开源的一切！</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%E4%BC%9A%E5%91%98&diff=167507&oldid=prev 2025-03-23T23:56:02Z

<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月23日 (日) 23:56的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第33行：</td> <td colspan="2" class="diff-lineno">第33行：</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>2022-<del class="diffchange diffchange-inline">2025</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>2022-<ins class="diffchange diffchange-inline">2028</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>专注 [[mathematics|数学]]、[[physics|物理学]]、[[computer science|<del class="diffchange diffchange-inline">计算机科学</del>]]<del class="diffchange diffchange-inline">的学习、交流与分享。</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>专注 [[mathematics|数学]]、[[physics|物理学]]、[[computer science|<ins class="diffchange diffchange-inline">科学</ins>]]<ins class="diffchange diffchange-inline">计算的学习、交流与分享。</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>[[文件:ACL2-logo-small.png]] [[文件:Coq-logo.png]] [[文件:STEM-software.png]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[文件:ACL2-logo-small.png]] [[文件:Coq-logo.png]] [[文件:STEM-software.png]]</div></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;"><div>[[文件:Fortran-logo.png|Fortran]] [[文件:Made-with-lisp.jpg|LISP]] [[文件:Erlang-logo.png]] [[文件:cpp-logo.png|C++]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[文件:Fortran-logo.png|Fortran]] [[文件:Made-with-lisp.jpg|LISP]] [[文件:Erlang-logo.png]] [[文件:cpp-logo.png|C++]]</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>以 [[Fortran]], [[Lisp]], [[<del class="diffchange diffchange-inline">Haskell</del>]]<del class="diffchange diffchange-inline">, </del>[[C++]] 为编程教育的核心语言。</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>以 [[Fortran]], [[Lisp]], [[<ins class="diffchange diffchange-inline">c programming language|C</ins>]]<ins class="diffchange diffchange-inline">/</ins>[[C++]] 为编程教育的核心语言。</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>灰狐会员权益2019-2022版：</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>灰狐会员权益2019-2022版：</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E4%BC%9A%E5%91%98&diff=167506&oldid=prev 2025-03-23T23:53:46Z

<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月23日 (日) 23:53的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第24行：</td> <td colspan="2" class="diff-lineno">第24行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*2、[[programming language|编程语言]]、[[compiler|编译器]][[Virtualization|虚拟机]]、[[computer science|计算机科学]]；</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*2、[[programming language|编程语言]]、[[compiler|编译器]][[Virtualization|虚拟机]]、[[computer science|计算机科学]]；</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*3、定理证明、[[formal verification|形式化验证]]、[[Coq]]、[[ACL2]]；</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*3、定理证明、[[formal verification|形式化验证]]、[[Coq]]、[[ACL2]]；</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>*4、[[MATLAB]]、[[GNU Octave]]、[[Scilab]]、科学计算、[[Numerical analysis|<del class="diffchange diffchange-inline">数值计算</del>]]；</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>*4、[[MATLAB]]、[[GNU Octave]]、[[Scilab]]、科学计算、[[Numerical analysis|<ins class="diffchange diffchange-inline">数值分析</ins>]]；</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*5、[[software testing|软件测试]]、研发管理、[[DevOps]]；</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*5、[[software testing|软件测试]]、研发管理、[[DevOps]]；</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*6、[[data science|数据科学]]、[[machine learning|机器学习]]、[[data visualization|数据可视化]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*6、[[data science|数据科学]]、[[machine learning|机器学习]]、[[data visualization|数据可视化]]</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E4%BC%9A%E5%91%98&diff=167505&oldid=prev 2025-03-23T23:53:13Z

<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月23日 (日) 23:53的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第20行：</td> <td colspan="2" class="diff-lineno">第20行：</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>灰狐的数学物理学星球，跟踪[[mathematics|数学]]、[[physics|物理学]]、[[science|科学]]<del class="diffchange diffchange-inline">的研究前沿，关注以下主题：</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>灰狐的数学物理学星球，跟踪[[mathematics|数学]]、[[physics|物理学]]、[[science|科学]]<ins class="diffchange diffchange-inline">计算的研究前沿，关注以下主题：</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*1、开源自由软件选型和技术支持服务；</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*1、开源自由软件选型和技术支持服务；</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*2、[[programming language|编程语言]]、[[compiler|编译器]][[Virtualization|虚拟机]]、[[computer science|计算机科学]]；</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*2、[[programming language|编程语言]]、[[compiler|编译器]][[Virtualization|虚拟机]]、[[computer science|计算机科学]]；</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>*<del class="diffchange diffchange-inline">3、</del>[[<del class="diffchange diffchange-inline">software testing</del>|<del class="diffchange diffchange-inline">软件测试</del>]]<del class="diffchange diffchange-inline">、研发管理、</del>[[<del class="diffchange diffchange-inline">DevOps</del>]]；</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>*<ins class="diffchange diffchange-inline">3、定理证明、</ins>[[<ins class="diffchange diffchange-inline">formal verification</ins>|<ins class="diffchange diffchange-inline">形式化验证</ins>]]<ins class="diffchange diffchange-inline">、</ins>[[<ins class="diffchange diffchange-inline">Coq]]、[[ACL2</ins>]]；</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>*4、[[<del class="diffchange diffchange-inline">data science|数据科学</del>]]、[[<del class="diffchange diffchange-inline">machine learning|机器学习</del>]]、[[<del class="diffchange diffchange-inline">data visualization|数据可视化</del>]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>*4、[[<ins class="diffchange diffchange-inline">MATLAB</ins>]]、[[<ins class="diffchange diffchange-inline">GNU Octave</ins>]]、[[<ins class="diffchange diffchange-inline">Scilab</ins>]]<ins class="diffchange diffchange-inline">、科学计算、</ins>[[<ins class="diffchange diffchange-inline">Numerical analysis|数值计算</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><del class="diffchange diffchange-inline">*5、</del>[[<del class="diffchange diffchange-inline">认知科学</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">5、</ins>[[<ins class="diffchange diffchange-inline">software testing</ins>|<ins class="diffchange diffchange-inline">软件测试</ins>]]<ins class="diffchange diffchange-inline">、研发管理、</ins>[[<ins class="diffchange diffchange-inline">DevOps</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">6、定理证明、</del>[[<del class="diffchange diffchange-inline">formal verification</del>|<del class="diffchange diffchange-inline">形式化验证</del>]]<del class="diffchange diffchange-inline">、</del>[[<del class="diffchange diffchange-inline">Coq</del>]]；</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>*<ins class="diffchange diffchange-inline">6、</ins>[[<ins class="diffchange diffchange-inline">data science|数据科学</ins>]]、[[<ins class="diffchange diffchange-inline">machine learning|机器学习</ins>]]<ins class="diffchange diffchange-inline">、</ins>[[<ins class="diffchange diffchange-inline">data visualization</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>*<del class="diffchange diffchange-inline">7、</del>[[<del class="diffchange diffchange-inline">Fortran</del>]]、[[<del class="diffchange diffchange-inline">C++</del>]]<del class="diffchange diffchange-inline">、科学计算、</del>[[<del class="diffchange diffchange-inline">Numerical analysis</del>|<del class="diffchange diffchange-inline">数值计算</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">*7、[[认知科学]]、数理逻辑、能力提升；</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*8、[[science|科学]]、技术、工程、[[mathematics|数学]]（STEM）</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*8、[[science|科学]]、技术、工程、[[mathematics|数学]]（STEM）</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%E4%BC%9A%E5%91%98&diff=167272&oldid=prev 2025-01-18T02:41:02Z

<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;">2025年1月18日 (六) 02:41的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第1行：</td> <td colspan="2" class="diff-lineno">第1行：</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'>&#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></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">灰狐的朋友们，感谢你们</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%E4%BC%9A%E5%91%98&diff=167203&oldid=prev 2024-12-18T02:45:41Z

<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;">2024年12月18日 (三) 02:45的版本</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;"><div>[[文件:Fortran-logo.png|Fortran]] [[文件:Made-with-lisp.jpg|LISP]] [[文件:Erlang-logo.png]] [[文件:cpp-logo.png|C++]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[文件:Fortran-logo.png|Fortran]] [[文件:Made-with-lisp.jpg|LISP]] [[文件:Erlang-logo.png]] [[文件:cpp-logo.png|C++]]</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>以 [[Fortran]], [[Lisp]], [[<del class="diffchange diffchange-inline">Erlang</del>]], [[C++]] 为编程教育的核心语言。</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>以 [[Fortran]], [[Lisp]], [[<ins class="diffchange diffchange-inline">Haskell</ins>]], [[C++]] 为编程教育的核心语言。</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>灰狐会员权益2019-2022版：</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>灰狐会员权益2019-2022版：</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E4%BC%9A%E5%91%98&diff=167202&oldid=prev 2024-12-18T02:44:35Z

<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;">2024年12月18日 (三) 02:44的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第95行：</td> <td colspan="2" class="diff-lineno">第95行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[文件:Haskell-logo.png|right|Haskell]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[文件:Haskell-logo.png|right|Haskell]]</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>我们关注、使用、实践 [[Lisp]]、[[C++]]、[[Haskell]] 等编程语言，邀请和大家一起交流学习、共同成长。</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>我们关注、使用、实践 <ins class="diffchange diffchange-inline">[[Fortran]]、</ins>[[Lisp]]、[[C++]]、[[Haskell]] 等编程语言，邀请和大家一起交流学习、共同成长。</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/wimvanderbauwhede/HaskellMOOC Functional Programming] in [[Haskell]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://github.com/wimvanderbauwhede/HaskellMOOC Functional Programming] in [[Haskell]]</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E4%BC%9A%E5%91%98&diff=167187&oldid=prev 2024-12-03T14:09:49Z

<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;">2024年12月3日 (二) 14:09的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第1行：</td> <td colspan="2" class="diff-lineno">第1行：</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><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">灰狐会员服务</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>&#160;</div></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'>&#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%E4%BC%9A%E5%91%98&diff=167186&oldid=prev 2024-12-03T14:09:16Z

<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;">2024年12月3日 (二) 14:09的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第1行：</td> <td colspan="2" class="diff-lineno">第1行：</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><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">灰狐会员，数学物理哲学计算科学星球，灰狐会员服务</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 class="diffchange diffchange-inline">会员们，感谢你们</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 class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><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">灰数学物理哲学计算科学星球，灰狐会员服务</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