1996 Fiscal Year Annual Research Report
| Project/Area Number |
08640259
|
|---|
| Research Institution | Hitotsubashi University |
|---|
Principal Investigator |
山崎 秀記 一橋大学, 商学部, 教授 (30108188)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
藤田 岳彦 一橋大学, 商学部, 助教授 (50144316)
山田 裕理 一橋大学, 経済学部, 教授 (50134888)
町田 元 一橋大学, 商学部, 教授 (40090534)
岩崎 史郎 一橋大学, 経済学部, 教授 (00001842)
永島 孝 一橋大学, 経済学部, 教授 (00017526)
|
|---|
| Keywords | 無限記号列 / ω言語 / 有限状態機械 / ゲーム論理 / リテラルシャッフル |
|---|
| Research Abstract |
研究代表者らは、無限の(計算)過程を解析するための基本的枠組みや、最近活発に研究されている力学系やフラクタル理論において、無限記号列が重要な役割を果たしているのに注目し、本研究課題のもとで、無限記号列の構造や有限状態機械による変換の理論、またそれに関連する問題について研究を進めてきた。
研究代表者や分担者らの研究効果の主なものとしては、次のようなものがある。
1.無限記号列の集合(ω言語)がリテラルシャッフルのもとで閉じているか否かの必要十分条件を示し、有限状態機械で受理される無限記号列の集合(ω正則言語)のリテラルシャッフルのもとでの閉包性を明らかにした。
2.ゲーム理論の数理論理学への応用のための、ゲーム論理を構築し、そのモデルについての研究を進めている。
3.また各研究分担者は、それぞれの専門分野を活かし、別表のような成果を得ている。この結果、無限記号列の研究のゲーム理論への応用など、研究の新たな広がりも見られた。また、無限記号列の構造や変換の理論的研究には、解決しなければならない問題が多く、これからの研究に残された部分の多いことも明らかになった。研究代表者らは引き続き、本研究に関連する課題での研究を継続していく予定である。
|
-
[Publications] Tetsuo Moriya Hideki Yamasaki: "Literal shuffle on ω-languages" Information Processing Letters. 59. 165-168 (1996)
-
[Publications] Kaneko Mamoru,Nagashima Takashi: "Game logic and ito application I" Studia Logica. 57. 325-354 (1996)
-
[Publications] Kaneko Mamoru,Nagashima Takashi: "Game logic and ito application II" Studia Logica. 58. (1997)
-
[Publications] H.Yamada,K.Harada,M.Miyamoto: "A generalization of Kac-Moody algebra" Proceedings of a Special Research Quarter of the Ohio State University. (1996)
-
[Publications] 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)
-
[Publications] 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)
