[English/Japanese]
プログラム言語特論 (Advanced Course in Programming Languages)
筑波大学 システム情報工学研究科 コンピュータサイエンス専攻
(CS専攻 博士前期科目一覧)
- 担当教員:
亀山幸義、
海野広志
- 曜日・時限: 春AB, 火2
- 教室: 3B302
このページには、2018年度 筑波大学大学院の授業『プログラム言語特論』の
資料を置きます。
連絡事項
- レポートの情報は、manaba ページに記載しました。締め切りは 2018/7/6 です。
- 2018/06/05を休講にして、そのかわりに 2018/06/26 に授業をおこないます。
- 授業資料を manabaページに移動しました。
- 2018/05/22は休講です。このページの論文や参考資料(スライド)を自習してください。(2018/05/18)
- 1回目の講義をこないました。資料をここにはりつけておきます。 (2018/05/15)
- このページを作成。 (2018/03/04)
目次
-
シラバス
- 講義計画と授業スライド (亀山担当分)
関数プログラミングと型システムを用いた「プログラム生成」をテーマとします。
授業資料は 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, 総合研究棟B 1008号室)
海野 広志 (uhiro[at]cs . tsukuba . ac. jp, 総合研究棟B 1027号室)