| Project/Area Number |
20800022
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (Start-up)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | Japan Advanced Institute of Science and Technology |
|---|
Principal Investigator |
HIROKAWA Nao Japan Advanced Institute of Science and Technology, 情報科学研究科, 助教 (50467122)
|
|---|
| Research Collaborator |
MOSER Georg University of Innsbruck, Institute for Computer Science, Research Assistant
|
|---|
| Project Period (FY) |
2008 – 2009
|
| Project Status |
Completed (Fiscal Year 2009)
|
| Budget Amount *help |
¥2,535,000 (Direct Cost: ¥1,950,000、Indirect Cost: ¥585,000)
Fiscal Year 2009: ¥1,508,000 (Direct Cost: ¥1,160,000、Indirect Cost: ¥348,000)
Fiscal Year 2008: ¥1,027,000 (Direct Cost: ¥790,000、Indirect Cost: ¥237,000)
|
|---|
| Keywords | 項書き換え / 計算モデル / 計算量 / 情報基礎 |
|---|
| Research Abstract |
探索やソートアルゴリズムを開発したとき、「入力の大きさに対しどれくらいの速度(ステップ数)で動作するか」という自然な疑問が生じる。現在に至るまで時間的計算量は、プログラムごとに手作業で解析するものと認識されていた。本研究では、関数型プログラムの計算モデルである項書き換え系に対して、解析を自動化する強力な理論を構築した。さらにそれに基づく計算量自動解析ツールを実装した。既存手法との比較実験を行った結果、解析精度の劇的な向上が確認された。
|
