無限記号列の変換理論研究

无限符号串变换理论研究

• 批准号: 08640259
• 负责人: 山崎 秀記
• 金额: $ 0.7万
• 依托单位: Hitotsubashi University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 1996
• 资助国家: 日本
• 起止时间: 1996 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-08640259/
• 关键词: 無限記号列; ω言語; 有限状態機械; ゲーム論理; リテラルシャッフル

研究代表者らは、無限の(計算)過程を解析するための基本的枠組みや、最近活発に研究されている力学系やフラクタル理論において、無限記号列が重要な役割を果たしているのに注目し、本研究課題のもとで、無限記号列の構造や有限状態機械による変換の理論、またそれに関連する問題について研究を進めてきた。研究代表者や分担者らの研究効果の主なものとしては、次のようなものがある。1.無限記号列の集合(ω言語)がリテラルシャッフルのもとで閉じているか否かの必要十分条件を示し、有限状態機械で受理される無限記号列の集合(ω正則言語)のリテラルシャッフルのもとでの閉包性を明らかにした。2.ゲーム理論の数理論理学への応用のための、ゲーム論理を構築し、そのモデルについての研究を進めている。3.また各研究分担者は、それぞれの専門分野を活かし、別表のような成果を得ている。この結果、無限記号列の研究のゲーム理論への応用など、研究の新たな広がりも見られた。また、無限記号列の構造や変換の理論的研究には、解決しなければならない問題が多く、これからの研究に残された部分の多いことも明らかになった。研究代表者らは引き続き、本研究に関連する課題での研究を継続していく予定である。

The representative researchers are interested in the fundamental theory of finite state mechanics, the theory of finite state mechanics, the theory of finite state mechanics, and the problems of finite state mechanics. The research representative and the contributor are responsible for the research results. 1. The set of infinite symbol arrays (ω speech) is closed without necessary conditions, and the set of infinite symbol arrays (ω regular speech) is accepted mechanically with finite states. 2. The application of mathematical theory, the construction of mathematical logic, and the development of mathematical theory. 3. Each research contributor shall be responsible for the division of research activities and the achievement of research results. The results of this study, infinite notation and the application of theory, research and new ideas The research on the structure and transformation theory of infinite symbol series is aimed at solving the problems of many kinds of problems and studying the problems of many kinds of problems. The research representative shall submit a report on the subject related to this study.

项目成果

Kaneko Mamoru,Nagashima Takashi: "Game logic and ito application I" Studia Logica. 57. 325-354 (1996)

Kaneko Mamoru、Nagashima Takashi：“游戏逻辑和 ito 应用 I”Studia Logica。

H.Yamada,K.Harada,M.Miyamoto: "A generalization of Kac-Moody algebra" Proceedings of a Special Research Quarter of the Ohio State University. (1996)

H.Yamada，K.Harada，M.Miyamoto：“Kac-Moody 代数的概括”俄亥俄州立大学特别研究季论文集。

M.Yamazaki,T.Yamazaki: "The Cauchy Problem for a class of 2×2 hyperbolic systems of conaervation laws with oxbounded propagation speed" Adv.Differential Equations. 1. 817-856 (1996)

M.Yamazaki、T.Yamazaki：“具有 oxbounded 传播速度的一类 2×2 双曲守恒律系统的柯西问题”Adv.Differential Equations。1. 817-856 (1996)

N.Ishimura,H.Imai,M.A.Nakamura: "Convergence of attractors for the simplified magnetic R′enard equations" Euro.J.App.1.Math.7. 53-62 (1996)

N.Ishimura、H.Imai、M.A.Nakamura：“简化磁 Renard 方程的吸引子收敛”Euro.J.App.1.Math.7 (1996)。

Tetsuo Moriya Hideki Yamasaki: "Literal shuffle on ω-languages" Information Processing Letters. 59. 165-168 (1996)

Tetsuo Moriya Hideki Yamasaki：“ω 语言的字面洗牌”信息处理快报 59. 165-168 (1996)。