<?xml version="1.0" encoding="utf-8" ?><rss version="2.0"><channel><title><![CDATA[weilai3的专栏]]></title><description><![CDATA[]]></description><link>https://blog.youkuaiyun.com/weilai3</link><language>zh-cn</language><generator>https://blog.youkuaiyun.com/</generator><copyright><![CDATA[Copyright &copy; weilai3]]></copyright><item><title><![CDATA[为什么写代码很辛苦？]]></title><link>https://blog.youkuaiyun.com/weilai3/article/details/89811138</link><guid>https://blog.youkuaiyun.com/weilai3/article/details/89811138</guid><author>weilai3</author><pubDate>Sat, 04 May 2019 10:36:47 +0800</pubDate><description><![CDATA[【为什么写代码很辛苦？】

代码为了严谨而不得不冗长。越是冗长，越是难懂。现实如何呢？举一个合并同类项的例子：

c+a^100×b^5+a×b^9×c =c+a×b^5(a^99+c×b^4)

对于它的合并逻辑，几句人话就可以说得很清楚。但是如果要用编程语言来描述的话，没有1千行~1万行的代码，根本说不清楚。即便是说清楚了，读起来也会非常的繁琐。读完代码之后，你不仅难以知道它在说什么，也难以知...]]></description><category></category></item><item><title><![CDATA[在线解方程]]></title><link>https://blog.youkuaiyun.com/weilai3/article/details/89413043</link><guid>https://blog.youkuaiyun.com/weilai3/article/details/89413043</guid><author>weilai3</author><pubDate>Sat, 20 Apr 2019 09:53:16 +0800</pubDate><description><![CDATA[一、自动解题：http://mathy.xyz （适合中学生）

   功能：在线解方程、解方程组、因式分解、表达式化简、逻辑表达式化简...

二、wolfram科学计算（适合大学生、工程科研）

 https://www.wolframalpha.com/

三、数学表达式转 LaTeX格式 （适合数学编辑）：

  http://mathy.xyz/latex.jsp

四...]]></description><category></category></item><item><title><![CDATA[【自动证明 vs 算法生成】]]></title><link>https://blog.youkuaiyun.com/weilai3/article/details/89378592</link><guid>https://blog.youkuaiyun.com/weilai3/article/details/89378592</guid><author>weilai3</author><pubDate>Thu, 18 Apr 2019 14:46:42 +0800</pubDate><description><![CDATA[艺术的生命在乎想象，几乎所有人的生命和情感都是寄放在想象中的。

在我的理解中，数学借助于逻辑发现间接的数量关系，然后提出公式化的解决方案。

为什么机器难以理解一个证明过程？

1. 数千年以来，证明过程都是给人看的，是为迎合人的需要而设计的。

2. 推理中，要判断逻辑式的真假，常需要灵活地借助于常识和背景知识，这对机器来说是困难的。

3.机器擅长于用计算来判断逻辑式的真假，人擅长于用逻辑来...]]></description><category></category></item></channel></rss>