1. 前のページに戻る

効率的で正しいプログラムの自動生成

研究課題

戦略的な研究開発の推進 戦略的創造研究推進事業 さきがけ

体系的番号 JPMJPR00P1
DOI https://doi.org/10.52926/JPMJPR00P1

研究代表者

小川 瑞史  日本電信電話株式会社, NTTコミュニケーション科学基礎研究所, 主任研究員

研究期間 (年度) 2000 – 2003
概要人間が作成するプログラムを効率の面で凌駕するプログラムの自動生成をめざします。その手法は、仕様記述を簡単な再帰関数により行い、組合せ理論とプログラム変換手法を適用することで理論的・実用的に効率の良いプログラムを生成します。応用範囲としてデータベース検索、プログラム解析の自動生成などを想定しています。
研究領域機能と構成

報告書

(1件)
  • 2003 終了報告書 ( PDF )

URL: 

JSTプロジェクトデータベース掲載開始日: 2016-04-26   JSTプロジェクトデータベース最終更新日: 2025-03-26  

サービス概要 よくある質問 利用規約

Powered by NII jst