每年專案
個人檔案
學歷
- PhD, Logic, Keio University, JP
經歷
- 2021年02月 ~迄今 國立成功大學 約聘教授
研究專長
- Mathematical Logic
- Category Theory
指紋
查看啟用 Hamano Masahiro 的研究主題。這些主題標籤來自此人的作品。共同形成了獨特的指紋。
- 1 類似的個人檔案
過去五年中的合作和熱門研究領域
國家/地區層面的近期外部共同作業。按一下圓點深入探索詳細資料，或
專案
- 1 已完成
-
Stochastic Semantics for Logic and Computation --Continuous Exponential Comonad and Feedback--
21-09-01 → 22-08-31
研究計畫: Research project
-
A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
Hamano, M., 2023 12月, 於: Information and Computation. 295, 105109.研究成果: Article › 同行評審
開啟存取 -
A MALL geometry of interaction based on indexed linear logic
Hamano, M., 2020 11月, 於: Mathematical Structures in Computer Science. 30, 10, p. 1025-1053 29 p.研究成果: Article › 同行評審
開啟存取 -
Geometry of interaction for mall via Hughes-van Glabbeek proof-nets
Hamano, M., 2018 11月, 於: ACM Transactions on Computational Logic. 19, 4, 25.研究成果: Article › 同行評審
2 引文 斯高帕斯（Scopus） -
On geometry of interaction for polarized linear logic
Hamano, M. & Scott, P., 2018 11月 1, 於: Mathematical Structures in Computer Science. 28, 10, p. 1639-1694 56 p.研究成果: Article › 同行評審
開啟存取1 引文 斯高帕斯（Scopus） -
Stochastic Transcription Elongation via Rule Based Modelling
Hamano, M., 2016 10月 28, 於: Electronic Notes in Theoretical Computer Science. 326, p. 73-88 16 p.研究成果: Article › 同行評審
開啟存取1 引文 斯高帕斯（Scopus）