情報数学と代数学

1986 Fiscal Year Annual Research Report

• Project/Area Number: 61540140
• Research Institution: University of Tsukuba
• Principal Investigator: 本橋 信義 筑大, 数学系, 教授 (70015874)
• Co-Investigator(Kenkyū-buntansha): 西村 泰一 筑波大学, 数学系, 講師 (70135614) ; 木村 達雄 筑波大学, 数学系, 助教授 (30022726) ; 八牧 宏美 筑波大学, 数学系, 助教授 (60028199) ; 杉浦 成昭 筑波大学, 数学系, 教授 (20033805) ; 太刀川 弘幸 筑波大学, 数学系, 教授 (20015473)
• Keywords: 情報数学 / 数理論理学 / 抽象化数学 / ブール値モデル / 統計的推定 / 有限群論 / 佐藤の超関数 / ハイチング代数値モデル

Research Abstract

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

Research Products

• [Publications] 本橋信義: The Journal of Symbolic Logic. 51. 1022-1028 (1986)
• [Publications] 太刀川弘幸: Journal of Algebra. 103. 662-676 (1986)
• [Publications] 杉浦成昭: Tech.Rep.Dept.of Math & Stat Bowling Green State University. 86. 1-23 (1986)
• [Publications] 八牧宏美: Mathematics of ComPutation. 46. 609-611 (1986)
• [Publications] 木村達雄: American Journal of Math. 108. 643-691 (1986)
• [Publications] 西村泰一: Publications of the Research Institute for Mathematical Scienles,Kyoto University. 22. 801-811 (1986)