Hoshino Naohiko 星野直彦

Researcher Number	20611883
Other IDs
Affiliation (Current)	2025: 崇城大学, 情報学部, 助教
Affiliation (based on the past Project Information) *help	2021 – 2023: 崇城大学, 情報学部, 助教 2014 – 2018: 京都大学, 数理解析研究所, 助教
Review Section/Research Field	Principal Investigator Basic Section 60010:Theory of informatics-related / Theory of informatics Except Principal Investigator Theory of informatics
Keywords	Principal Investigator 圏論 / 意味論 / プログラミング言語 / トレース演算子 / ガード付き不動点演算子 / 関数型プログラミング言語 / 圏論的意味論 / 論理関係 Except Principal Investigator 線形論理 / 圏論 … More / 確率的プログラミング / 抽象機械 / 操作的意味論 / 表示的意味論 / 統計的機械学習 / 確率的システム検証 / 確率的システム / プログラム検証 / 高階計算 / 確率的プログラミング言語 / プログラミング言語理論 Less

Categorical study of guarded type systemsPrincipal Investigator
- Principal Investigator
  
  Hoshino Naohiko
- Project Period (FY)
  2021 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Sojo University
Probabilistic Extension of Geometry of Interaction--from Categorical Semantics to Big Data
- Principal Investigator
  
  Ichiro Hasuo
- Project Period (FY)
  2015 – 2018
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Theory of informatics
- Research Institution
  National Institute of Informatics
  The University of Tokyo
On algebraic structure of functional programming languages: towards mathematical foundation of logical relationsPrincipal Investigator
- Principal Investigator
  
  Hoshino Naohiko
- Project Period (FY)
  2014 – 2018
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Theory of informatics
- Research Institution
  Kyoto University

All 2023 2019 2018 2017 2016 Other

All Journal Article Presentation

[Journal Article] The Geometry of Bayesian Programming2019
- Author(s)
  Ugo Dal Lago and Naohiko Hoshino
- Journal Title
  
  Proc. LICS 2019, Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science
  
  Volume: -
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984
[Journal Article] Geometry of Bayesian Programming2019
- Author(s)
  Ugo Dal Lago and Naohiko Hoshino
- Journal Title
  
  To appear in Proceedings of Logic in Computer Science 2019
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26730004
[Journal Article] Partial Traces on Additive Categories2018
- Author(s)
  Hoshino Naohiko
- Journal Title
  
  Electronic Notes in Theoretical Computer Science
  
  Volume: 341 Pages: 219-237
- DOI
  10.1016/j.entcs.2018.11.011
- NAID
  120006695789
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K11984, KAKENHI-PROJECT-26730004
[Journal Article] Semantics of higher-order quantum computation via geometry of interaction2017
- Author(s)
  Ichiro Hasuo, Naohiko Hoshino
- Journal Title
  
  Annals of Pure and Applied Logic
  
  Volume: 168 Issue: 2 Pages: 404-469
- DOI
  10.1016/j.apal.2016.10.010
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-15K11984
[Journal Article] Memoryful Geometry of Interaction II: Recursion and Adequacy2016
- Author(s)
  Koko Muroya, Naohiko Hoshino and Ichiro Hasuo
- Journal Title
  
  Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016
  
  Volume: なし Pages: 748-760
- DOI
  10.1145/2837614.2837672
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-15K11984, KAKENHI-PROJECT-24680001
[Journal Article] Semantics of Higher-Order Quantum Computation via Geometry of Interaction2016
- Author(s)
  Ichiro Hasuo and Naohiko Hoshino
- Journal Title
  
  Annals of Pure and Applied Logic
  
  Volume: 未定
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K11984
[Presentation] On the Lattice of Program Metrics2023
- Author(s)
  Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
- Organizer
  International Conference on Formal Structures for Computation and Deduction
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11762
[Presentation] Partial Traces on Additive Categories2018
- Author(s)
  Naohiko Hoshino
- Organizer
  MFPS 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984
[Presentation] Partial Traces on Additive Categories2018
- Author(s)
  Naohiko Hoshino
- Organizer
  Mathematical Foundations of Programming Semantics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26730004
[Presentation] Memoryful Geometry of Interaction II: Recursion and Adequacy2016
- Author(s)
  Koko Muroya, Naohiko Hoshino and Ichiro Hasuo
- Organizer
  The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016
- Place of Presentation
  St. Petersburg, Florida, United States
- Year and Date
  2016-01-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984
[Presentation] Memoryful Geometry of Interaction II: Recursion and Adequacy2016
- Author(s)
  Koko Muroya, Naohiko Hoshino, Ichiro Hasuo
- Organizer
  Principle of programming language
- Place of Presentation
  St. Petersburg, Florida, United States
- Year and Date
  2016-01-22
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26730004
[Presentation] Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects
- Author(s)
  Naohiko Hoshino, Koko Muroya, Ichiro Hasuo
- Organizer
  Logic in computer science
- Place of Presentation
  Vienna, Austria
- Year and Date
  2014-07-14 – 2014-07-18
- Data Source
  KAKENHI-PROJECT-26730004

1. Ichiro Hasuo (60456762)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
2. 室屋晃子 (00827454)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results

Hoshino Naohiko 星野 直彦

Research Projects

Research Products

Co-Researchers

Categorical study of guarded type systemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Probabilistic Extension of Geometry of Interaction--from Categorical Semantics to Big Data

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

On algebraic structure of functional programming languages: towards mathematical foundation of logical relationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] The Geometry of Bayesian Programming2019

Author(s)

Journal Title

Data Source

[Journal Article] Geometry of Bayesian Programming2019

Author(s)

Journal Title

Data Source

[Journal Article] Partial Traces on Additive Categories2018

Author(s)

Journal Title

DOI

NAID

Data Source

[Journal Article] Semantics of higher-order quantum computation via geometry of interaction2017

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Memoryful Geometry of Interaction II: Recursion and Adequacy2016

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Semantics of Higher-Order Quantum Computation via Geometry of Interaction2016

Author(s)

Journal Title

Data Source

[Presentation] On the Lattice of Program Metrics2023

Author(s)

Organizer

Data Source

[Presentation] Partial Traces on Additive Categories2018

Author(s)

Organizer

Data Source

[Presentation] Partial Traces on Additive Categories2018

Author(s)

Organizer

Data Source

[Presentation] Memoryful Geometry of Interaction II: Recursion and Adequacy2016

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Memoryful Geometry of Interaction II: Recursion and Adequacy2016

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

Hoshino Naohiko 星野直彦