木およびグラフ変換における問合せ保存の自動検証
KAKEN 科学研究費助成事業データベース で見る| 研究課題番号 | KAKENHI-PROJECT-26870270 |
|---|---|
| 研究種目 | 若手研究(B) |
| 研究分野 | 総合系 情報学 計算基盤 ソフトウェア 総合系 情報学 情報学基礎 情報学基礎理論 |
| 研究機関 | 名古屋大学 |
| 代表研究者 | 橋本 健二 |
| 研究期間 開始年月日 | 2014/4/1 |
| 研究期間 終了年度 | 2017 |
| 研究ステータス | 完了 (2017/4/1) |
| 配分額（合計） | 3,900,000 (直接経費 :3,000,000、間接経費 :900,000) |
| 配分額（履歴） |
2016年度：1,170,000 (直接経費 :900,000、間接経費 :270,000) 2015年度：1,300,000 (直接経費 :1,000,000、間接経費 :300,000) 2014年度：1,430,000 (直接経費 :1,100,000、間接経費 :330,000) |
| キーワード | 問合せ保存性 木変換器 木オートマトン 関数性 問合せ保存 |