Naohiko Hoshino
I am an assistant professor at Sojo University.
email: nhoshino@cis.sojo-u.ac.jp
Research interests
Semantics of programming languages
Research papers
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone. On the Lattice of Program Metrics.
In proceedings of FSCD 2023: 20:1-20:19. [ https://doi.org/10.4230/LIPIcs.FSCD.2023.20 ]
Ugo Dal Lago and Naohiko Hoshino. The geometry of Bayesian programming.
Math. Struct. Comput. Sci. 31(6): 633-681 (2021)
Ugo Dal Lago and Naohiko Hoshino. The Geometry of Bayesian Programming.
In proceedings of LICS 2019.
Naohiko Hoshino. Partial Traces in Additive Categories. [ elsevier ]
In Proceedings of MFPS 2018. Electronic Notes in Theoretical Computer Science, Volume 341, pages 219-237, 2018.
Ichiro Hasuo and Naohiko Hoshino. Semantics of Higher-Order Quantum Computation via Geometry of Interaction. [ elsevier ]
Annals of Pure and Applied Logic, 168(2):404-469, 2017.
Koko Muroya, Naohiko Hoshino and Ichiro Hasuo. Memoryful Geometry of Interaction II: Recursion and Adequacy. [ acm ]
In Proceedings of POPL 2016, pages 748-760, ACM.
Naohiko Hoshino, Koko Muroya and Ichiro Hasuo. Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects. [ acm ]
In Proccedings of LICS 2014, paper 52.
Naohiko Hoshino. Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects. [ IEEE ]
In Proceedings of LICS 2012, pages 385-394, IEEE Computer Society.
Naohiko Hoshino. A Representation Theorem for Unique Decomposition Categories.
In Proceedings of MFPS 2012. Electronic Notes in Theoretical Computer Science, Volume 286, pages 213-227, 2012.
Ichiro Hasuo and Naohiko Hoshino. Semantics of Higher-Order Quantum Computation via Geometry of Interaction. [ IEEE ]
In Proceedings of LICS 2011, page 237-246, IEEE Computer Society.
Naohiko Hoshino. A Modified GoI Interpretation for a Linear Functional Programming Language and its Adequacy. [ Springer ]
In Proceedings of FoSSaCS 2011, volume 6604 of LNCS, pages 320-334, Springer.
Naohiko Hoshino. Linear Realizability. [ Springer ]
In Proceedings of CSL 2007, volume 4646 of LNCS, pages 420-434, Springer.
Manuscripts
Naohiko Hoshino, Shin-ya Katsumata. Int Construction and Semibiproducts. RIMS-1676