教員情報 - 星野　直彦

ホシノ　ナオヒコ Hoshino Naohiko
星野　直彦

所属情報学部情報学科

職種助教

著書・論文歴
1.	2007	その他	Linear Realizability Lecture Notes in Computer Science 4646,420-434頁 (単著)
2.	2011	その他	A modified GoI interpretation for a linear functional programming language and its adequacy LNCS 6604,320-334頁 (単著)
3.	2011	その他	Semantics of Higher-Order Quantum Computation via Geometry of Interaction Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science (共著)
4.	2012	その他	A representation theorem for unique decomposition categories Electronic Notes in Theoretical Computer Science 286,213-227頁 (単著)
5.	2012	その他	Step indexed realizability semantics for a call-by-value language based on basic combinatorial objects In Proceedings of LICS 2012,385-394頁 (単著)
6.	2014	その他	Memoryful geometry of interaction: from coalgebraic components to algebraic effects In Proccedings of LICS 2014 (共著)
7.	2016	その他	Memoryful geometry of interaction II: recursion and adequacy In Proceedings of POPL 2016,748-760頁 (共著)
8.	2017	論文	Semantics of higher-order quantum computation via geometry of interaction Annals of Pure and Applied Logic 168 (2),404-469頁 (共著)
9.	2018	その他	Partial Traces on Additive Categories Electronic Notes in Theoretical Computer Science 341,219-237頁 (単著)
10.	2019	その他	The Geometry of Bayesian Programming In Proccedings of LICS 2019 (共著)
11.	2021	論文	The geometry of Bayesian programming Mathematical Structures in Computer Science 31 (6),633-681頁 (共著)
12.	2022	著書	理論計算機科学事典 (共著)
13.	2023	その他	On the Lattice of Program Metrics Leibniz International Proceedings in Informatics (LIPIcs) 260 (20),1-19頁 (共著)