photo
    (Last updated : 2022-09-15 16:58:03)
  Hoshino Naohiko
   Department   SOJO UNIVERSITY  Department of Computer and Information Sciences, FACULTY OF COMPUTER AND INFORMATIONSCIENCES
   Position  
■ Book and thesis
1. 2007 Article Linear Realizability Lecture Notes in Computer Science 4646,pp.420-434 (Single) 
2. 2011 Article A modified GoI interpretation for a linear functional programming language and its adequacy LNCS 6604,pp.320-334 (Single) 
3. 2011 Article Semantics of Higher-Order Quantum Computation via Geometry of Interaction Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science  (Collaboration) 
4. 2012 Article A representation theorem for unique decomposition categories Electronic Notes in Theoretical Computer Science 286,pp.213-227 (Single) 
5. 2012 Article Step indexed realizability semantics for a call-by-value language based on basic combinatorial objects In Proceedings of LICS 2012 pp.385-394 (Single) 
Display all(11)
■ 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(9)
■ Academic background
1. 2007/04~2011/03 〔Doctorial Course〕, Kyoto University, Completed,
■ Business career
1. 2011/06~2020/03 Research institute for mathematical sciences, Kyoto university Assistant Professor
2. 2020/04~ SOJO UNIVERSITY FACULTY OF COMPUTER AND INFORMATIONSCIENCES Department of Computer and Information Sciences
■ E-Mail Address
  kyoin_mail
■ Present specialized field
Theory of informatics (Key Word:programming language, semantics) 
■ Department laboratory expense researcher number
20611883