星野 直彦

Last Update: 2019/09/20 06:40:15

Print

Name(Kanji/Kana/Abecedarium Latinum)
星野 直彦/ホシノ ナオヒコ/Hoshino, Naohiko
Primary Affiliation(Org1/Job title)
Research Institute for Mathematical Sciences (RIMS)/Assistant Professor
Affiliated programs (koza)
Org1 Job title
Graduate Schools Science Assistant Professor
Academic Degree
Field(Japanese) Field(English) University(Japanese) University(English) Method
修士(理学) Master of Science 京都大学 Kyoto University
博士(理学) PhD, Science 京都大学 Kyoto University
Personal Profile
(Japanese)
理論計算機科学の研究を行なっている.大学院生や研究者たちとの研究に関する議論によって互いに自身の研究への理解を深め合っている.各種学会などでの研究発表による研究成果の発信を行なっている.
(English)
My research topic is theoretical computer science. In order to make our understanding of theoretical computer science, I discuss with graduate students and some researchers in theoretical computer science.
ORCID ID
https://orcid.org/https://orcid.org/0000-0003-2647-0310
researchmap URL
https://researchmap.jp/7000009103
Research Topics
(Japanese)
理論計算機科学特にラムダ計算及び形式的論理とその圏論的意味論
(English)
Theoretical computer science such as lambda calculi, formal logics and their categorical semantics
Overview of the research
(Japanese)
ラムダ計算とその圏論的意味論について研究している.特に内延的な意味論である相互作用の幾何について,Abramsky, HaghverdiとScottらにより導入されたトレースつき対称モノイダル圏とInt構成に基づいた圏論的枠組みと,その枠組みの一般性を活かした種々のラムダ計算のモデル構成に関する研究を行なっている.
(English)
My research topic is lambda calculi and their categorical semantics. In particular, I am interested in Girard's geometry of interaction, which is an intensional semantics for linear logic. Based on the categorical framework introduced by Abramsky, Haghverdi and Scott, I am working on construction of categorical models for various lambda calculi.
Published Papers
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Bibliography Bibliography(Japanese) Bibliography(English) Publication date Refereed paper Language Publishing type Disclose
Ugo Dal Lago,Naohiko Hoshino Ugo Dal Lago,Naohiko Hoshino Ugo Dal Lago,Naohiko Hoshino The Geometry of Bayesian Programming. The Geometry of Bayesian Programming. The Geometry of Bayesian Programming. 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019, 1-13 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019, 1-13 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019, 1-13 2019 Refereed Disclose to all
Naohiko Hoshino Naohiko Hoshino Naohiko Hoshino Partial Traces on Additive Categories. Partial Traces on Additive Categories. Partial Traces on Additive Categories. Electr. Notes Theor. Comput. Sci., 341, 219-237 Electr. Notes Theor. Comput. Sci., 341, 219-237 Electr. Notes Theor. Comput. Sci., 341, 219-237 2018 Refereed Disclose to all
Ichiro Hasuo,Naohiko Hoshino Ichiro Hasuo,Naohiko Hoshino Ichiro Hasuo,Naohiko Hoshino Semantics of higher-order quantum computation via geometry of interaction. Semantics of higher-order quantum computation via geometry of interaction. Semantics of higher-order quantum computation via geometry of interaction. Ann. Pure Appl. Logic, 168, 2, 404-469 Ann. Pure Appl. Logic, 168, 2, 404-469 Ann. Pure Appl. Logic, 168, 2, 404-469 2017 Refereed Disclose to all
Koko Muroya,Naohiko Hoshino,Ichiro Hasuo Koko Muroya,Naohiko Hoshino,Ichiro Hasuo Koko Muroya,Naohiko Hoshino,Ichiro Hasuo Memoryful geometry of interaction II: recursion and adequacy. Memoryful geometry of interaction II: recursion and adequacy. Memoryful geometry of interaction II: recursion and adequacy. Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, 748-760 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, 748-760 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, 748-760 2016 Refereed Disclose to all
Naohiko Hoshino,Koko Muroya,Ichiro Hasuo Naohiko Hoshino,Koko Muroya,Ichiro Hasuo Naohiko Hoshino,Koko Muroya,Ichiro Hasuo Memoryful geometry of interaction: from coalgebraic components to algebraic effects. Memoryful geometry of interaction: from coalgebraic components to algebraic effects. Memoryful geometry of interaction: from coalgebraic components to algebraic effects. Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, 52:1-52:10 Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, 52:1-52:10 Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, 52:1-52:10 2014 Refereed Disclose to all
N. Hoshino N. Hoshino N. Hoshino A representation theorem for unique decomposition categories A representation theorem for unique decomposition categories A representation theorem for unique decomposition categories Electronic Notes in Theoretical Computer Science, 286, 213-227 Electronic Notes in Theoretical Computer Science, 286, 213-227 Electronic Notes in Theoretical Computer Science, 286, 213-227 2012 Refereed English Disclose to all
N. Hoshino N. Hoshino N. Hoshino Step indexed realizability semantics for a call-by-value language based on basic combinatorial objects Step indexed realizability semantics for a call-by-value language based on basic combinatorial objects Step indexed realizability semantics for a call-by-value language based on basic combinatorial objects Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012, 385-394 Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012, 385-394 Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012, 385-394 2012 Refereed English Disclose to all
N. Hoshino N. Hoshino N. Hoshino A modified GoI interpretation for a linear functional programming language and its adequacy A modified GoI interpretation for a linear functional programming language and its adequacy A modified GoI interpretation for a linear functional programming language and its adequacy Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6604 LNCS, 320-334 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6604 LNCS, 320-334 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6604 LNCS, 320-334 2011 Refereed English Disclose to all
I. Hasuo; N. Hoshino I. Hasuo; N. Hoshino I. Hasuo; N. Hoshino Semantics of higher-order quantum computation via geometry of interaction Semantics of higher-order quantum computation via geometry of interaction Semantics of higher-order quantum computation via geometry of interaction Proceedings - Symposium on Logic in Computer Science, 237-246 Proceedings - Symposium on Logic in Computer Science, 237-246 Proceedings - Symposium on Logic in Computer Science, 237-246 2011 Refereed English Disclose to all
Title language:
External funds: competitive funds and Grants-in-Aid for Scientific Research (Kakenhi)
Type Position Title(Japanese) Title(English) Period
特別研究員奨励費 Representative 多相型ラムダ計算の構造とその数学的特徴付けの研究                 2009/2010-
若手研究(B) Representative 関数型プログラミング言語の代数構造の解明:論理関係の数学的理論の構築に向けて (平成26年度分) 2014/04/01-2015/03/31
若手研究(B) Representative 関数型プログラミング言語の代数構造の解明:論理関係の数学的理論の構築に向けて (平成27年度分) 2015/04/01-2016/03/31
若手研究(B) Representative 関数型プログラミング言語の代数構造の解明:論理関係の数学的理論の構築に向けて (平成28年度分) 2016/04/01-2017/03/31
若手研究(B) Representative 関数型プログラミング言語の代数構造の解明:論理関係の数学的理論の構築に向けて (平成29年度分) 2017/04/01-2018/03/31
若手研究(B) Representative 関数型プログラミング言語の代数構造の解明:論理関係の数学的理論の構築に向けて (平成30年度分) 2018/04/01-2019/03/31
External funds: other than those above
System Main person Title(Japanese) Title(English) Period
二国間交流事業共同研究・セミナー 星野 直彦 相互作用の幾何によるソフトウェア検証:並列計算、リソース依存計算および計算副作用 (平成30年度分) CRECOGI: Concurrent, Resourceful and Effectful COmputation, by Geometry of Interaction 2018/04/01-2019/03/31
Teaching subject(s)
Name(Japanese) Name(English) Term Department Period
コンピュータサイエンス入門 Introduction to Computer Science 前期 全学共通科目 2012/04-2013/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2013/04-2014/03
基礎数学からの展開A Development of Mathematics - from basic to advanced A 前期 理学部 2014/04-2015/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2014/04-2015/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2015/04-2016/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2016/04-2017/03
現代の数学と数理解析 Invitation to Modern Mathematics and Mathematical Sciences 前期 全学共通科目 2016/04-2017/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2017/04-2018/03
現代の数学と数理解析 Invitation to Modern Mathematics and Mathematical Sciences 前期 全学共通科目 2017/04-2018/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2018/04-2019/03
現代の数学と数理解析 Invitation to Modern Mathematics and Mathematical Sciences 前期 全学共通科目 2018/04-2019/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2019/04-2020/03
現代の数学と数理解析 Invitation to Modern Mathematics and Mathematical Sciences 前期 全学共通科目 2019/04-2020/03

  • <<
  • >>
Faculty management (title, position)
Title Period
情報セキュリティ委員会 委員 2017/04/01-