| 研究課題/領域番号 |
20800022
|
|---|
| 研究種目 |
若手研究(スタートアップ)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 北陸先端科学技術大学院大学 |
|---|
研究代表者 |
廣川 直 北陸先端科学技術大学院大学, 情報科学研究科, 助教 (50467122)
|
|---|
| 研究協力者 |
モーザー ゲーオグ University of Innsbruck, Institute for Computer Science, Research Assistant
|
|---|
| 研究期間 (年度) |
2008 – 2009
|
| 研究課題ステータス |
完了 (2009年度)
|
| 配分額 *注記 |
2,535千円 (直接経費: 1,950千円、間接経費: 585千円)
2009年度: 1,508千円 (直接経費: 1,160千円、間接経費: 348千円)
2008年度: 1,027千円 (直接経費: 790千円、間接経費: 237千円)
|
|---|
| キーワード | 項書き換え / 計算モデル / 計算量 / 情報基礎 |
|---|
| 研究概要 |
探索やソートアルゴリズムを開発したとき、「入力の大きさに対しどれくらいの速度(ステップ数)で動作するか」という自然な疑問が生じる。現在に至るまで時間的計算量は、プログラムごとに手作業で解析するものと認識されていた。本研究では、関数型プログラムの計算モデルである項書き換え系に対して、解析を自動化する強力な理論を構築した。さらにそれに基づく計算量自動解析ツールを実装した。既存手法との比較実験を行った結果、解析精度の劇的な向上が確認された。
|
