密爾納(ArthurJohn Robin Gorell Milner,1934~2010)把「計算機科學」從單純演算法與數學函數理論,擴展為資訊流動與互動機制的研究 ,將其視為一門可應用於許多領域的...