分野別セミナー

講演プログラム：

14:00 - 14:30 森 雅生（東京工業大学）：関手データモデルに関する実務的見解
14:30 - 15:00 中村誠希（東京工業大学）：Kleene寓圏のAntimirov偏微分について
15:00 - 15:15 [休憩]
15:15 - 15:45 西澤弘毅（神奈川大学）：Multi-valued multirelations
15:45 - 16:15 河原康雄（九州大学）：関係の連続性と陰関数の定理
16:15 - 16:30 [休憩]
16:30 - 17:00 田中義人（九州産業大学）：Semilattices with operatorsのquasi-identities
17:00 - 18:00 自由討論（当日飛び入り講演OKです！）
18:30 - 懇親会

リンク
　セミナーHP
　鹿児島大学理学部2号館5階502