And this defines formal parameters of this function. Yup.

带有其它变量的括弧,这就是函数的形参。

麻省理工公开课 - 计算机科学及编程导论课程节选

We got definition, we got name, we got a set of formal parameters.

我们已经进行了定义，我们命了名，我们设置了一些列形参。

麻省理工公开课 - 计算机科学及编程导论课程节选

Inside of solve, solve creates an environment where inside of that, it has bindings for the parameters it's going to use. All right?

在solve内部，solve创建了一个环境,在这个环境中它给她要使用的形参赋了值,明白吗？就像很多--等等？

麻省理工公开课 - 计算机科学及编程导论课程节选