US-Japan Cooperative Research on the Fundamental Problems of Computer Software - Natural and Program Languages viewed from Semantics

该项目旨在合作研究计算机软件的基本问题。其基本思想是，计算机软件及其语义是建立在自然语言形式化和语义解释的基础上的。研究范围包括情境语义学、形式逻辑与推理、自然语言分析的计算机算法、并行处理算法。日本的研究小组由7名研究人员组成，其中5人前往美国与美国的相关研究人员交流信息并讨论各自的研究课题，尤其是斯坦福大学CSLI的研究人员。

The project aims at the cooperative study of fundamental problems of computer software. The basic idea is that the computer software and its semantics are based on natural language formalization and semantic interpretation of sentential expressions. The scope of the study includes situation semantics, formal logic and inference, computer algorithms of natural langugage analysis, parallel processing algorithms. The research group in Japan is composed of seven researchers, and five of them went to U.S. to exchange information and discuss their individual research topics with the related researchers in U.S., particularly the researchers at CSLI, Stanford University.