稀烂的数学

我一直觉得求反函数很别扭，同样的，还有变量替换，前一秒还有所指代的变量怎么可以説换就换，名字换了，指代的内容换么？现在想来是对变量指代的抽象程度不够。我老想着一对一的实体指代，其实呢，指代的也可以是抽象概念，比如输入、输出，或者说，用于输入、用于输出。所以具体到反函数来讲，变量名替换的同时，内容没变，改变的是和变量名绑定的用途。因为运算要加在输入，即做输入的变量，上，所以下一步就自然的要把当前用于输出的变量分离出来。