http://wiki.huihoo.com/wiki/?action=history&feed=atom&title=%E7%81%B0%E7%8B%90%E5%92%A8%E8%AF%A2 2026-05-14T07:48:04Z 本wiki的该页面的版本历史 MediaWiki 1.19.2 http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E5%92%A8%E8%AF%A2&diff=167524&oldid=prev 2025-04-05T03:07:03Z

<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年4月5日 (六) 03:07的版本</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>2025-<del class="diffchange diffchange-inline">2035，建模、仿真、优化、预测</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>2025-<ins class="diffchange diffchange-inline">2035</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 colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">* 3C([c programming language|C]]/[[C++]]/[[C Sharp|C#]])程序员养成计划，一个长期的技术路线</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%E5%92%A8%E8%AF%A2&diff=167523&oldid=prev 2025-04-05T03:04:40Z

<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年4月5日 (六) 03:04的版本</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 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;">2025-2035，建模、仿真、优化、预测</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>提供开源技术和管理解决方案和咨询服务，做你身边的技术管理顾问。</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%E5%92%A8%E8%AF%A2&diff=166710&oldid=prev 2023-05-12T05:25:48Z

<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;">2023年5月12日 (五) 05:25的版本</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>提供开源技术和管理解决方案和咨询服务，做你身边的技术管理顾问。</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>1、形式化语义、形式化验证、程序员的数学</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">*</ins>1、形式化语义、形式化验证、程序员的数学</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">2、编程语言和编译器虚拟机，C/C++是核心语言</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">*2、编程语言和编译器虚拟机</ins></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>3、软件测试、研发管理、DevOps</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">*</ins>3、软件测试、研发管理、DevOps</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>4、与合作伙伴一起策划和组建开放的创新实验室</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">*</ins>4、与合作伙伴一起策划和组建开放的创新实验室</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>1+2 技术，3+4 管理</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>1+2 技术，3+4 管理</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E5%92%A8%E8%AF%A2&diff=166709&oldid=prev 2023-05-12T05:24:38Z

<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;">2023年5月12日 (五) 05:24的版本</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><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'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">*1、形式化验证、程序员的数学；</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">1、形式化语义、形式化验证、程序员的数学</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">*2、职业规划、职场建议、斜杠人生；</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">2、编程语言和编译器虚拟机，C/C++是核心语言</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">*3、开源软件选型和支持服务；</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">3、软件测试、研发管理、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">*4、编程语言和编译器虚拟机（核心领域）</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">4、与合作伙伴一起策划和组建开放的创新实验室</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></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">*6、写作、自媒体、咨询师；</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'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">*7、软件测试、研发管理、DevOps；</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'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">*8、ERP、企业应用、电子商务运营；</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'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">*9、认知科学、逻辑哲学和能力提升；</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'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">*10、科学、技术、工程、数学（STEM）</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'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">[https://forge.huihoo.com/news/643 对数据库、存储、数据安全外包业务的一些思考]</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">1+2 技术，3+4 管理</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%E5%92%A8%E8%AF%A2&diff=166708&oldid=prev 2023-05-12T04:03:38Z

<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;">2023年5月12日 (五) 04:03的版本</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>提供开源解决方案和咨询服务，做你身边的开源顾问。</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">1、形式化验证、解决方案、订阅经济；</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>*<ins class="diffchange diffchange-inline">1、形式化验证、程序员的数学；</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*2、职业规划、职场建议、斜杠人生；</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*2、职业规划、职场建议、斜杠人生；</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*3、开源软件选型和支持服务；</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*3、开源软件选型和支持服务；</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*4、编程语言和编译器虚拟机（核心领域）</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*4、编程语言和编译器虚拟机（核心领域）</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></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>*<ins class="diffchange diffchange-inline">5、金融、区块链、密码学安全；</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*6、写作、自媒体、咨询师；</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*6、写作、自媒体、咨询师；</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*7、软件测试、研发管理、DevOps；</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*7、软件测试、研发管理、DevOps；</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E5%92%A8%E8%AF%A2&diff=166704&oldid=prev 2023-05-03T05:10:59Z

<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;">2023年5月3日 (三) 05:10的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第5行：</td> <td colspan="2" class="diff-lineno">第5行：</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;">Formal semantics +&#160; [[Formal mathematics]] + [[Formal verification]]</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>[[Open Provable Foundation]]， 软硬件形式化验证教育培训和服务是核心咨询内容，[[ML]]/[[OCaml]]（[[isabelle]]/HOL, [[Coq]]） &amp; [[Haskell]]（[[Agda]]） &amp; [[Lisp]]（[[ACL2]]） &amp; [[C++]]（[[Z3]]）是核心语言和形式化能力。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Open Provable Foundation]]， 软硬件形式化验证教育培训和服务是核心咨询内容，[[ML]]/[[OCaml]]（[[isabelle]]/HOL, [[Coq]]） &amp; [[Haskell]]（[[Agda]]） &amp; [[Lisp]]（[[ACL2]]） &amp; [[C++]]（[[Z3]]）是核心语言和形式化能力。</div></td></tr> <tr><td colspan="2" class="diff-lineno">第10行：</td> <td colspan="2" class="diff-lineno">第12行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>编译器：[[GCC]], [[LLVM]] [[文件:GCC-logo.png]] [[文件:LLVM-logo.png]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>编译器：[[GCC]], [[LLVM]] [[文件:GCC-logo.png]] [[文件:LLVM-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><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%E5%92%A8%E8%AF%A2&diff=164606&oldid=prev 2022-06-08T23:45:01Z

