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

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

所属

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

職種教授

著書・論文歴
2025/04	論文	Differentiable causal computations via delayed trace (extended version) Mathematical Structures in Computer Science 35 (共著)
2024	論文	Composing Codensity Bisimulations Proceedings of LICS,2.167361111111111-2.1756944444444444頁 (共著)
2024	論文	Control-data separation and logical condition propagation for efficient inference on probabilistic programs Journal of Logical and Algebraic Methods in Programming 136,100922 (共著)
2023	論文	A Categorical Framework for Program Semantics and Semantic Abstraction Proceedings of MFPS, ENTICS 3 (共著)
2023	論文	Divergences on Monads for Relational Program Logics Mathematical Structures in Computer Science 33 (45387),427-485頁 (共著)
2022	論文	Codensity Games for Bisimilarity New Generation Computing 40 (2),403-465頁 (共著)
2022	論文	Flexible presentations of graded monads Proceedings of ICFP, PACMPL 6(ICFP),902-930頁 (共著)
2022	論文	Fully abstract models for effectful λ-calculi via category-theoretic logical relations Proceedings of POPL, PACMPL 6(POPL),1-28頁 (共著)
2022	論文	On Inverse Operators in Dynamic Epistemic Logic Proceedings of LFCS, LNCS 13137,217-235頁 (共著)
2022	論文	Stone dualities from opfibrations Journal of Logical and Algebraic Methods in Programming 127 (共著)
2022	論文	The Lattice-Theoretic Essence of Property Directed Reachability Analysis Proceedings of CAV, LNCS 13371,235-256頁 (共著)
2022	論文	Weakest preconditions in fibrations Mathematical Structures in Computer Science 32 (4),472-510頁 (共著)
2021	論文	Architecture-Guided Test Resource Allocation via Logic Proceedings of TAP, LNCS 12740,22-38頁 (共著)
2021	論文	Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation Proceedings of LICS,1-14頁 (共著)
2021	論文	Fibrational bisimulations and quantitative reasoning: Extended version Journal of Logic and Computation 31 (6),1526-1559頁 (共著)
2021	論文	Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras Proceedings of CONCUR, LIPIcs 203,0.8756944444444444-0.8902777777777777頁 (共著)
2021	論文	Generalized Bounded Linear Logic and its Categorical Semantics Proceedings of FoSSaCS, LNCS 23650,226-246頁 (共著)
2021	論文	Graded Hoare Logic and its Categorical Semantics Proceedings of ESOP, LNCS 12648,234-263頁 (共著)
2021	論文	Higher-order probabilistic adversarial computations: categorical semantics and program logics Proceedings of ICFP, PACMPL 5(ICFP),1-30頁 (共著)
2021	論文	Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty Proceedings of NFM, LNCS 12673,198-213頁 (共著)
2020	論文	Interaction Laws of Monads and Comonads Proceedings of LICS,604-618頁 (共著)
2020	論文	Relational Differential Dynamic Logic Proceedings of TACAS, LNCS 12078,191-208頁 (共著)
2020	論文	Stone Dualities from Opfibrations Proceedings of RAMiCS, LNCS 12062,221-236頁 (共著)
2020	論文	Weakest Preconditions in Fibrations Proceedings of MFPS, ENTCS 352,5-27頁 (共著)
2019	論文	A coalgebraic view on reachability Commentationes Mathematicae Universitatis Carolinae 604 (4),605-638頁 (共著)
2019	論文	Codensity Games for Bisimilarity Proceedings of LICS (共著)
2019	論文	Compositional Semantics for Relaxations of Differential Privacy Proceedings of LICS (共著)
2019	論文	Differentiable Causal Computations via Delayed Trace Proceedings of LICS (共著)
2019	論文	Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching Proceedings of FoSSaCS, LNCS 11425,523-540頁 (共著)
2019	論文	Probabilistic Relational Reasoning via Metrics Proceedings of LICS (共著)
2018	論文	A Double Category Theoretic Analysis of Graded Linear Exponential Comonads Proceedings of FoSSaCS, LNCS 10803,110-127頁 (単著)
2018	論文	Codensity Lifting of Monads and its Dual Logical Methods in Computer Science 14 (4) (共著)
2018	論文	Fibrational Bisimulations and Quantitative Reasoning Proceedings of CMCS, LNCS 11202,190-213頁 (共著)
2017	論文	A Semantic Account of Metric Preservation Proceedings of POPL,545-556頁 (共著)
2016	論文	Combining Effects and Coeffects via Grading Proceedings of ICFP,476-489頁 (共著)
2016	論文	Towards a Formal Theory of Graded Monads Proceedings of FoSSaCS, LNCS 9634,513-530頁 (共著)
2015	論文	Codensity Liftings of Monads Proceedings of CALCO (共著)
2014	論文	Parametric Effect Monads and Semantics of Effect Systems Proceedings of POPL,633-645頁 (単著)
2013	論文	Preorders on Monads and Coalgebraic Simulations Proceedings of FoSSaCS, LNCS 7794,145-160頁 (共著)
2013	論文	Relating Computational Effects by $\top\top$-lifting Information and Computation 222,228-246頁 (単著)
2012	論文	Extensional Models of Untyped Lambda-Mu Calculus Proceedings of CL&C, EPTCS 97,35-47頁 (共著)
2011	論文	Relating Computational Effects by $\top\top$-Lifting Proceedings of ICALP, LNCS 6756,174-185頁 (単著)
2010	論文	A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories Mathematical Proceedings of Cambridge Philosophical Society 148,107-109頁 (共著)
2010	論文	Categorical Descriptional Composition Proceedings of APLAS, LNCS 6461,222-238頁 (単著)
2009	論文	Algebraic Fusion of Functions with an Accumulating Parameter and Its Improvement Journal of Functional Programming 18 (45418),781-819頁 (共著)
2008	論文	A Characterisation of Lambda Definability with Sums via $\top\top$-Closure Operators Proceedings of CSL, LNCS 5213,278-292頁 (単著)
2008	論文	Attribute Grammars and Categorical Semantics Proceedings of ICALP, LNCS 5126,271-282頁 (単著)
2006	論文	Algebraic Fusion of Functions with an Accumulating Parameter and Its Improvement Proceedings of ICFP,227-238頁 (共著)
2005	論文	A Semantic Formulation of $\top\top$-lifting and Logical Predicates for Computational Metalanguage Proceedings of CSL, LNCS 3634,87-102頁 (単著)
2004	論文	A Generalisation of Prelogical Predicates to Simply Typed Formal Systems Proceedings of ICALP, LNCS 3142,831-845頁 (単著)
2001	論文	Comparing Type-Based and Proof-Directed Decompilation. Proceedings of WCRE,362-367頁 (共著)
2001	論文	Proof-Directed De-compilation of Low-Level Code Proceedings of ESOP, LNCS 2028,352-366頁 (共著)