| 研究課題/領域番号 |
11694130
|
|---|
| 研究種目 |
基盤研究(B)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
計算機科学
|
|---|
| 研究機関 | 東京大学 |
|---|
研究代表者 |
武市 正人 東京大学, 大学院・情報理工学系研究科, 教授 (10011165)
|
|---|
| 研究分担者 |
岩崎 英哉 電気通信大学, 電気通信学部, 助教授 (90203372)
胡 振江 東京大学, 大学院・情報理工学系研究科, 助教授 (50292769)
尾上 能之 東京大学, 大学院・工学系研究科, 助手 (80292770)
|
|---|
| 研究期間 (年度) |
1999 – 2001
|
| 研究課題ステータス |
完了 (2001年度)
|
| 配分額 *注記 |
9,600千円 (直接経費: 9,600千円)
2001年度: 3,100千円 (直接経費: 3,100千円)
2000年度: 3,100千円 (直接経費: 3,100千円)
1999年度: 3,400千円 (直接経費: 3,400千円)
|
|---|
| キーワード | プログラム運算 / 融合変換 / 運算 / アルゴリズム / 関数プログラミング / 構成的手法 |
|---|
| 研究概要 |
本研究は、プログラムを効率的に操作することのできるプログラム運算システムを開発しようとするものである。本国際学術共同研究では、構成的アルゴリズム論の創始者であるRichard Bird教授と、それに着目して実用システムの検討を進めてきている代表者(武市正人)の両者のグループで緊密な連携をとって、研究を進め、理論的考察を深めるとともに、工学的に実用的なシステムを構築することを目的とした。
本研究の最終年次である本年度は、これまでの共同討議をもとに、構成的アルゴリズム論の理論的基礎に基づく運算システムの具体的な設計を行ない、実現したシステムをWEBを通じて公開した。
本研究の期間を通じて、とくに、Allegoryにおいて変換を構造化する手法(Bird, Gibbons担当)、部分計算・並列化などの変換を構造化する手法(武市、胡担当)、それらの実現法に関する検討(岩崎、尾上担当)、変換モジュールの効率的な統合に関する研究(de Moor,胡担当)、変換システムの漸増的機能強化に関する研究(武市、胡担当)、これまでに開発した融合変換システムHYLOの改良(岩崎、尾上担当)などの研究で成果をあげることができた。
一昨年、昨年には、ワークショップを開催するなど、関連分野の研究者にも参加を求めて成果を発表したが、本年度の研究の推進にあたっては、2002年2月に東京において、Oxfordの研究者と最終取りまとめを行ない、研究を総括した。
3年間の成果報告として、ワークショップ記録、および討議資料をまとめ、関連研究者に配布した。
|
