| 研究課題/領域番号 |
26540001
|
|---|
| 研究種目 |
挑戦的萌芽研究
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
情報学基礎理論
|
|---|
| 研究機関 | 東北大学 |
|---|
研究代表者 |
田中 一之 東北大学, 理学研究科, 教授 (70188291)
|
|---|
| 研究協力者 |
根元 多佳子
堀畑 佳宏
鹿島 亮
|
|---|
| 研究期間 (年度) |
2014-04-01 – 2017-03-31
|
| 研究課題ステータス |
完了 (2016年度)
|
| 配分額 *注記 |
3,510千円 (直接経費: 2,700千円、間接経費: 810千円)
2016年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2015年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2014年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
|
|---|
| キーワード | ゲーム意味論 / 高次計算論 / ゲーム木 / プッシュダウン・オートマトン / 数理論理学 |
|---|
| 研究成果の概要 |
本研究では、ゲーム意味論の考え方に基づいて、高い表現能力の形式的手法を創案し、通常の計算機構では捉え難い多元的なシステムの複雑さを解析した。また、それらの表現法の拡張性と限界について考察を行い、とくに種々のプッシュダウン・オートマトンによって定義されるゲームの必勝法の複雑さを高次計算論的に特定した。また、ゲーム木のランダム入力に対するクエリ複雑さに関する研究も行い、いくつかの新しい結果を得た。
|
