Masahiro HAMANO

濱野 正浩

Professor
Miin Wu School of Computing (敏求智慧運算學院), National Cheng Kung University (國立成功大学), Taiwan

(Address) No.1. University Road, Tainan City, 70101 TAIWAN
(Office) Yun Ping East Building 5F   (TEL) (+886) 6-2757575 (ext. 57012)   (email) hamano at gs.ncku.edu.tw

Contact

hamano at jaist.ac.jp

Research Interests

Positions Held

2016-2017
Visiting Professor, Institute of Information Science, Academia Sinica, Taiwan
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, "A MALL Geometry of Interaction Based on Indexed Linear Logic"
    Mathematical Structures in Computer Science 30 (10), 1025–1053 (2020)
    [Open Access. (Cambridge University Press)]

  2. Masahiro Hamano, "Geometry of Interaction for MALL via Hughes-vanGlabbeek Proof-Nets"
    ACM Transactions on Computational Logic (2018), Volume 19 Issue 4, Article No. 25 (2018)
  3. 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.)

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

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

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

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

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

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

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

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

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

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

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

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