不知道怎么描述这个问题，就是通过下面的这个方程我得到了soln1的解，是一个4次求导的解。
soln1应该是被定义为一个方程了吧，但是在下面这个方程中我不太清楚红色方块内的意思。为什么是双"["，soln1是个关于x和y的方程，但是为什么里面有三个数，表示什么？
希望有人可以明白我的意思，多谢。

用NDSolve得到的解是一系列插值函数，比如：
s = NDSolve[{y*[x] == y[x] Cos[x + y[x]], y[0] == 1}, y, {x, 0, 30}]
得到s1={{y->InterpolatingFunction[.......]}}形式的解，
要想提取其中的InterpolatingFunction[.......]，就需要Part函数（也就是双重中括号），
那么s1[[1,1,2]]的含意：前两个1好理解，就是取这个列表中的第1行第1列的元素，即s1[[1,1]]得到结果：y->InterpolatingFunction[.......]
通过函数Level[y -> InterpolatingFunction[], Infinity]，可以查看其结构，因此第三个数2，就是取“->”后面部分的意思了。
实际上，这样写也许更清楚一些吧：y/.s1[[1,1]]