泛函分析在计算机科学中的应用