This paper describes a project concerned with the understanding of natural language by computers. The project involves the development of both a theoretical model of natural language processing by computer and an actual implementation of the theory. The specific implementation chosen is a question-answering system for elementary mathematics which uses unrestricted natural language input. Details of the question-answering system are given and basic features in the perspective of the theoretical model are discussed. (JP)