研究者

J-GLOBAL ID：201401012474664712 更新日: 2020年08月31日

星野直彦

Hoshino Naohiko

所属機関・部署：
論文 (9件)：

Ugo Dal Lago, Naohiko Hoshino. The Geometry of Bayesian Programming. 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019. 2019. 1-13
Naohiko Hoshino. Partial Traces on Additive Categories. Electr. Notes Theor. Comput. Sci. 2018. 341. 219-237
Ichiro Hasuo, Naohiko Hoshino. Semantics of higher-order quantum computation via geometry of interaction. ANNALS OF PURE AND APPLIED LOGIC. 2017. 168. 2. 404-469
Koko Muroya, Naohiko Hoshino, Ichiro Hasuo. Memoryful Geometry of Interaction II Recursion and Adequacy. ACM SIGPLAN NOTICES. 2016. 51. 1. 748-760
Naohiko Hoshino, Koko Muroya, Ichiro Hasuo. Memoryful geometry of interaction: From coalgebraic components to algebraic effects. Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014. 2014. 52:1-52:10

もっと見る

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM