| 研究課題/領域番号 |
23500011
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 電気通信大学 |
|---|
研究代表者 |
若月 光夫 電気通信大学, 大学院情報理工学研究科, 助教 (30251705)
|
|---|
| 研究分担者 |
富田 悦次 電気通信大学, 名誉教授 (40016598)
西野 哲朗 電気通信大学, 大学院情報理工学研究科, 教授 (10198484)
|
|---|
| 研究期間 (年度) |
2011-04-28 – 2015-03-31
|
| 研究課題ステータス |
完了 (2014年度)
|
| 配分額 *注記 |
4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2013年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2012年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2011年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
|
|---|
| キーワード | 計算論的学習理論 / 質問による学習 / 等価性判定 / 包含性判定 / アルゴリズム / 決定性文脈自由言語 / プッシュダウン変換器 / 多項式時間可能性 / 極限同定 / 多項式時間可解性 / 正例からの学習 |
|---|
| 研究成果の概要 |
決定性プッシュダウン変換器のスタック記号を1種類に限定した決定性限定1カウンタ変換器について，それが最終状態受理式の場合，より一般的なε-推移を持つ場合についてもその等価性判定及び包含性判定が多項式時間で行えることを明らかにした．また，実時間最終状態受理式決定性限定1カウンタ変換器に対して，所属性質問及び等価性質問を用いた多項式時間の学習アルゴリズムを開発した．更に，正則言語の部分クラスに対する正例からの極限同定を組み込んだジュウシマツの歌構造解析ツールEUREKAを利用することによって，コンピュータ上でトランプゲームの大貧民の対戦を行うプログラムの挙動の規則性が抽出可能なことを示した．
|
