第15回 論理と計算セミナー

日時: 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 — 懇親会

講演希望,不明な点,質問などありましたら,井口までご連絡ください.

コメントは受け付けていません。