教員情報 - 星野　直彦

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

所属情報学部情報学科

職種准教授

学会発表
1.	2007	Linear Realizability (Computer Science Logic)
2.	2011	A modified GoI interpretation for a linear functional programming language and its adequacy (International Conference on Foundations of Software Science and Computation Structures)
3.	2011	Semantics of higher-order quantum computation via geometry of interaction (Logic in Computer Science)
4.	2012	A representation theorem for unique decomposition categories (Mathematical Foundations of Programming Semantics)
5.	2012	Step indexed realizability semantics for a call-by-value language based on basic combinatorial objects (Logic in Computer Science)
6.	2014	Memoryful geometry of interaction: from coalgebraic components to algebraic effects (Logic in Computer Science)
7.	2016	Memoryful geometry of interaction II: recursion and adequacy (Principle of Programming Languages)
8.	2018	Partial Traces on Additive Categories (Mathematical Foundations of Programming Semantics)
9.	2019	The Geometry of Bayesian Programming (Logic in Computer Science)
10.	2023	On the Lattice of Program Metrics (Formal Structures for Computation and Deduction)
11.	2025	On the Metric Nature of (Differential) Logical Relations (International Conference on Formal Structures for Computation and Deduction (FSCD 2025))