Projects per year
Personal profile
Education
- PhD, Logic, Keio University, JP
Experience
- 2021年02月 ~迄今 國立成功大學 約聘教授
Research Interests
- Mathematical Logic
- Category Theory
Fingerprint
Dive into the research topics where Hamano Masahiro is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 1 Finished
-
Stochastic Semantics for Logic and Computation --Continuous Exponential Comonad and Feedback--
21-09-01 → 22-08-31
Project: Research project
-
A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
Hamano, M., 2023 Dec, In: Information and Computation. 295, 105109.Research output: Contribution to journal › Article › peer-review
Open Access -
A MALL geometry of interaction based on indexed linear logic
Hamano, M., 2020 Nov, In: Mathematical Structures in Computer Science. 30, 10, p. 1025-1053 29 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Geometry of interaction for mall via Hughes-van Glabbeek proof-nets
Hamano, M., 2018 Nov, In: ACM Transactions on Computational Logic. 19, 4, 25.Research output: Contribution to journal › Article › peer-review
2 Citations (Scopus) -
On geometry of interaction for polarized linear logic
Hamano, M. & Scott, P., 2018 Nov 1, In: Mathematical Structures in Computer Science. 28, 10, p. 1639-1694 56 p.Research output: Contribution to journal › Article › peer-review
Open Access1 Citation (Scopus) -
Stochastic Transcription Elongation via Rule Based Modelling
Hamano, M., 2016 Oct 28, In: Electronic Notes in Theoretical Computer Science. 326, p. 73-88 16 p.Research output: Contribution to journal › Article › peer-review
Open Access1 Citation (Scopus)