| 研究課題/領域番号 |
23700034
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
ソフトウエア
|
|---|
| 研究機関 | 北陸先端科学技術大学院大学 |
|---|
研究代表者 |
千葉 勇輝 北陸先端科学技術大学院大学, 情報科学研究科, 助教 (10509756)
|
|---|
| 研究期間 (年度) |
2011-04-28 – 2015-03-31
|
| 研究課題ステータス |
完了 (2014年度)
|
| 配分額 *注記 |
2,600千円 (直接経費: 2,000千円、間接経費: 600千円)
2013年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2012年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2011年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
|
|---|
| キーワード | プログラム変換 / 単純型付項書き換えシステム / パターンマッチング / 単純型付き項書き換えシステム / 項書き換え |
|---|
| 研究成果の概要 |
項書き換えに基づくパターンによるプログラム変換の枠組みを拡張し，高階関数を直接取り扱うことが出来るプログラム変換枠組みの構築を目指した．理論的計算モデルとして，単純型付項書き換えシステム(Simply Typed Term Rewriting System，STTRS)を採用した．プログラム変換の正当性を検証するための手続きとしてSTTRS等価変換手続きを提案し，その理論的正しさを証明した．
STTRSの枠組みで変換パターンを作成するために，STTRSパターンの概念を提案した．また，STTRSパターンによるプログラム変換を実現するために，STTRSパターンマッチングアルゴリズムを提案した．
|
