体系的番号 |
JPMJPR00P1 |
DOI |
https://doi.org/10.52926/JPMJPR00P1 |
研究代表者 |
小川 瑞史 日本電信電話株式会社, NTTコミュニケーション科学基礎研究所, 主任研究員
|
研究期間 (年度) |
2000 – 2003
|
概要 | 人間が作成するプログラムを効率の面で凌駕するプログラムの自動生成をめざします。その手法は、仕様記述を簡単な再帰関数により行い、組合せ理論とプログラム変換手法を適用することで理論的・実用的に効率の良いプログラムを生成します。応用範囲としてデータベース検索、プログラム解析の自動生成などを想定しています。
|
研究領域 | 機能と構成 |