权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

数学基礎論のアルゴリズムへの応用

基础数学理论在算法中的应用

基本信息

批准号：
62540145
负责人：
永島孝
金额：
$ 0.45万
依托单位：
Hitotsubashi University
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (C)
财政年份：
1987
资助国家：
日本
起止时间：
1987 至无数据
项目状态：
已结题

项目摘要

1.生成文法の理論は, 言語学においてのみならず, 計算機科学においてもまた重要である. すなわち, 生成文法などを扱う形式言語理論(数理言語学)は, 理論計算機科学の中核をなす分野であるとともに, 応用面ではコンパイラにおける構文解析などのソフトウェア技術にその研究成果が生かされている. 代表者永島は有限長の語の集合について, また分担者山崎は無限長の語の集合すなわちオメガ言語について, それぞれ研究をすすめている. 従来の生成文法理論では言語に属する語を生成する体系が考察されて来たが, 代表者永島は, 非終端記号を述語とみる新しい視点からの研究を行い, 文脈自由文法のあらたな体系を構築した. この体系は第一階述語論理の一種のヘルツ・ゲンツェン流の演繹体系であり, 証明図のある種の標準型が得られる体系である. これによって数理論理学の手法を言語理論の研究にもちい得る展望が得られた. また分担者山崎は, 有限オートマトンによって受理できるような無限長の語の集合の種々のクラスについて, 有限長の言語を用いた表現を与えた.2.分担者岩崎は, 有限単純群をできるだけ自然で明快な形に把握する研究の一環として, 五つのMathieu-Wittシステムを統一的にしかも初等的に構成し記述した.3.分担者宮地は, 擬微分作用素の評価式を与え, これをもちいて擬微分作用素の有界性を調べた. さらにユークリッド空間の開集合上のdistributionに対してある種の最大函数を与え, それに関する不等式を示した.4.数理論理学を生成文法等のアルゴリズムに応用する研究を継続中である. また, 研究交流の中で, 経済学の一分野への数理論理学の応用についても展望が得られている.

1. Generate grammar theory papers, language learning, computer science, and computer science. In this paper, grammar, mathematics, mathematics, computer science, computer science, computer science and computer science The representative will always be responsible for the limited length of the collection, and the distributor Yamazaki for the unlimited length of the assembly, and for the study and study of the meeting. The theory of generating grammar, the theory of grammar, the system of free grammar, the theory of grammar, the system of grammar, the system of free grammar. The first chapter of the system describes how to improve the performance of the system, and to make it clear that the standard model of the system is recognized as a standard. I don't know what to say in mathematics, science, science and technology. Yamazaki Yamasaki, the distributor of limited information, accepts the payment of non-limit long-term certificates, which are collected in a variety of languages, and the limited-length messages are expressed and expressed in terms of information. 2. The contributor, Iwasaki Yoshimi, a limited group of people, has a clear understanding of the nature of the system, and the study is based on the study of the first and the third generation of the Mathieu-Witt system. 3. The distributor is "ground", "differential agent", "boundedness", "boundedness". This means that the maximum function of the distribution function on the open space set is the same, and that the inequality is expressed in terms of the inequality. 4. Mathematical science generates grammars and so on. In the field of research and communication, there is a distinction between mathematics, science, mathematics, science and science.