研究課題
基盤研究(C)
メタ・プログラミング言語の処理系は、メタレベル実行によってオブジェクト・プログラムを生成し、そのプログラムを通常の処理系で実行するという2段階の処理を行う。第1段階の処理においては、メタ・プログラムの実行を表す継続(Continuation)と、オブジェクト・プログラムの実行を表す継続の2つの継続を適切に取り扱うことが必要である。この目的に対処するため、4年間の研究において、静的なshift/resetと動的なcontrol/promptの2種類の代表的コントロールオペレータをとりあげ、意味論、型システム、多相型との共存、理論的性質の解明、表現力の解明などの研究を行い、さらに、具体的なプログラム例の構成をおこなった。この成果をもとに、shift/resetおよびcontrol/promptをもつ型付きプログラム言語を、MLの拡張として与え、メタ・プログラミングの基礎言語とした。次のステップとして、多段階(マルチステージ)のメタ・プログラミングのための計算体系について考察し、現在最も強力と考えられる Walid Tahaらのラムダアルファという体系からステージ機能のない体系への翻訳を与えた。この翻訳により、ステージ機能の理論的解明と正しさの保証された実装とが可能になり、多段階メタ・プログラミング言語の基礎研究を大きく進展させた。これらの基礎的成果にもとづき、メタ・プログラムに対する高い信頼性の付与という当初目的に応じたプログラミング言語設計指針が得られた。
すべて 2008 2007 2006 2005 2004
すべて 雑誌論文 (10件) 学会発表 (13件)
Proc. ACM SIGPLSN Workshop on Partial Evalution and Program Manipulation(PWPM'08)
ページ: 147-157
IPSJ Transactions of Programming Vol.49, No.SIG 3(PRO 36)
ページ: 28-38
Frontiers of Computer Science inChina, Higher Education Press and Springer Vol.2, No.1
ページ: 12-21
Proc. International Symposium onFunctional and Logic Programming(FLOPS 2008), Lecture Notes in Com-puter Science 4989
ページ: 239-254
IPSJ Transactions on Programming Vol.48, No.SIG 10(PRO 33)
ページ: 138-150
Proc. Fifth Asian Symposium onProgramming Languages and Systems(APLAS 2007), Singapore, LectureNotes in Computer Science 4807
ページ: 239-254, Nov.-Dec
Higher-Order and Symbolic Computation Vol.20
ページ: 339-369
Proc. AEARU Workshop on Network Education
ページ: 169-181
Proc. Annual Conference of the Euro-pear Association for Computer Science Logic(CSL'04), Karpacz, Poland, Lec-ture Notes in Computer Science 3210
ページ: 442-457
IPSJ Transactions on Programming Vol.45, No.SIG12(PRO23)
ページ: 11-24