• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Research Project

Project/Area Number 01044075
Research Category

Grant-in-Aid for Overseas Scientific Survey.

Allocation TypeSingle-year Grants
Research InstitutionKyoto 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)
KeywordsNatural 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)
  • 1989 Final Research Report Summary
  • Research Products

    (13 results)

All Other

All Publications (13 results)

  • [Publications] 原口誠: "類推による不完全情報の推論問題について" 第9回知識工学シンポジウム論文集. 105-110 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 櫻井成一朗 他: "アブストラクションに基づく帰納学習" 第11回知識・知能システムシンポジウム論文集. (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Yuji Matsumoto: "The Algorithm and the Grammar Description Language for the SAX Parsing System" Informal Workshop on Prolog as the Implementation Language for Natural Language Programming,Swedish Institute for Computer Science.

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 田窪行則: "談話管理の理論" 月刊言語(大修館書店). 3月号. (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 白井賢一郎: "形式意味論ーモンタ・ギュ-を越えてー" INTER本文企画「言語の機械・機械の言語」(UPU). 26-29 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 白井賢一郎: "最近の形式意味論の基本問題" 関西言語学会(口頭発表,大阪外国語大学). (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 白井賢一郎 他: "講座 日本語と日本語教育 第11巻言語学要説(上)" 明治書院, (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Ryoichi Sugimura,et al.: "Logic Based Lexical Analyser LAX,in Lecture Notes in Artificial Intelligence 383,K.Kurukawa,et al.(eds.)" Springer-Verlag, 188-216 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] S. Sakurai, et al.: "Inductive learning by abstraction" 11th Symposium on Knowledge. (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Yuji Matsumoto: "The algorithm and the grammar description language for the SAX parsing system" Informal Workshop on Prolog as the Implementation Language for Natural Language Programming, Swedish Institute for Computer Science, Sweden, 1989.(1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Yukinori Takubo: "Theory of discourse management" Gekkan Gengo. March. (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Ken-ichiro Shirai: "Basic problems of current formal semantics" Kansai Gengo Gakkai. (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Ryoichi Sugimura, et al.: Logic Based Lexical Analyser LAX, in Lecture Notes in Artificial Intelligence, 383, K. Furukawa, et al.(eds.). Springer-Verlag, 251(188-216) (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary

URL: 

Published: 1993-03-26   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi