1. 前のページに戻る

超計算:ソフトウェア自動生産のための新領域探求

研究課題

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

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

研究代表者

Glueck Robert  早稲田大学, ソフトウェア生産技術研究所, 訪問研究員

研究期間 (年度) 2000 – 2003
概要ソフトウェアの自動生産の実現を目指して、ソフトウェアを生成するソフトウェアの構築にあたります。その実現に向けて、意味論的に扱いやすい関数型言語を用いて、 (1)プログラムに対する3つの基本的な変換操作(プログラムの結合・逆転・特殊化)、(2)変換操作のなす多重階層、および (3)インタプリタを介した変換操作の可搬性、からなる3つの基本原理を組合せて研究を進めます。
研究領域機能と構成

報告書

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

URL: 

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

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

Powered by NII jst