Hamana Makoto

ハマナマコト | Hamana Makoto

Affiliation and department：
Job title： Professor
Homepage URL (1)： http://solweb.mydns.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 (14)：

2020 - 2024 Universal Algebraic Datatypes: Theory and Practice on Datatypes based on Higher-Order Rewriting
2022 - 2024 ADVANCED HIGH-ASSURANCE SOFTWARE TECHNOLOGY BY PROOF ASSISTANTS WITH HIGHER-ORDER REWRITING
2017 - 2020 高階代数系指向プログラミングの原理-安全・柔軟なソフトウェアへ向けて
2013 - 2016 Semantics of Core Haskell -- Towards Foundations of Verification of Advanced Functional Programs
2012 - 2015 依存型理論による安全性保証付きデータ構造の創出・推論・進化

Show all

Papers (51)：

Makoto Hamana. Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers. Logical Methods in Computer Science. 2022. Volume 18, Issue 2
Makoto Hamana. Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding. Mathematical Structures in Computer Science. 2022. 32. 4. 542-573
DATE Yao Faustin, HAMANA Makoto. GSOL: A Confluence Checker for Haskell Rewrite Rules. 2022. 39. 3. 82-87
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

ｍore...

MISC (2)：

Cyclic Datatypes modulo Bisimulation and Decidable Equational Theory for Fold. 2016. 33. 195-216
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 (1)：

1993 - 1998 University of Tsukuba

Professional career (1)：

Ph.D (University of Tsukuba)

Work history (9)：

2024/04 - 現在 Kyushu Institute of Technology Faculty of Computer Science and Systems Engineering Department of Computer Science and Networks Professor
2021/04 - 2024/03 Gunma University Faculty of Infomatics Associate Professor
2018/03 - 2021/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

Show all

Committee career (26)：

2022 - 11th International Workshop on Confluence (IWC'22) Program Comittee Member
2022 - The ACM SIGPLAN Haskell Symposium 2022 Program Comittee 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) 運営委員

2019 - 9th International Workshop on Confluence (IWC'20) Program Committee Member

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