星野直彦 (Naohiko Hoshino) - マイポータル

基本情報

所属: 京都大学

J-GLOBAL ID: 201401012474664712
researchmap会員ID: 7000009103

論文

The Geometry of Bayesian Programming.

Ugo Dal Lago, Naohiko Hoshino

34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019 1-13 2019年査読有り
Partial Traces on Additive Categories.

Naohiko Hoshino

Electr. Notes Theor. Comput. Sci. 341 219-237 2018年査読有り
Semantics of higher-order quantum computation via geometry of interaction

Ichiro Hasuo, Naohiko Hoshino

ANNALS OF PURE AND APPLIED LOGIC 168(2) 404-469 2017年2月査読有り
Memoryful Geometry of Interaction II Recursion and Adequacy

Koko Muroya, Naohiko Hoshino, Ichiro Hasuo

ACM SIGPLAN NOTICES 51(1) 748-760 2016年1月査読有り
Memoryful geometry of interaction: From coalgebraic components to algebraic effects

Naohiko Hoshino, Koko Muroya, Ichiro Hasuo

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 52:1-52:10 2014年査読有り
A representation theorem for unique decomposition categories

Naohiko Hoshino

Electronic Notes in Theoretical Computer Science 286 213-227 2012年9月24日査読有り
Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects

Naohiko Hoshino

2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS) 385-394 2012年査読有り
Semantics of Higher-Order Quantum Computation via Geometry of Interaction

Ichiro Hasuo, Naohiko Hoshino

26TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2011) 237-246 2011年査読有り
A modified GoI interpretation for a linear functional programming language and its adequacy

N. Hoshino

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6604 LNCS 320-334 2011年査読有り