2012 Fiscal Year Annual Research Report
| Project/Area Number |
21300005
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
亀山 幸義 筑波大学, システム情報系, 教授 (10195000)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
浅井 健一 お茶の水女子大学, 人間文化創成科学研究科, 准教授 (10262156)
五十嵐 淳 京都大学, 情報学研究科, 教授 (40323456)
|
|---|
| Project Period (FY) |
2009-04-01 – 2013-03-31
|
| Keywords | プログラム言語論 / プログラム生成 / 型システム / 高信頼ソフトウェア / プログラムの論理 |
|---|
| Research Abstract |
本研究の最終年度である平成24年度は，『計算エフェクトを持つコード生成のためのプログラム言語』についてこれまで研究してきた基礎理論、計算体系と型システムの設計・実装、応用例の作成の各項目に関してまとめとなる研究を行った。特に、種々の計算エフェクトを表現する万能性を持つ「限定継続」と呼ばれるコントロール・オペレータを、コード生成のための計算体系に導入し、型安全性を保証するための研究を行い、その型推論器の作成、名前呼びコントロールオペレータの体系の定式化と推論体系の確立、正しさの保証された型主導部分計算器の設計と作成などを行った。
これまでの研究成果を集約し、新たな応用への方向を模索することを目的として、国際研究集会（NII湘南セミナー, 和文題目「ステージ化プログラム言語理論と高性能計算」）を主催し、世界のトップレベル研究者20名以上の参加を得た。この集会では、本研究をはじめとするプログラム言語研究の成果を、高性能計算の研究に役立てるためにはどうしたらよいか、という視点での議論を行った。この会議の成果の1つとして、高性能計算分野におけるプログラム生成の課題となる問題群を集めて、Shonan Challengeという名称で公開し、この分野の研究の更なる発展に貢献した。
また、本研究課題の成果をまとめ発信するため、ステージ化計算に関するワークショップを2013年２月に２日間にわたり開催した。ここでは本研究課題のまとめとなる発表7件のほかに、ゲストによる講演を行い、本課題の成果を発信した。
|
| Current Status of Research Progress |
Reason
24年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
24年度が最終年度であるため、記入しない。
|
