教員情報 - 勝股　審也 | 京都産業大学

カツマタ　シンヤ KATSUMATA SHINYA
勝股　審也

所属

京都産業大学理学部数理科学科

職種教授

講師・講演
2025/02/06	Codensity liftings and their applications to semantics (ENS de Lyon)
2024/07/13	コンピュータを数学する - AI 時代を支えるプログラムの安心・安全を目指して - (キャンパスプラザ京都)
2024/06/26	ホーア論理のモナド的モデル (京都産業大学)
2022/12/16	Differentiable Causal Computation via Delayed Trace (成功大學未来館)
2022/06/29	ホーア論理のモナド的モデル
2021/11/25	Divergences on Monads for Relational Program Logic
2021/02/05	Codensity Games for Bisimilarity
2020/12/15	Codensity Games for Bisimilarity
2020/11/06	Codensity Games for Bisimilarity
2020/01/25	物理情報システムと圏論 (慶應義塾大学矢上キャンパス厚生棟大会議室)