Rchr
J-GLOBAL ID:200901007071864696   Update date: Sep. 01, 2020

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):
more...
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) 運営委員
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