| Project/Area Number |
08640259
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
General mathematics (including Probability theory/Statistical mathematics)
|
|---|
| Research Institution | Hitotsubashi University |
|---|
Principal Investigator |
山崎 秀記 一橋大学, 商学部, 教授 (30108188)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
藤田 岳彦 一橋大学, 商学部, 助教授 (50144316)
山田 裕理 一橋大学, 経済学部, 教授 (50134888)
町田 元 一橋大学, 商学部, 教授 (40090534)
岩崎 史郎 一橋大学, 経済学部, 教授 (00001842)
永島 孝 一橋大学, 経済学部, 教授 (00017526)
|
|---|
| Project Period (FY) |
1996
|
| Project Status |
Completed (Fiscal Year 1996)
|
| Budget Amount *help |
¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 1996: ¥1,100,000 (Direct Cost: ¥1,100,000)
|
|---|
| Keywords | 無限記号列 / ω言語 / 有限状態機械 / ゲーム論理 / リテラルシャッフル |
|---|
| Research Abstract |
研究代表者らは、無限の(計算)過程を解析するための基本的枠組みや、最近活発に研究されている力学系やフラクタル理論において、無限記号列が重要な役割を果たしているのに注目し、本研究課題のもとで、無限記号列の構造や有限状態機械による変換の理論、またそれに関連する問題について研究を進めてきた。
研究代表者や分担者らの研究効果の主なものとしては、次のようなものがある。
1.無限記号列の集合(ω言語)がリテラルシャッフルのもとで閉じているか否かの必要十分条件を示し、有限状態機械で受理される無限記号列の集合(ω正則言語)のリテラルシャッフルのもとでの閉包性を明らかにした。
2.ゲーム理論の数理論理学への応用のための、ゲーム論理を構築し、そのモデルについての研究を進めている。
3.また各研究分担者は、それぞれの専門分野を活かし、別表のような成果を得ている。この結果、無限記号列の研究のゲーム理論への応用など、研究の新たな広がりも見られた。また、無限記号列の構造や変換の理論的研究には、解決しなければならない問題が多く、これからの研究に残された部分の多いことも明らかになった。研究代表者らは引き続き、本研究に関連する課題での研究を継続していく予定である。
|
