研究者データベースシステム
( お問い合わせは,研究機構まで )
カツマタ シンヤ
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))
閉じる