教員情報 - 星野　直彦

TOPページ

（最終更新日：2020-04-09 16:06:37）

  ホシノ　ナオヒコ   Hoshino Naohiko
  星野　直彦
   所属   崇城大学情報学部情報学科

崇城大学大学院工学研究科応用情報学専攻（博士前期課程）

職種助教

■ 著書・論文歴

1.	2007	論文	Linear Realizability Lecture Notes in Computer Science 4646,pp.420-434 （単著）
2.	2011	論文	A modified GoI interpretation for a linear functional programming language and its adequacy LNCS 6604,pp.320-334 （単著）
3.	2012	論文	A representation theorem for unique decomposition categories Electronic Notes in Theoretical Computer Science 286,pp.213-227 （単著）
4.	2012	論文	Step indexed realizability semantics for a call-by-value language based on basic combinatorial objects In Proceedings of LICS 2012 pp.385-394 （単著）
5.	2014	論文	Memoryful geometry of interaction: from coalgebraic components to algebraic effects In Proccedings of LICS 2014 （共著）
6.	2016	論文	Memoryful geometry of interaction II: recursion and adequacy In Proceedings of POPL 2016 pp.748-760 （共著）
7.	2017	論文	Semantics of higher-order quantum computation via geometry of interaction Annals of Pure and Applied Logic 168(2),pp.404-469 （共著）
8.	2018	論文	Partial Traces on Additive Categories Electronic Notes in Theoretical Computer Science 341,pp.219-237 （単著）
9.	2019	論文	The Geometry of Bayesian Programming In Proccedings of LICS 2019 （共著）
5件表示
全件表示(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）
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）
5件表示
全件表示(9件)

■ 学歴

2007/04～2011/03

京都大学博士課程修了博士（理学）

■ 職歴

1.	2011/06～2020/03	京都大学数理解析研究所助教
2.	2020/04～	崇城大学情報学部情報学科助教

■ 研究課題・受託研究・科研費

1.		関数型プログラミング言語の代数構造の解明：論理関係の数学的理論の構築に向けて若手B
2.		相互作用の幾何によるソフトウェア検証：並列計算、リソース依存計算および計算副作用二国間交流事業共同研究・セミナー
3.		多相型ラムダ計算の構造とその数学的特徴付けの研究特別研究員奨励費

■ 講師・講演

2012

■ メールアドレス

■ 現在の専門分野

情報学基礎論　（キーワード：プログラミング言語、意味論、圏論）

■ 科研費研究者番号

20611883