Masahiro HAMANO

浜野 正浩

Contact

hamano at jaist.ac.jp

Research Interests

Positions Held

2010-2013
PRESTO Researcher, Japan Science and Technology Agency (JST) (Alliance for breakthrough between mathematics and sciences)
2008-2009
Researcher (Mathematical Biology Unit), Okinawa Institute of Science and Technology (OIST), Japan
2005-2008
Research Associate Professor (non-tenure-track), Department of Philosophy, Keio University, Japan
2002-2003
Invited Researcher (L'equipe de Logique de la Programmation), Institut de Mathématiques de Luminy (CNRS), France
1999-2005
Research Associate, School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)
1998-1999
Post Doctoral Fellow, Department of Mathematics, University of Ottawa, Canada

Recent Preprints

Brief Description of Past Research

Principal Research Papers

  1. 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

  2. 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

  3. 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

  4. 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

  5. 1. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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)