| 研究課題/領域番号 |
25540023
|
|---|
| 研究種目 |
挑戦的萌芽研究
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
ソフトウェア
|
|---|
| 研究機関 | 筑波大学 |
|---|
研究代表者 |
亀山 幸義 筑波大学, システム情報系, 教授 (10195000)
|
|---|
| 研究協力者 |
田中 麻峰 筑波大学, システム情報工学研究科
小堀 育男 筑波大学, システム情報工学研究科
|
|---|
| 研究期間 (年度) |
2013-04-01 – 2015-03-31
|
| 研究課題ステータス |
完了 (2014年度)
|
| 配分額 *注記 |
1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2014年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2013年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
|
|---|
| キーワード | コントロール抽象 / 関数型プログラム言語 / 計算モデル / 型システム / プログラム変換 / ソフトウェア基礎論 / プログラミング言語 |
|---|
| 研究成果の概要 |
本研究は、コントロール抽象を提供するコントロールオペレータがどのように定式化され、また、それらを用いてどのような制御構造が表現できるかについて研究を行った。成果として、限定継続コントロールオペレータにおける「結果型変更」機能を使った全てのプログラムが、その機能なしのプログラムに変換できること、つまり、主流の関数型言語OCamlやHaskellにおいて実行可能となることを示した。これにより、コントロールオペレータの応用範囲を劇的に広げることに成功した。この変換が型付けを保存することの厳密な証明を与え、さらに変換の実装を与え、本研究の成果を一般プログラマが利用できるようにした。
|
