星野 直彦

最終更新日時: 2019/09/20 06:40:15

印刷する

氏名(漢字/フリガナ/アルファベット表記)
星野 直彦/ホシノ ナオヒコ/Hoshino, Naohiko
所属部署・職名(部局/所属/講座等/職名)
数理解析研究所/数理解析研究所附属計算機構研究施設/ /助教
協力講座
部局 所属 講座等 職名
理学研究科 数学・数理解析専攻 計算数理講座 助教
取得学位
学位名(日本語) 学位名(英語) 大学(日本語) 大学(英語) 取得区分
修士(理学) Master of Science 京都大学 Kyoto University
博士(理学) PhD, Science 京都大学 Kyoto University
プロフィール
(日本語)
理論計算機科学の研究を行なっている.大学院生や研究者たちとの研究に関する議論によって互いに自身の研究への理解を深め合っている.各種学会などでの研究発表による研究成果の発信を行なっている.
(英語)
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
研究テーマ
(日本語)
理論計算機科学特にラムダ計算及び形式的論理とその圏論的意味論
(英語)
Theoretical computer science such as lambda calculi, formal logics and their categorical semantics
研究概要
(日本語)
ラムダ計算とその圏論的意味論について研究している.特に内延的な意味論である相互作用の幾何について,Abramsky, HaghverdiとScottらにより導入されたトレースつき対称モノイダル圏とInt構成に基づいた圏論的枠組みと,その枠組みの一般性を活かした種々のラムダ計算のモデル構成に関する研究を行なっている.
(英語)
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.
論文
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
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 公開
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 公開
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 公開
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 公開
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 公開
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 英語 公開
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 英語 公開
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 英語 公開
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 英語 公開
タイトル言語:
外部資金:競争的資金・科学研究費補助金
種別 代表/分担 テーマ(日本語) テーマ(英語) 期間
特別研究員奨励費 代表 多相型ラムダ計算の構造とその数学的特徴付けの研究                 2009/2010〜
若手研究(B) 代表 関数型プログラミング言語の代数構造の解明:論理関係の数学的理論の構築に向けて (平成26年度分) 2014/04/01〜2015/03/31
若手研究(B) 代表 関数型プログラミング言語の代数構造の解明:論理関係の数学的理論の構築に向けて (平成27年度分) 2015/04/01〜2016/03/31
若手研究(B) 代表 関数型プログラミング言語の代数構造の解明:論理関係の数学的理論の構築に向けて (平成28年度分) 2016/04/01〜2017/03/31
若手研究(B) 代表 関数型プログラミング言語の代数構造の解明:論理関係の数学的理論の構築に向けて (平成29年度分) 2017/04/01〜2018/03/31
若手研究(B) 代表 関数型プログラミング言語の代数構造の解明:論理関係の数学的理論の構築に向けて (平成30年度分) 2018/04/01〜2019/03/31
外部資金:競争的資金・科学研究費補助金以外
制度名 代表者名 研究課題(日本語) 研究課題(英語) 期間
二国間交流事業共同研究・セミナー 星野 直彦 相互作用の幾何によるソフトウェア検証:並列計算、リソース依存計算および計算副作用 (平成30年度分) CRECOGI: Concurrent, Resourceful and Effectful COmputation, by Geometry of Interaction 2018/04/01〜2019/03/31
担当科目
講義名(日本語) 講義名(英語) 開講期 学部/研究科 年度
コンピュータサイエンス入門 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

  • <<
  • >>
  • 表示
部局運営(役職等)
役職名 期間
情報セキュリティ委員会 委員 2017/04/01〜