<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年6月8日 (三) 23:45的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第6行：</td> <td colspan="2" class="diff-lineno">第6行：</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>[[Open Provable Foundation]]， 软硬件形式化验证教育培训和服务是核心咨询内容，[[ML]]/[[OCaml]]（[[isabelle]], [[Coq]]） &amp; [[Haskell]]（[[Agda]]） &amp; [[Lisp]]（[[ACL2]]） &amp; [[C++]]（[[Z3]]）是核心语言和形式化能力。</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[[Open Provable Foundation]]， 软硬件形式化验证教育培训和服务是核心咨询内容，[[ML]]/[[OCaml]]（[[isabelle]]<ins class="diffchange diffchange-inline">/HOL</ins>, [[Coq]]） &amp; [[Haskell]]（[[Agda]]） &amp; [[Lisp]]（[[ACL2]]） &amp; [[C++]]（[[Z3]]）是核心语言和形式化能力。</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>编译器：[[GCC]], [[LLVM]] [[文件:GCC-logo.png]] [[文件:LLVM-logo.png]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>编译器：[[GCC]], [[LLVM]] [[文件:GCC-logo.png]] [[文件:LLVM-logo.png]]</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E5%92%A8%E8%AF%A2&diff=164605&oldid=prev 2022-06-08T23:44:34Z

<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年6月8日 (三) 23:44的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第6行：</td> <td colspan="2" class="diff-lineno">第6行：</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>[[Open Provable Foundation]]， 软硬件形式化验证教育培训和服务是核心咨询内容，[[ML]]/[[OCaml]]（[[isabelle]], [[Coq]]） &amp; [[Haskell]]（[[Agda]]） &amp; [[Lisp]]（[[ACL2]]）是核心语言和形式化能力。</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[[Open Provable Foundation]]， 软硬件形式化验证教育培训和服务是核心咨询内容，[[ML]]/[[OCaml]]（[[isabelle]], [[Coq]]） &amp; [[Haskell]]（[[Agda]]） &amp; [[Lisp]]（[[ACL2<ins class="diffchange diffchange-inline">]]） &amp; [[C++]]（[[Z3</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>编译器：[[GCC]], [[LLVM]] [[文件:GCC-logo.png]] [[文件:LLVM-logo.png]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>编译器：[[GCC]], [[LLVM]] [[文件:GCC-logo.png]] [[文件:LLVM-logo.png]]</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E5%92%A8%E8%AF%A2&diff=164604&oldid=prev 2022-06-08T23:42: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;">2022年6月8日 (三) 23:42的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第8行：</td> <td colspan="2" class="diff-lineno">第8行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Open Provable Foundation]]， 软硬件形式化验证教育培训和服务是核心咨询内容，[[ML]]/[[OCaml]]（[[isabelle]], [[Coq]]） &amp; [[Haskell]]（[[Agda]]） &amp; [[Lisp]]（[[ACL2]]）是核心语言和形式化能力。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Open Provable Foundation]]， 软硬件形式化验证教育培训和服务是核心咨询内容，[[ML]]/[[OCaml]]（[[isabelle]], [[Coq]]） &amp; [[Haskell]]（[[Agda]]） &amp; [[Lisp]]（[[ACL2]]）是核心语言和形式化能力。</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>编译器：[[GCC]], [[LLVM<del class="diffchange diffchange-inline">]], [[Roslyn</del>]] [[文件:GCC-logo.png]] [[文件:LLVM-logo.png<del class="diffchange diffchange-inline">]] [[文件:roslyn-compiler.png|Roslyn Compiler</del>]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>编译器：[[GCC]], [[LLVM]] [[文件:GCC-logo.png]] [[文件:LLVM-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'>&#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%E5%92%A8%E8%AF%A2&diff=164603&oldid=prev 2022-06-08T23:41: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;">2022年6月8日 (三) 23:41的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第5行：</td> <td colspan="2" class="diff-lineno">第5行：</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 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>[[Open Provable Foundation]]， 软硬件形式化验证教育培训和服务是核心咨询内容，[[ML]]/[[OCaml]]（[[isabelle]], [[Coq]]） &amp; [[Haskell]]（[[Agda]]） &amp; [[Lisp]]（[[ACL2]]）是核心语言和形式化能力。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Open Provable Foundation]]， 软硬件形式化验证教育培训和服务是核心咨询内容，[[ML]]/[[OCaml]]（[[isabelle]], [[Coq]]） &amp; [[Haskell]]（[[Agda]]） &amp; [[Lisp]]（[[ACL2]]）是核心语言和形式化能力。</div></td></tr> </table>

Allen