日時: 2017年 2月 17日 (金) 14:00〜
場所: 鹿児島大学理学部2号館5階502
( https://www.kagoshima-u.ac.jp/about/campusmap.html )
講演プログラム:
- 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 — 懇親会
講演希望,不明な点,質問などありましたら,井口までご連絡ください.