Faculty Information - Hoshino Naohiko | SOJO UNIVERSITY

（Last updated : 2025-11-06 11:58:42）

Visruth.jpg not found

Hoshino Naohiko

Department / Course FACULTY OF COMPUTER AND INFORMATIONSCIENCES Department of Computer and Information Sciences

Job

Book and thesis
1.	2007	Other	Linear Realizability Lecture Notes in Computer Science 4646,pp.420-434 (Sole-authored)
2.	2011	Other	A modified GoI interpretation for a linear functional programming language and its adequacy LNCS 6604,pp.320-334 (Sole-authored)
3.	2011	Other	Semantics of Higher-Order Quantum Computation via Geometry of Interaction Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science (Co-authored)
4.	2012	Other	A representation theorem for unique decomposition categories Electronic Notes in Theoretical Computer Science 286,pp.213-227 (Sole-authored)
5.	2012	Other	Step indexed realizability semantics for a call-by-value language based on basic combinatorial objects In Proceedings of LICS 2012,pp.385-394 (Sole-authored)
Display All（13）

Academic conference presentation
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)
Display All（10）

Academic background
1.	2007/04～2011/03	Doctorial Kyoto University Finished (Theory of informatics)

Business career
1.	2011/06 ～ 2020/03	Assistant Professor Research institute for mathematical sciences, Kyoto university
2.	2020/04/01 ～	SOJO UNIVERSITY FACULTY OF COMPUTER AND INFORMATIONSCIENCES Department of Computer and Information Sciences

E-Mail Address

Present specialized field
Theory of informatics keyword(programming language, semantics)

Department laboratory expense researcher number
20611883