[ACM DL Author-ize service(free download)]
[arXiv:1503.08925]
Masahiro Hamano and Philip Scott,
"On Geometry of Interaction for Polarized Linear Logic"
Mathematical Structures in Computer Science
28(10), 1639-1694. (2018)
[info.]
[arXiv:1503.00886]
(Journal version to be slightly modified.)
Masahiro Hamano,
"Stochastic Transcription Elongation via Rule Based Modelling"
In Proc. of the Sixth International Workshop on Static Analysis and Systems Biology (SASB 2015)
Electronic Notes in Theoretical Computer Science 326 (2016) 73–88.
[info.]
[talk]
[pdf file] © Elsevier
Masahiro Hamano, "Sustainability of RNA-interference in Rule Based Modelling''
In Proc. of the Third International Workshop on Static Analysis and Systems Biology (SASB 2012)
Electronic Notes in Theoretical Computer Science 313 (2015) 65–77.
[info.]
[talk]
[pdf file] © Elsevier
Masahiro Hamano,
"RNA-interference and Register Machines
(extended abstract)"
In Proc. of 6th Work-
shop on Membrane Computing and Biologically Inspired Process Calculi (MecBIC2012)
Electronic Proceedings in Theoretical Computer Science 100, (2012), 107-112.
[info.]
[talk]
[pdf file] © EPTCS
Masahiro Hamano and Ryo Takemura,
"A Phase Semantics for Polarized Linear Logic"
Journal of Symbolic Logic 75(1) (2010), 77-102.
[info.]
[pdf file] ©
Association for Symbolic Logic
Masahiro Hamano and Ryo Takemura,
"An Indexed System for Multiplicative Additive Polarized Linear Logic"
Proc. of
17th Annual Conference
on Computer Science Logic (CSL'08)
Lecture Notes in Computer Science, 5213 (2008), 262-277.
[info.]
[pdf file] © Springer-Verlag
Masahiro Hamano and Philip Scott, "A Categorical Semantics for Polarized MALL"
Annals of Pure and Applied Logic. 145 (2007), 276-313.
[info.]
[ps file] © North-Holland
Richard Blute, Masahiro Hamano and Philip Scott, "Softness of Hypercoherences and MALL Full Completeness"
Annals of Pure and Applied Logic. 131 (2005), 1-63.
[info.]
[ps file] © North-Holland
Masahiro Hamano "Softness of MALL Proof-Structures and a Correctness Criterion with Mix"
Archive for Mathematical Logic. 43 (6) (2004), 753-796.
[info.]
[ps file] © Springer-Verlag
Masahiro Hamano, "Z-modules and Full Completeness of Multiplicative Linear
Logic"
Annals of Pure and Applied Logic. 107 (2001), 165-191.
[info.]
[ps.gz file] © North- Holland
Masahiro Hamano,
"Pontrjagin Duality and Full Completeness of Multiplicative Linear
Logic (without Mix)"
Mathematical Structures in Computer Science 10 (2) Lambek
Festschrift special issue, (2000), 231-259.
[info.]
[ps.gz file] © Cambridge University Press
Masahiro Hamano and Mitsuhiro Okada,
"A Direct Independence Proof of Buchholz's Hydra Game on Finite Labeled Trees"
Archive for Mathematical Logic. 37 (1998), 67-89.
[info.]
[ps.gz file] © Springer-Verlag
Masahiro Hamano and Mitsuhiro Okada,
"A Relatioship among Gentzen's Proof-Reduction,
Kirby-Paris' Hydra Game, and Buchholz's Hydra Game"
Mathematical Logic Quarterly. 3 (1997), 103-120.
[info.]
Research Proposal
(To be added)
Detailed Resume available upon request
Research Grants
- Present
-
2013-2015
Grant-in-Aid for Scientific Research (KAKENHI) (C),
Japan Society for the Promotion of Science
"Semantics of Computational Languages for Biochemical Networks -Elucidating Locality and Causality-"
-
Past
Recent Teaching (in Japanese)