| 研究課題/領域番号 |
25280020
|
|---|
| 研究機関 | 筑波大学 |
|---|
研究代表者 |
亀山 幸義 筑波大学, システム情報系, 教授 (10195000)
|
|---|
| 研究分担者 |
浅井 健一 お茶の水女子大学, 大学院人間文化創成科学研究科, 准教授 (10262156)
五十嵐 淳 京都大学, 情報学研究科, 教授 (40323456)
海野 広志 筑波大学, システム情報系, 助教 (80569575)
|
|---|
| 研究期間 (年度) |
2013-04-01 – 2016-03-31
|
| キーワード | ディペンダブルコンピューティング / プログラミング言語 / プログラム生成 / ソフトウェア検証 / プログラム変換 |
|---|
| 研究実績の概要 |
コード生成法は、一般的なプログラムから、特定の実行環境や特定のパラメータに応じたプログラムを生成することにより、プログラムの実行性能を高める手法であり、本研究の目的は、そのようなコード生成法の信頼性を高めることである。本年度は以下の成果を得た。
（１）計算エフェクトを利用した高性能プログラムの生成における安全性について理論的研究を行い、局所的な破壊的変数を持つ体系に対して、型安全性を保証することに成功した。オープンコードを局所的に保存し再利用するという手法はコード生成に頻出するプログラミングパターンであるが、生成されたコードが自由変数を持たないことなどの安全性の保証が困難であった。本研究の成果により、一定の範囲で、安全性を自動的に検査することが可能となった。
（２）コード生成法の適用対象の１つとして、データベースの問い合わせ言語SQLのコードを生成する手法について研究をおこない、以下の成果を得た。SQLを関数型言語に埋め込み、合成可能な問い合わせ言語を構成した「統合言語クエリ」に対して、単一のSQLコードを生成する手法として、「終タグレス法」を用いたプログラム変換として定式化するという新たな着想に基づいて定式化を行った。本研究の手法では、対象言語のプログラムの型付けが、ホスト言語の型システムにより自動的にチェックされるため、プログラム変換・コード生成のルールの記述における間違いを早期に発見できるため、拡張が容易で信頼性が高いという特徴がある。
（３）コード生成法の新たな展開として、モジュールおよび型宣言（および一般の宣言）の生成という新たな研究課題を設定して、提案を行った。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
コード生成法の基礎理論、コード生成を用いた応用領域への展開の両面で、研究は順調に進んでいる。また、当初計画になかった内容として、コード生成法の新たな研究課題（モジュールの生成など）に思い至り、提案を行うにいたっている。
|
| 今後の研究の推進方策 |
平成２７年度は最終年度であるため、これまでの成果をさらに発展させるとともに、論文としてまとめて情報発信していく予定である。また、システムとして実装した部分については、整理をしてインターネットで公開することを目指す。
|
| 次年度使用額が生じた理由 |
本研究経費で使用予定のもののうち、大学院生を雇用してのシステム作成を平成２７年度に集中して行うよう研究計画を変更したため。
|
| 次年度使用額の使用計画 |
本研究の成果物としてのシステムおよび実例の構築を行うため、機材および人件費として使用する予定である。
|
