8th TPP (2012) in Chiba University – Program
November 21(Wed.)(水)
13:00 – 13:05 opening
13:05 – 14:25 session 1
- 木下佳樹(産業技術総合研究所)
-
SetoidがつくるCatoidの完備性(completeness)と余完備性(cocompleteness)
- 奥村健太郎(京都大学情報学研究科知能情報学専攻)
-
モジュール化されたオブジェクト指向計算体系の拡張
14:35 – 15:55 session 2
- 中野圭介(電気通信大学)
-
Playing with Coinduction
- 須田啓司(千葉大学大学院理学研究科)
-
Coqに於けるMonads with Predicate Liftingsの実装と考察
16:05 – 17:25 session 3
18:00 – 20:00 party
於 けやき会館 3階レセプションホール (at KEYAKI KAIKAN (University Hall) 3F Reception Hall)
November 22(Thu.)(木)
9:10 – 10:30 session 4
- Jacques Garrigue(名古屋大学)
-
Avoiding binders: rooted recursive modules and semantic polymorphism
- 高橋祐人(名古屋大学大学院多元数理科学研究科)
-
証明支援系 Coq による離散対数型暗号の形式化
10:40 – 12:00 session 5
- Reynald AFFELDT(産業技術総合研究所)
-
Formalization of Shannon's Theorems
- 坂口和彦(筑波大学情報科学類)
-
Coq による PostScript プログラミング
13:30 – 14:10 session 6
- 佐藤雅彦(京都大学情報学研究科)
-
Essence of de Bruijn Index (slide)