US-Japan Cooperative Research on the Fundamental Problems of Computer Software - Natural and Program Languages viewed from Semantics
| Project/Area Number |
01044075
|
|---|
| Research Category |
Grant-in-Aid for Overseas Scientific Survey.
|
| Allocation Type | Single-year Grants |
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
NAGAO Makoto Faculty of Engineering, Kyoto University, 工学部, 教授 (30025960)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
MATSUMOTO Yuji Faculty of Engineering, Kyoto University, 工学部, 助教授 (10211575)
TAKUBO Yukinori College of Liberal Arts and Sciences, Kobe University, 教養部, 助教授 (10154957)
TOMIOKA Yutaka Faculty of Engineering, University of Tokyo, 工学部, 助手 (30188776)
HARAGUCHI Makoto Faculty of Engineering, Tokyo Institute of Technology, 大学院総合理工学研究科, 助教授 (40128450)
SHIRAI Ken-ichiro College of Liberal Arts and Sciences, Chukyo University, 教養部, 助教授 (20162753)
|
|---|
| Project Period (FY) |
1989
|
| Project Status |
Completed (Fiscal Year 1989)
|
| Keywords | Natural Language Processing / Language Understanding / Logic Programming / Situation Semantics / Contrastive Study of Japanese and English / Parallel Processing / Computer Software |
|---|
| Research Abstract |
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.
|
Report
(1 results)
Research Products
(13 results)
