[English/Japanese]
プログラム言語特論 (Advanced Course in Programming Languages)
筑波大学 システム情報工学研究群 情報理工学位プログラム
筑波大学 システム情報工学研究群 コンピュータサイエンス専攻
- 担当教員:
亀山幸義、
海野広志
- 曜日・時限: 春AB, 火2
- 教室: オンライン授業
このページには、2020年度 筑波大学大学院の授業『プログラム言語特論』の
資料を置きます。授業資料は manaba のこの授業のページにおきます.
目次
-
シラバス
- 講義計画と授業スライド (亀山担当分)
関数プログラミングと型システムを用いた「プログラム生成」をテーマとします。
授業資料は manaba
から取得してください。
- 最終レポートの題材となる論文; 各自、以下の中から1つを選んでください。
- 論文紹介の題材1 (一般的な文献):
"A Gentle Introduction to Multi-Stage Programming", Walid Taha,
Domain-Specific Program Generaton, Internatoinal Seminar, Dagstuhl,
pp.30-50,
2003.
pdf
- 論文紹介の題材2 (一般的な文献):
"GoMeta! A Case for Generative Programming and DSLs in Performance
Critical Systems",
Tiark Rompf et al.
Proc. of the 1st Summit on Advances in Programming Languages (SNAPL'15)
pp.238-261,
2015.
pdf
- 論文紹介の題材3 (個別の事例):
"Terra: A Multi-Stage Langauage for High-Performance Computing",
Zachary DeVito et al., PLDI'13, 2013.
pdf
- 論文紹介の題材4 (個別の事例):
"Halide: A Language and Compiler for Optimizing Parallelism,
Locality, and Recomputation in Image Processing Pipelines",
Jonathan Ragan-Kelly et al., PLDI'13, 2013.
pdf
- 論文紹介の題材5 (個別の事例):
"Functional Pearl: A SQL to C Compiler in 500 Lines of Code",
Tiark Rompf and Nada Amin, Proc. ICFP'15, 2015.
pdf
- 論文紹介の題材6 (個別の事例):
"Multi-stage progrmaming with functors and mondas: eliminating abstraction overhead
from generic code", by Jacques Carette and Oleg Kiselyov,
Proc. International Conference on Generative Programming and Component Engineering,
pp.256-274, 2006.
pdf
参考書
-
Dowek & Levy, "Introduction to the Theory of Programming Languages"
Undergraduate Topics in Computer Science, Springer, 2011.
- Benjamine C. Pierce, "Types and Programming Languages", MIT Press, 2002.
亀山 幸義 (kam[at]cs . tsukuba . ac . jp)
海野 広志 (uhiro[at]cs . tsukuba . ac. jp)