Naohiko Hoshino

Research Interests

Research Papers

• Ugo Dal Lago and Naohiko Hoshino. The Geometry of Bayesian Programming.
  Mathematical Structures in Computer Science, Volume 31, Issue 6, pp. 633-681.
  
  
• 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.
  
  
• Naohiko Hoshino and Ichiro Hasuo. 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.
  
  
• Koko Muroya, Naohiko Hoshino and Ichiro Hasuo. Memoryful GoI with Recursion.
  Short abstract presented at LOLA 2015.
  
  
• 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

• Ugo Dal Lago, Naohiko Hoshino and Paolo Pistone. On the Lattice of Program Metrics.
• Naohiko Hoshino, Shin-ya Katsumata. Int Construction and Semibiproducts. RIMS-1676