English
研究業績データベース
English >>
TOPページ
TOPページ
著書・論文歴
学会発表
学歴
職歴
研究課題・受託研究・科研費
講師・講演
メールアドレス
現在の専門分野
科研費研究者番号
(最終更新日:2022-09-15 16:58:03)
ホシノ ナオヒコ
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.
2011
論文
Semantics of Higher-Order Quantum Computation via Geometry of Interaction Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science (共著)
4.
2012
論文
A representation theorem for unique decomposition categories Electronic Notes in Theoretical Computer Science 286,pp.213-227 (単著)
5.
2012
論文
Step indexed realizability semantics for a call-by-value language based on basic combinatorial objects In Proceedings of LICS 2012 pp.385-394 (単著)
6.
2014
論文
Memoryful geometry of interaction: from coalgebraic components to algebraic effects In Proccedings of LICS 2014 (共著)
7.
2016
論文
Memoryful geometry of interaction II: recursion and adequacy In Proceedings of POPL 2016 pp.748-760 (共著)
8.
2017
論文
Semantics of higher-order quantum computation via geometry of interaction Annals of Pure and Applied Logic 168(2),pp.404-469 (共著)
9.
2018
論文
Partial Traces on Additive Categories Electronic Notes in Theoretical Computer Science 341,pp.219-237 (単著)
10.
2019
論文
The Geometry of Bayesian Programming In Proccedings of LICS 2019 (共著)
11.
2021
論文
The geometry of Bayesian programming Mathematical Structures in Computer Science 31(6),pp.633-681 (共著)
12.
著書
理論計算機科学事典 (共著)
5件表示
全件表示(12件)
■
学会発表
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件)
■
学歴
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
■
メールアドレス
■
現在の専門分野
情報学基礎論 (キーワード:プログラミング言語、意味論)
■
科研費研究者番号
20611883