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

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

所属

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

職種教授

学会発表
2024/04/06	Codensity Liftings and Their Applications (17th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2024))
2021/11/10	回帰型ニューラルネットワークの圏論的分析 (IBIS 2021)
2021/09/02	Divergences on Monads for Relational Program Logic (MFPS2021)
2021/03/10	Weakest Preconditions in Fibrations (プログラミングおよびプログラミング言語ワークショップ PPL 2021)
2020/06/29	A Double Category Theoretic Analysis of Graded Linear Exponential Comonads (Linearity & TLLA 2020)
2019/08/31	物理情報システムを数学的に捉える (代数, 論理, 幾何と情報科学研究集会 ALGI (Algebra, Logic and Geometry in Informatics))