IPA


公募結果一覧へ

 



2007年度第U期 未踏ソフトウェア創造事業  採択案件概要

 


1.担当PM

  竹田 正幸PM (九州大学大学院 システム情報科学研究院 教授)


2.採択者氏名

開発代表者

阿部 正佳 (フリー)

共同開発者

山崎 淳(株式会社ミラクルアーツ 執行役員)

山根 雅司(株式会社ワイズケイ プログラマ)


3.プロジェクト管理組織


 有限会社アカデミア


4.採択金額


  7,500,000


5.テーマ名


 実装言語独立でモジュラリティーの良いコンパイラキット SCK


6.関連Webサイト


  なし


7.申請テーマ概要

SCK (S-expression based Compiler Kit) は昨年度の未踏プロジェクト: 「実装言語独立でモジュラリティーの良いコンパイラキット」において開発した、マルチソース・マルチターゲットのコンパイラ作成支援環境である。

コンパイラキット(作成支援環境、インフラ)は、単一のコンパイラと異なり、ユーザはそれを構成する各モジュールを選択的に利用するものであるから、それらのモジュラリィー、インタフェースの簡潔さと柔軟性が極めて重要であるにもかかわらず、既存のコンパイラ作成支援環境はその実装言語に依存した複雑なインタフェースのみを提供し続けてきた。

SCK では、データ構造というものを実装言語とは全く無関係な、独立した簡潔なプログラミング言語として定義し、さらに徹底的なモジュール分割を行うことで、実装言語から独立したコンパイラ部品を提供することに成功している。実際の実装言語は Emacs Lisp であるが、Emacs Lisp の知識がなくても SCK を利用することが出来る。これが実装言語独立の意味である。さらに、Emacs Lisp は記号処理向きの柔軟なプログラミング言語であり、SCK Emacs 上で利用するユーザには、強力で快適なプログラミング環境が提供される。

一方で、短い開発期間で作成された SCK はコード最適化、ドキュメンテーション、サポートしているソース言語とターゲット(現在は C言語、 X86 SPARC のみ)の点でまだ不十分である。しかし、この間の学会発表(PRO, PTT)での感触は非常に良く、このプロジェクトは継続してより完成度を上げ、それにより広く使ってもらうための重要な時期にある。


8.採択理由

 大変に重要な課題であり、開発者の理論的・技術的基盤もしっかりしている。2006年度採択課題からのさらなる進展が期待できる。




  ページトップへ   

 

 

 


  Copyright(c) Information-technology Promotion Agency, Japan. All rights reserved 2004