>>89
補足: 数学基礎論的な取り扱いを勉強してもあまり意味がないということ.
マルチコア,マルチプロセッサとの関連では,関数型言語の研究は有効
と思っています.