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

情報数学と代数学

信息数学与代数

基本信息

批准号：
61540140
负责人：
本橋信義
金额：
$ 1.28万
依托单位：
University of Tsukuba
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (C)
财政年份：
1986
资助国家：
日本
起止时间：
1986 至无数据
项目状态：
已结题

项目摘要

代数的手法による情報数学の統一的研究と、情報数学で得られた諸概念の代数学への応用を目標にして研究が行なわれ、次の諸結果を得た。1.本橋を中心とするグループにより、数理論理学の代数的構造が明らかにされ、その応用としてモデルの理論における保存定理の統一的な証明方法が得られた。さらにこの方法を共終拡大構造に適用することにより新しい保存定理が得られた。2.太刀川を中心とするグループにより、ブール値モデルによる理論の研究が行なわれた。そこでは集合論のモデルが理論のある部分に本質的にかかわることが発見され、強大基数の存在とある種の理の存在とが関連することが示された。3.杉浦を中心とするグループにより、統計的な推定や検定の精度をあげるためのモデルの構成法が開発された。この方面ではいまだ十分な代品化が行なわれておらず、今後の研究課題として残った。4.八牧を中心とするグループにより、有限群論やデザインの理論における具体的な計算に、計算の理論とよばれる情報数学の一分野が有効に用いられた。その結果、フロベニウムの予想に関しても進歩があった。5.木村を中心とするグループにより、ある種の代数群の表現の分類が、莫大な計算の結果得られた。この結果の応用は、今後の研究課題である。6.西村を中心とするグループにより、計算機の理論と、代数解析、とくに佐藤の超関数に関する研究が行なわれた。ハイチング代数値モデルを用いたこの研究は、まだその緒についたばかりであり、今後の発展が期待される。

The methods of algebra include the study of the unity of mathematics, the concept of mathematics, the study of mathematics, mathematics. 1. The center of this school is responsible for the creation of physics, mathematics, science and algebra, and the application of the unified method for the preservation of the theorem of mathematics and science. The new method of saving the theorem has been used to save the theorem. two。 In the center of Taidaochuan, there is a research on the theory of theory. In this part of the collection theory, there is an indication of the existence of a large base of knowledge and strength. 3. The accuracy of the presumption and statistics of the Shanpu Center has been improved by the method of determining the accuracy of the test. In the future, we will study the subject matter in the future. 4. Eight animal husbandry center, finite group theory, theory, calculation, calculation, mathematics, mathematics. The results show that you do not want to make any progress. 5. In the Kimura Center, the classification and the results of the great calculation results have been shown in the Komura center. The results show that you can use it, and you will study the project in the future. 6. The Nishimura Center is involved in the study of computer science, computer theory, algebraic analysis, and the study of computer science, computer theory, algebraic analysis, computer science, computer theory, algebra analysis, computer theory, computer theory, algebra analysis, computer theory, computer theory, algebra analysis, computer theory, computer theory, algebra analysis, computer theory, computer theory, algebra analysis, computer theory, computer theory, algebraic analysis, computer theory, computer theory, algebraic analysis, computer theory, computer theory, algebraic analysis, computer theory, computer theory, algebraic analysis, computer theory, computer theory, algebra analysis, computer theory, algebraic analysis, computer theory, computer theory, algebra analysis, computer theory, algebra analysis I don't know about algebra. I don't know how to study it. I don't know. I'm looking forward to the future.