- 担当教員
- 小林 隆志
- 使用教室
- 木7-8(W831)
- 単位数
- 講義：2 演習：0 実験：0
- 講義コード
- 76003
- シラバス更新日
- 2014年8月8日
- 講義資料更新日
- 2014年8月8日
- アクセス指標
-
- 学期
- 前期
講義
第1回 導入・第一部 操作的意味論 (1) 言語IMPとIMPの操作的意味論
2014年04月10日(木) 7-8時限開講
講義
第2回 第一部 操作的意味論 (2) 整礎帰納法
2014年04月17日(木) 7-8時限開講
講義
第3回 第一部 操作的意味論 (3) Rule induction
2014年04月24日(木) 7-8時限開講
講義
第4回 第二部 表示的意味論 (1) 表示的意味論[
2014年05月01日(木) 7-8時限開講
講義
第5回 第二部 表示的意味論 (2) 操作的意味論と表示的意味論
2014年05月15日(木) 7-8時限開講
講義
第6回 第二部 表示的意味論 (3) 不動点定理
2014年05月22日(木) 7-8時限開講
講義
第7回 第三部 公理的意味論 (1) 公理的意味論・Hoare論理，表明言語Assn
2014年05月29日(木) 7-8時限開講
講義
第8回 第一部 操作的意味論 (5) rule inductionを用いた証明
2014年06月05日(木) 7-8時限開講
講義
第9回 第三部 公理的意味論 (2) Hoare論理・部分正当性表明・証明例
2014年06月12日(木) 7-8時限開講
講義
第10回 第三部 公理的意味論 (3) Hoare論理の健全性
2014年06月19日(木) 7-8時限開講
講義
第11回 第三部 公理的意味論 (4) Hoare論理の完全性：相対完全性
2014年06月26日(木) 7-8時限開講
講義
第12回 第三部 公理的意味論 (5) Hoare論理の限界と応用
2014年07月03日(木) 7-8時限開講
講義
第13回 第二部 表示的意味論 (4) ドメイン理論
2014年07月10日(木) 7-8時限開講
講義
第14回 第四部 応用 Rec言語
2014年07月17日(木) 7-8時限開講
講義
第15回 第四部 応用 属性文法
2014年07月24日(木) 7-8時限開講
