Hamana Makoto

ハマナマコト | Hamana Makoto

Affiliation and department：
Job title：准教授
Homepage URL (2)： http://www.cs.gunma-u.ac.jp/~hamana/ , http://www.cs.gunma-u.ac.jp/~hamana/

Research field (2)： Software , Information theory

Research keywords (11)： Programming languages , 情報基礎 , プログラム理論 , 関数型プログラミング言語 , 普遍代数 , category theory , foundations of computer science , program semantics , 関数プログラム , Declarative Programming Languages , Theoretical Computer Science

Research theme for competitive and other funds (13)：

2020 - 2024 真代数型: 高階書換えに基づく安全性保証付きデータ型の原理・推論・実践
2017 - 2020 高階代数系指向プログラミングの原理-安全・柔軟なソフトウェアへ向けて
2013 - 2016 Haskellコアの意味論-先端的ソフトウェア検証基盤へ向けて
2012 - 2015 依存型理論による安全性保証付きデータ構造の創出・推論・進化
2012 - 2014 依存型による安心・安全・高信頼ソフトウェアの基礎理論

Show all

Papers (47)：

Makoto Hamana, Tatsuya Abe 0001, Kentaro Kikuchi. Polymorphic computation systems: Theory and practice of confluence with call-by-value. Sci. Comput. Program. 2020. 187. 15 February 2020, 102322. 102322-102322
M.Hamana. How to prove decidablity of equational theories with second-order computation analyser SOL. Journal of Functional Programming. 2019. 29. e20
T. Aoto, M. Hamana, N. Hirokawa, A. Middeldorp, J. Nagele, N. Nishida, K. Shintani, 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
Makoto Hamana, Kazutaka Matsuda, Kazuyuki Asada. The algebra of recursive graph transformation language UnCAL: Complete axiomatisation and iteration categorical semantics. Mathematical Structures in Computer Science. 2018. 28. 2. 287-337

ｍore...

MISC (1)：

HAMANA MAKOTO. Term Rewriting with Variable Binding. Proceedings of The First International Workshop on Higher-Order Rewriting (HOR'02). 2002

Books (2)：

チューリングを読むコンピュータサイエンスの金字塔を楽しもう
日経BP社 2012 ISBN:4822283720
計算モデル論入門-チューリング機械からラムダ計算へ (Information Science & Engineering (F5))
サイエンス社 2006 ISBN:4781911358

Education (2)：

1993 - 1998 University of Tsukuba
- 1998 University of Tsukuba

Professional career (1)：

Ph.D (University of Tsukuba)

Work history (7)：

2018/03 - 現在 Gunma University Graduate School of Science and Technology, Department of Electronics and Infomatics, Mathematics and Physics
2014/04 - 2018/02 Gunma University Graduate School of Science and Technology, Department of Electronics and Infomatics, Mathematics and Physics
2013/04 - 2014/03 Gunma University
2007/04 - 2013/03 Gunma University
2001/04 - 2007/03 Gunma University

Show all

Committee career (24)：

2019 - 現在 9th International Workshop on Confluence (IWC'20) Program Committee Member
2020 - 2020 ACM International Conference on Functional Programming (ICFP'20) Program Committee Member
2020 - 11th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2020) Program Committee Member
2017/04 - 2019/03 日本ソフトウェア科学会代表委員
2014/04 - 2019/03 日本ソフトウェア科学会プログラミング論研究会(PPL) 運営委員

2018 - Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'18), program comittee member

2016 - 13th International Symposium on Functional and Logic Programming (FLOPS'16) program committee member

2015 - International Workshop on Fixed Points in Computer Science (FICS'15) program committee member

2015 - 第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015) プログラム委員長

2014 - 2nd International Workshop on Haskell and Rewriting Techniques (HART'14) program committee member

2014 - 16th Workshop on Programming and Programming Languages (PPL 2014) PC member

2014 - 5th International Workshop on Mathematically Structured Functional Programming (MSFP'14) program committee member

2014 - 2nd International Workshop on Haskell and Rewriting Techniques (HART'14) program committee member

2014 - 5th International Workshop on Mathematically Structured Functional Programming (MSFP'14) program committee member

2014 - 第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014) プログラム委員

2012 - 6th International Workshop on Higher-Order Rewriting (HOR'12) PC chair

2012 - 14th Workshop on Programming and Programming Languages (PPL 2012) PC member

2012 - 6th International Workshop on Higher-Order Rewriting (HOR'12) Program Chair and organising Chair

2012 - 第14回プログラミングおよびプログラミング言語ワークショップ (PPL 2012) プログラム委員

2009 - 11th Workshop on Programming and Programming Languages (PPL 2009) PC member

2009 - 第11回プログラミングおよびプログラミング言語ワークショップ (PPL 2009) プログラム委員

2007 - 4th International Workshop on Higher-Order Rewriting (HOR'07) program committee 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

Association Membership(s) (2)：

ACM , 日本ソフトウェア科学会

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page