Rchr
J-GLOBAL ID:200901007071864696   Update date: Nov. 04, 2019

HAMANA Makoto

ハマナ マコト | HAMANA Makoto
Affiliation and department:
Job title: Associate Professor
Homepage URL  (2): http://www.cs.gunma-u.ac.jp/~hamana/http://www.cs.gunma-u.ac.jp/~hamana/
Research field  (2): Software ,  Theory of informatics
Research keywords  (8): category theory ,  foundations of computer science ,  program semantics ,  semantics ,  Theoretical Computer Science ,  Declarative Programming Languages ,  Programming Semantics ,  Categorical Algebra
Research theme for competitive and other funds  (2):
  • 2004 - 2007 Modularity for Mata-Programming
  • 2007 - 2009 A Theory of Inductive Data Types Involving Safe Pointers
Papers (32):
  • M.Hamana. How to prove decidablity of equational theories with second-order computation analyser SOL. Journal of Functional Programming. 2020. accepted for publication
  • T. Aoto, M. Hamana, N. Hirokawa, A. Middeldorp J. Nagele, N. Nishida, K. Shintani, and H. Zankl. Confluence Competition 2018. the Leibniz International Proceedings in Informatics (LIPIcs). 2018. 108. 32:1-32:5
  • HAMANA Makoto. Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation. 14th International Symposium on Functional and Logic Programming (FLOPS 2018),. 2018. Lecture Notes in Computer Scie. 99-115
  • HAMANA Makoto. The Algebra of Recursive Graph Transformation Language UnCAL: Complete Axiomatisation and Iteration Categorical Semantics. Mathematical Structures in Computer Science. 2018. 28. 2. 287-337
  • Makoto Hamana. How to Prove Your Calculus is Decidable: Practical Applications of Second-order Algebraic Theories and Computation. Proceedings of the ACM on Programming Languages. 2017. 1. 22. 1-28
more...
MISC (1):
  • HAMANA MAKOTO. Term Rewriting with Variable Binding. Proceedings of The First International Workshop on Higher-Order Rewriting (HOR'02). 2002
Education (1):
  • - 1998 University of Tsukuba Graduate School, Division of Engineering
Professional career (1):
  • Ph.D (University of Tsukuba)
Work history (2):
  • 1999/04 - 2001/02 Univerity of Edinburgh, Scotland Visiting Academic
  • 1998/04 - 2001/03 Japan Society for Promotion of Science JSPS Research Fellow PD
Committee career (10):
  • 2020 - 2020 ACM International Conference on Functional Programming (ICFP'20) Program Committee Member
  • 2018 - 現在 Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'18), Program Committee Member
  • 2016 - 13th International Symposium on Functional and Logic Programming (FLOPS'16) program committee member
  • 2014 - 5th International Workshop on Mathematically Structured Functional Programming (MSFP'14) program committee member
  • 2014 - 16th Workshop on Programming and Programming Languages (PPL 2014) PC member
Show all
Awards (7):
  • 2018/11 - Japan Society for Software Science and Technology JSSST 2018 Takasahi Award
  • 2018/09 - Japan Society for Software Science and Technology JSSST 2018 Best Presentation Award
  • 2018/05 - FLOPS 2018 Best paper award "Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation"
  • 2016/03 - PPL presentation award
  • 2012/11 - Gunma University Yokoyama Science and Technology Award Foundations of Dependable Software by Dependent Types
Show all
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page