Hamano Masahiro — 國立成功大學

查看斯高帕斯 (Scopus) 概要

電話886 6 2757575 ext 57012
電子郵件hamanogs.ncku.edutw

h-index

每年研究成果

如果您對這些純文本內容做了任何改變，很快就會看到。

學歷

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--
Masahiro, H.
21-09-01 → 22-08-31
研究計畫: Research project

13 Article
2 Conference contribution
1 Conference 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 › 同行評審

開啟存取
Sustainability of RNA-interference in Rule Based Modelling
Hamano, M., 2015 5月 6, 於: Electronic Notes in Theoretical Computer Science. 313, p. 65-77 13 p., 18509.
研究成果: Article › 同行評審

開啟存取
1 引文斯高帕斯（Scopus）