• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

1990 年度 研究成果報告書概要

メタプログラミングの基礎的研究

研究課題

研究課題/領域番号 01580026
研究種目

一般研究(C)

配分区分補助金
研究分野 情報学
研究機関名古屋大学

研究代表者

阿草 清滋  名古屋大学, 工学部, 教授 (90026360)

研究分担者 酒井 正彦  名古屋大学, 工学部, 助手 (50215597)
研究期間 (年度) 1989 – 1990
キーワードプログラム再利用 / プログラム部品 / プログラム自動生成 / メタプログラミング / カスタマイズ / プログラム変換
研究概要

プログラム再利用技術に見られるように,標準的なプログラム部品を組み合わせてプログラム開発の効率化を目指すアプロ-チがある.このプログラム部品の組合せ方をプログラムとして実現すれば,仕様記述を入力にして自動的にプログラムを生成するプログラム自動生成の有効なアプロ-チとなる。
プログラム自動生成の難しさの一つは、プログラムの柔軟性による適用の範囲の広がりにあるが、生成されるプログラムのアプリケ-ション分野をある特定の分野に限ることにより,このようなメタプログラミングは現実的なものとなる.これにはパラメタライズされたジェネリックなプログラムにカスタマイズパラメ-タを入力する方法と,生成系とプログラム核を用意し仕様記述に従って生成系がプログラム核をカスタマイズする方法が考えられる.
本研究はこのようなメタプログラミングのための基礎を確立する事を目的としている。これには仕様記述のためのモデルを与えること,そのモデルに基づいてプログラム核やプログラム部品を検索すること,カスタマイズのためのプログラム変換を行なうことなどについての研究が必要である.本研究はこれまでの我々の研究を基に仕様化技術,部品合成技術の基礎となる理論,および技法を明らかにし,メタプログラミングの手法を確立することを目的として研究を行なった.特に,実用化に必要なカスタマイゼ-ションに伴って必要とされる最適化技法について研究を行なった.
本年は仕様の類似性の評価手法と階層化技術についても考察し、多くの複雑な部品の構築と部品デ-タベ-スからの検索を可能とし、実際的な規模のシステムの構築に利用できるメタプログラムの基礎を与えた。

  • 研究成果

    (10件)

すべて その他

すべて 文献書誌 (10件)

  • [文献書誌] Kiyoshi Agusa: "Improvement of Software Productivity with upper CASEs" Journal of Information Processing.

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] 濱口 毅: "代数的仕様の論理型プログラムへの変換" 情報処理学会第42回(平成3年前期)全国大会 講演論文集(5). 5. 51-52 (1991)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] 馬渕 謙: "自動プログラミング環境におけるソフトウェア理解支援システム" 情報処理学会 第42回(平成3年前期)全国大会 講演論文集(5). 5. 289-290 (1991)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] 酒井 正彦: "被覆集合帰納法と代数的仕様の検証の機械的支援に関する考察" 情報処理学会 第42回(平成3年前期)全国大会 講演論文集(5). 5. 49-50 (1991)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] 酒井 正彦: "代数的仕様検証のための拡張被覆集合帰納法の手続き化" 電子情報通信学会春季全国大会.

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] Kiyoshi Agusa: "Improvement of Software Productivity with upper CASEs" Journal of Information Processing.

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] Takeshi Hamaguchi: "How to Transform Algebraic Specification into a Logic Program" Proc. 42th Annual Convention IPS Japan. vol. 5. 51-52 (1991)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] Ken Mabuchi: "Software Understanding Support System for Automatic Programming Environment" Proc. 42th Annual Convention IPS Japan. vol. 5. 289-290 (1991)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] Masahiko Sakai: "Cover Set Induction and a Study about Mechanical Support for Verifying Algebraic Specification" Proc. 42th Annual Convention IPS Japan. vol. 5. 49-50 (1991)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] Masahiko Sakai: "Mechanizing Extended Cover Set Induction for Verifying Algebraic Specification" National Convention Record, 1991 The Institute of Electronics, Information and Communication Eng.

    • 説明
      「研究成果報告書概要(欧文)」より

URL: 

公開日: 1993-08-12  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi