| 研究課題/領域番号 |
22540146
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
数学一般(含確率論・統計数学)
|
|---|
| 研究機関 | 首都大学東京 |
|---|
研究代表者 |
鈴木 登志雄 首都大学東京, 理工学研究科, 准教授 (30235973)
|
|---|
| 研究分担者 |
隈部 正博 放送大学, 教養学部, 教授 (70255173)
|
|---|
| 研究期間 (年度) |
2010-04-01 – 2015-03-31
|
| 研究課題ステータス |
完了 (2014年度)
|
| 配分額 *注記 |
4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
2014年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2013年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2012年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2011年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2010年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
|
|---|
| キーワード | 数学基礎論 / 数理論理学 / 計算量理論 / ゲーム理論 / 人工知能 / 命題論理 / 最適化問題 / ミニマックス定理 / アルゴリズム / 応用数学 / 情報基礎 |
|---|
| 研究成果の概要 |
（１）マルチンゲールとは樹形図上の確率のような概念である．ここでは資源限定マルチンゲールといって，制約付きアルゴリズムによって計算できるものを考える．資源限定マルチンゲールの基礎研究について隈部・鈴木チームの現時点における代表作といえる論文を発表した．
（２）ゲーム木はゲームの展開を表す樹形図である．ここでは，枝分かれが二つずつで，端点の値が二値であるものを考える．このようなゲーム木は論理式でもあり，端点の値の組は真理値割り当てである．真理値割り当て上の確率分布の中で，均衡点がただ一つとならない場合について理論をうち立てた．
|
