著書・論文歴
学会発表
学歴
職歴
研究課題・受託研究・科研費
講師・講演
メールアドレス
現在の専門分野
科研費研究者番号
photo
    （最終更新日：2020-04-09 16:06:37）
  ホシノ　ナオヒコ   Hoshino Naohiko
  星野　直彦
   所属   崇城大学  情報学部 情報学科
   崇城大学大学院  工学研究科 応用情報学専攻（博士前期課程）
   職種   助教
■ 著書・論文歴
1. 2007 論文　 Linear Realizability （単著） 
2. 2011 論文　 A modified GoI interpretation for a linear functional programming language and its adequacy （単著） 
3. 2012 論文　 A representation theorem for unique decomposition categories （単著） 
4. 2012 論文　 Step indexed realizability semantics for a call-by-value language based on basic combinatorial objects （単著） 
5. 2014 論文　 Memoryful geometry of interaction: from coalgebraic components to algebraic effects （共著） 
全件表示(9件)
■ 学会発表
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）
全件表示(9件)
■ 学歴
1. 2007/04～2011/03 京都大学 博士課程修了 博士（理学）
■ 職歴
1. 2011/06～2020/03 京都大学数理解析研究所 助教
2. 2020/04～ 崇城大学 情報学部 情報学科 助教
■ 研究課題・受託研究・科研費
1.   関数型プログラミング言語の代数構造の解明：論理関係の数学的理論の構築に向けて 若手B 
2.   相互作用の幾何によるソフトウェア検証：並列計算、リソース依存計算および計算副作用 二国間交流事業共同研究・セミナー 
3.   多相型ラムダ計算の構造とその数学的特徴付けの研究 特別研究員奨励費 
■ 講師・講演
1. 2012 Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects
■ メールアドレス
  kyoin_mail
■ 現在の専門分野
情報学基礎論　（キーワード：プログラミング言語、意味論、圏論） 
■ 科研費研究者番号
20611883