マス・フォア・インダストリ研究所

セミナー



リスト 全て(掲示受付分)(1474) 今日・明日のセミナー(0)

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


開催時期 2017-02-17 14:00~2017-02-17 18:00

場所 鹿児島大学理学部 2号館 5階 502

受講対象  

講師 森 雅生 (東京工業大学), 中村 誠希 (東京工業大学), 西澤 弘毅 (神奈川大学), 河原 康雄 (九州大学), 田中 義人 (九州産業大学)

講演プログラム:

    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 - 懇親会

リンク