[GB21911] プログラム言語論II (集中講義)
- 担当教員:
非常勤講師,
世話人:
亀山幸義
(電子メイル: kam [at] cs.tsukuba.ac.jp)
- 曜日・時限: 集中講義
このページには,2018年度の『プログラム言語論II』(集中講義)の情報を置きます.
ペアとなっているこのページには,2018年度の『プログラム言語論I』*の
情報は,
こちらのページを見てください。
- 学生向け掲示 (履修登録は 8/1 〜 11/14です)
- 授業日時(集中講義): 2018年 11月 17日(土) 10:00-18:00, 18日(日) 10:00-18:00
- 教室: 総合研究棟B (SB棟) 0108 (1階)
- 講師: Adel Bouhoula教授 (チュニジア、カルタゴ大学教授)
- 使用言語: 英語
- テーマ: 形式技法を用いた安全・安心な情報システムの構築
- 評価: レポート
亀山幸義