Sojo University · General Education Center · 准教授

Research keywordscategory theory・multirelations・Kleisli composition・probabilistic Kleene algebras・semiring semantics・relational models

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad.2018 · Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings
• Kleisli, Parikh and Peleg compositions and liftings for multirelations2017
• Axiom of Choice and Zorn's Lemma in Cantor Categories2017 · Bulletin of Informatics and Cybernetics, 統計科学研究会
• Relational Formalisations of Compositions and Liftings of Multirelations2015

• 「関係的・代数的手法による確率的システムの解析」2016
• 「確率システムの開発及び検証の形式手法」2010

• Official profile