Hamana Makoto 浜名誠

… Alternative Names

HAMANA Makoto 浜名誠

Less

Researcher Number	90334135
Other IDs	https://orcid.org/0000-0002-3064-8225
Affiliation (Current)	2025: 九州工業大学, 大学院情報工学研究院, 教授
Affiliation (based on the past Project Information) *help	2023 – 2024: 九州工業大学, 大学院情報工学研究院, 教授 2022: 群馬大学, 情報学部, 准教授 2017 – 2021: 群馬大学, 大学院理工学府, 准教授 2015: 群馬大学, その他部局等, 助教 2014 – 2015: 群馬大学, 大学院理工学府, 助教 … More 2013: 群馬大学, 理工学研究科, 助教 2007 – 2012: Gunma University, 大学院・工学研究科, 助教 2011: 群馬大学, 工学(系)研究科(研究院), 助教 2004 – 2006: 群馬大学, 工学部, 助手 Less
Review Section/Research Field	Principal Investigator Fundamental theory of informatics / Basic Section 60050:Software-related / Software / Theory of informatics
Keywords	Principal Investigator 関数プログラム / プログラム理論 / ソフトウェア科学 / 代数仕様 / 書換え系 / 関数プログラミング / 情報学基礎 / データ構造 / 停止性 / 代数データ型 … More / 型理論 / ラムダ計算 / 合流性 / Haskell / プログラム意味論 / 圏論 / 依存型 / 自動定理証明 / 情報基礎 / 項書換え / 書替え系 / プログラミング言語 / 自動検証 / λ計算 / 高階書換え系 / 項書き換え系 / 自動証明 / 操作的意味論 / 原始再帰 / 半構造データ / 構造再帰 / 代数理論 / 多相型 / 項書替え / 項書換え・データ構造・情報基礎 / 関数型プログラミング言語 / 普遍代数 / 圏論的意味論 / 等式仕様 / 項書換え系 / モジュール化 / 高階抽象構文 / 始代数意味論 / 代数モデル / メタプログラミング Less

Development of next-generation multi-paradigm programming languages based on higher-order rewriting systemsPrincipal Investigator
- Principal Investigator
  
  浜名誠
- Project Period (FY)
  2024 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kyushu Institute of Technology
Universal Algebraic Datatypes: Theory and Practice on Datatypes based on Higher-Order RewritingPrincipal Investigator
- Principal Investigator
  
  Hamana Makoto
- Project Period (FY)
  2020 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kyushu Institute of Technology
  Gunma University
Principles of Higher-Order Universal Algebraic DatatypesPrincipal Investigator
- Principal Investigator
  
  Hamana Makoto
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Gunma University
Semantics of Core Haskell -- Towards Foundations of Verification of Advanced Functional ProgramsPrincipal Investigator
- Principal Investigator
  
  Makoto Hamana
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Theory of informatics
- Research Institution
  Gunma University
Foundations of Dependable Datatypes by Dependent TypesPrincipal Investigator
- Principal Investigator
  
  Makoto Hamana
- Project Period (FY)
  2012 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Gunma University
Dependable Data Structures by Dependent TypesPrincipal Investigator
- Principal Investigator
  
  HAMANA Makoto
- Project Period (FY)
  2010 – 2011
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Gunma University
A Theory of Inductive Data Types Involving Safe PointersPrincipal Investigator
- Principal Investigator
  
  HAMANA Makoto
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Gunma University
メタプログラミングシステムのための正しいモジュール化の研究Principal Investigator
- Principal Investigator
  
  浜名誠
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Gunma University

[Book] チューリングを読む2012
- Author(s)
  チャールズ・ペゾルド (著), 井田哲雄, 鈴木大郎, 奥居哲, 浜名誠, 山田俊行(訳)
- Total Pages
  612
- Publisher
  日経BP
- Data Source
  KAKENHI-PROJECT-22700004
[Book] チューリングを読む-コンピュータサイエンスの金字塔を楽しもう2012
- Author(s)
  チャールズ・ペゾルド (著), 井田哲雄, 鈴木大郎, 奥居哲, 浜名誠, 山田俊行 (訳)
- Total Pages
  612
- Publisher
  日経BP社
- Data Source
  KAKENHI-PROJECT-22700004
[Book] 計算モデル論入門-チューリング機械からラムダ計算へ-2006
- Author(s)
  井田哲雄, 浜名誠
- Total Pages
  136
- Publisher
  サイエニス社
- Data Source
  KAKENHI-PROJECT-16700005
[Journal Article] Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement2024
- Author(s)
  Muroya Koko、Hamana Makoto
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 14659 Pages: 31-61
- DOI
  10.1007/978-981-97-2300-3_3
- ISBN
  9789819722990, 9789819723003
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H04164, KAKENHI-PROJECT-22K17850
[Journal Article] Foundations of Haskell’s Rewrite Rules Based on Higher-Kinded Polymorphic Rewrite Systems2024
- Author(s)
  Hamana Makoto
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 14991 Pages: 79-95
- DOI
  10.1007/978-3-031-69042-6_5
- ISBN
  9783031690419, 9783031690426
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24K02919
[Journal Article] Modular Termination for Second-Order Rewriting Systems and Application to Effect Handlers2023
- Author(s)
  M. Hamana
- Journal Title
  
  Proc. of 11th International Workshop on Higher-order Rewriting
  
  Volume: 11 Pages: 16-20
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H04164
[Journal Article] Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handler2022
- Author(s)
  M. Hamana
- Journal Title
  
  Logical Methods in Computer Science
  
  Volume: Vol. 18
- DOI
  10.46298/lmcs-18(2:18)2022
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H04164
[Journal Article] GSOL: A Confluence Checker for Haskell Rewrite Rules2022
- Author(s)
  Yao Faustin Date, 浜名誠
- Journal Title
  
  Computer Software
  
  Volume: 39 Issue: 3 Pages: 3_82-3_87
- DOI
  10.11309/jssst.39.3_82
- ISSN
  0289-6540
- Year and Date
  2022-07-22
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H04164
[Journal Article] CUI on Web:ソフトウェア検証やテストCUIのためのモダンWebインターフェース枠組2021
- Author(s)
  藤生和希, 浜名誠
- Journal Title
  
  日本ソフトウェア科学会大会講演論文集
  
  Volume: 38
- Open Access
- Data Source
  KAKENHI-PROJECT-20H04164
[Journal Article] GSOL: A Confluence Checker for Haskell Rewrite Rules2021
- Author(s)
  Yao Faustin Date, 浜名誠
- Journal Title
  
  日本ソフトウェア科学会大会講演論文集
  
  Volume: 38
- Open Access
- Data Source
  KAKENHI-PROJECT-20H04164
[Journal Article] Polymorphic computation systems: Theory and practice of confluence with call-by-value2020
- Author(s)
  Makoto Hamana, Tatsuya Abe, Kentaro Kikuchi
- Journal Title
  
  Science of Computer Programming
  
  Volume: 187 Pages: 102322-102322
- DOI
  10.1016/j.scico.2019.102322
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00005, KAKENHI-PROJECT-17K00092, KAKENHI-PROJECT-19K11891, KAKENHI-PROJECT-20H04164
[Journal Article] The System SOL version 20202020
- Author(s)
  Makoto Hamana, Kentaro Kikuchi, Date Yao Faustin Dieudonne, Kazuki Fuju
- Journal Title
  
  Proceedings of the 9th International Workshop on Confluence
  
  Volume: IWC 2020 Pages: 81-81
- Data Source
  KAKENHI-PROJECT-20H04164
[Journal Article] Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL2020
- Author(s)
  M. Hamana
- Journal Title
  
  Functional and Logic Programming, Lecture Notes in Computer Science
  
  Volume: 12073 Pages: 3-9
- DOI
  10.1007/978-3-030-59025-3_1
- ISBN
  9783030590246, 9783030590253
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H04164
[Journal Article] How to prove decidablity of equational theories with second-order computation analyser SOL2019
- Author(s)
  M.Hamana
- Journal Title
  
  Journal of Functional Programming
  
  Volume: 29
- DOI
  10.1017/s0956796819000157
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00092
[Journal Article] The Algebra of Recursive Graph Transformation Language UnCAL: Complete Axiomatisation and Iteration Categorical Semantics2018
- Author(s)
  M. Hamana, K. Matsuda and K. Asada
- Journal Title
  
  Mathematical Structures in Computer Science
  
  Volume: 28 Issue: 2 Pages: 287-337
- DOI
  10.1017/s096012951600027x
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00092, KAKENHI-PROJECT-15K15966
[Journal Article] Confluence Competition 20182018
- Author(s)
  T. Aoto, M. Hamana, N. Hirokawa, A. Middeldorp J. Nagele, N. Nishida, K. Shintani, and Harald Zankl
- Journal Title
  
  Leibniz International Proceedings in Informatics (LIPIcs)
  
  Volume: 108
- DOI
  10.4230/LIPIcs.FSCD.2018.32
- NAID
  120006705615
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00092, KAKENHI-PROJECT-18K11158
[Journal Article] Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation2018
- Author(s)
  M. Hamana
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 10818 Pages: 99-115
- DOI
  10.1007/978-3-319-90686-7_7
- ISBN
  9783319906850, 9783319906867
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00092
[Journal Article] How to prove your calculus is decidable: practical applications of second-order algebraic theories and computation2017
- Author(s)
  M. Hamana
- Journal Title
  
  Proceedings of the ACM on Programming Languages
  
  Volume: Volume 1 Issue ICFP Issue: ICFP Pages: 1-5
- DOI
  10.1145/3110266
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00092
[Journal Article] Strongly Normalising Cyclic Data Computation by Iteration Categories of Second-Order Algebraic Theories2016
- Author(s)
  Makoto Hamana
- Journal Title
  
  Formal Structures for Computation and Deduction
  
  Volume: LIPIcs Pages: 1-17
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-24300001
[Journal Article] Iteration Algebras for UnQL Graphs and Completeness for Bisimulation2015
- Author(s)
  Makoto Hamana
- Journal Title
  
  Electronic Proceedings in Theoretical Computer Science
  
  Volume: 191 Pages: 75-89
- DOI
  10.4204/eptcs.191.8
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-24300001, KAKENHI-PROJECT-25540002
[Journal Article] Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic2013
- Author(s)
  M. Fiore and M. Hamana
- Journal Title
  
  Proc. of Twenty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013)
  
  Volume: 2013 Pages: 520-529
- DOI
  10.1109/lics.2013.59
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300001, KAKENHI-PROJECT-25540002
[Journal Article] Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell. Functional and Logic Programming, Lecture Notes in Computer Science2012
- Author(s)
  M. Hamana
- Journal Title
  
  Springe-Verlagr
  
  Volume: 7294 Pages: 136-150
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700004
[Journal Article] Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell2012
- Author(s)
  Makoto Hamana,
- Journal Title
  
  Functional and Logic Programming
  
  Volume: LNCS 7294 Pages: 136-150
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700004
[Journal Article] Correct Looping Arrows from Cyclic Terms : Traced Categorical Interpretation in Haskell2012
- Author(s)
  M. Hamana
- Journal Title
  
  Functional and Logic Programming
  
  Volume: LNCS 7294 Pages: 136-150
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300001
[Journal Article] Polymorphic Abstract Syntax via Grothendieck Construction2011
- Author(s)
  M.Hamana
- Journal Title
  
  Foundations of Software Science and Computation Structures
  
  Volume: LNCS 6604 Pages: 381-395
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700004
[Journal Article] Polymorphic Abstract Syntax via Grothendieck Construction. Foundations of Software Science and Computation Structures, Lecture Notes in Computer Science2011
- Author(s)
  M. Hamana
- Journal Title
  
  Springer-Verlag
  
  Volume: 6604 Pages: 381-395
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700004
[Journal Article] A Foundation for GADTs and Inductive Families: Dependent Polynomial Functor Approach2011
- Author(s)
  Makoto Hamana, Marcelo Fiore
- Journal Title
  
  Generic Programming
  
  Volume: WGP'11 Pages: 59-70
- DOI
  10.1145/2036918.2036927
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700004
[Journal Article] A Foundation for GADTs and Inductive Families: Dependent Polynomial Functor Approach, Proc. of 7th ACM SIGPLAN International Workshop on Generic Porgramming2011
- Author(s)
  Makoto Hamana, and Marcelo Fiore.
- Journal Title
  
  ACM Press
  
  Pages: 59-70
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700004
[Journal Article] Initial Algebra Semantics for Cyclic Sharing Tree Structures.2010
- Author(s)
  M. Hamana
- Journal Title
  
  Logical Methods in Computer Science
  
  Volume: Volume 6, Issue(3:15) Pages: 1-23
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700004
[Journal Article] Semantic Labelling for Proving termination of Combinatory Reduction Systems2010
- Author(s)
  M.Hamana
- Journal Title
  
  Functional and(Constraint)Logic Programming(WELP 2009) LNCS 5979
  
  Pages: 62-78
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700006
[Journal Article] Semantic Labelling for Proving Termination of Combinatory Reduction Systems, Functional and Constraint Logic Programming, Lecture Notes in Computer Science2010
- Author(s)
  M. Hamana
- Journal Title
  
  Springer-Verlag
  
  Volume: 5979 Pages: 62-78
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700004
[Journal Article] Semantic Labelling for Proving Termination of Combinatory Reduction Systems, In Proc. of 18th International Workshop on Functional and (Constraint) Logic Programming, Lecture Notes in Computer Science2010
- Author(s)
  M. Hamana.
- Journal Title
  
  Springer-Verlag 5979
  
  Pages: 62-78
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700006
[Journal Article] Initial Algebra Semantics for Cyclic Sharing Tree Structures2010
- Author(s)
  M.Hamana
- Journal Title
  
  Logical Methods in Computer Science
  
  Volume: Vol.6(3:15) Pages: 1-23
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700004
[Journal Article] Initial Algebra Semantics for Cyclic Sharing Tree Structures2010
- Author(s)
  M.Hamana
- Journal Title
  
  Logical Methods in Computer Science (掲載決定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700006
[Journal Article] Initial Algebra Semantics for Cyclic Sharing Structures, Typed Lambda Calculi and Applications, Lecture Notes in Computer Science2009
- Author(s)
  M. Hamana.
- Journal Title
  
  Springer-Verlag 5608
  
  Pages: 127-141
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700006
[Journal Article] Initial Algebra Semantics for Cyclic Sharing Structures2009
- Author(s)
  M.Hamana
- Journal Title
  
  Typed Lambda Calculi and Applications(TLCA 2009) LNCS 5608
  
  Pages: 127-141
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700006
[Journal Article] 補関数の生成による複製機能付きプログラムの自動双方向化2009
- Author(s)
  松田一孝, 胡振江, 中野圭介, 浜名誠, 武市正人
- Journal Title
  
  コンピュータソフトウェア Vol.26,No.2
  
  Pages: 56-75
- NAID
  10025982390
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700006
[Journal Article] Bidirectionalization Transformation based on Automatic Deriv ation of View Complement Functions2007
- Author(s)
  Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi
- Journal Title
  
  12th ACM SIGPLAN International Conference on Functional Programming
  
  Pages: 47-58
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700006
[Journal Article] Bidirectionalization Transformation based on Automatic Derivation of View Complement Functions, In Proc. of 12th ACM SIGPLAN International Conference on Functional Programming2007
- Author(s)
  K. Matsuda, Z. Hu, K. Nakano, M. Hamana, M. Takeichi.
- Journal Title
  
  ACM Press
  
  Pages: 47-58
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700006
[Journal Article] Higher-Order Semantic Labelling for Inductive Datatype Systems. In Proc. of Ninth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming2007
- Author(s)
  M. Hamana.
- Journal Title
  
  ACM Press
  
  Pages: 97-108
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700006
[Journal Article] Higher-Order Semantic Labelling for Inductive Datatype Systems2007
- Author(s)
  M. Hamana
- Journal Title
  
  Ninth ACM SIGPLAN International Confe rence on Principles and Practice of Declar ative Programming
  
  Pages: 97-108
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700006
[Journal Article] Explicit Substitutions and Higher-Order Syntax2006
- Author(s)
  N.Ghaui, T.Uustalu, M.Hamana
- Journal Title
  
  Higher-Order and Symbolic Complication 19・2/3
  
  Pages: 263-282
- Data Source
  KAKENHI-PROJECT-16700005
[Journal Article] An Initial algebra Approach to Term Reloviting Systems with Variable Binders2006
- Author(s)
  M.Hamana
- Journal Title
  
  Higher-Order and Symbolic Complication 19・2/3
  
  Pages: 231-262
- Data Source
  KAKENHI-PROJECT-16700005
[Journal Article] 高階書換え系のための代数モデル2006
- Author(s)
  浜名誠
- Journal Title
  
  コンピュータソフトウエア Vol.23
  
  Pages: 142-156
- Data Source
  KAKENHI-PROJECT-16700005
[Journal Article] Representing Cyclic Structures as Nested Datatypes2006
- Author(s)
  N.Ghani, M.Hamana, T.Uustalu, V.Vene
- Journal Title
  
  Trends in Functional Programming
  
  Pages: 173-188
- Data Source
  KAKENHI-PROJECT-16700005
[Journal Article] Universal Algebra for Termination of Higher-Order Rewriting2005
- Author(s)
  浜名誠
- Journal Title
  
  Proceedings of 16th International Conference on Rewriting Techniques and Applications(RTA'05) to appear as LNCS
- Data Source
  KAKENHI-PROJECT-16700005
[Journal Article] Σモノイドーメタ変数と明示的環境を持つ高階構文2005
- Author(s)
  浜名誠
- Journal Title
  
  コンピュータソフトウェア(岩波書店) (印刷中)
- NAID
  130004892034
- Data Source
  KAKENHI-PROJECT-16700005
[Journal Article] Free Σ-monoids : A Higher-order Syntax with Metavariables2004
- Author(s)
  浜名誠
- Journal Title
  
  Proceedings of Second Asian Symposium on Programming Languages and Systems(APLAS'04) LNCS 3202
  
  Pages: 348-363
- Data Source
  KAKENHI-PROJECT-16700005
[Journal Article] 高階書換え系の停止性のための代数モデル
- Author(s)
  浜名誠
- Journal Title
  
  コンピュータソフトウェア(岩波書店) (採録決定)
- NAID
  130004892053
- Data Source
  KAKENHI-PROJECT-16700005
[Journal Article] An Initial Algebra Approach to Term Rewriting Systems with Variable Binders
- Author(s)
  浜名誠
- Journal Title
  
  Higher-Order and Symbolic Computation (Springer Science+Business Media) (採録決定)
- Data Source
  KAKENHI-PROJECT-16700005
[Journal Article] Explicit Substitutions and Higher-Order Syntax
- Author(s)
  N.Ghani, T.Uustalu, M.Hamana
- Journal Title
  
  Higher-Order and Symbolic Computation (Springer Science+Business Media) (採録決定)
- Data Source
  KAKENHI-PROJECT-16700005
[Journal Article] Initial Algebra Semantics for Cyclic Sharing Tree Structures.
- Author(s)
  M. Hamana.
- Journal Title
  
  Logical Methods in Computer Science (掲載決定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700006
[Journal Article] Universal Algebra for Termination of Higher-Order Rewriting
- Author(s)
  浜名誠
- Journal Title
  
  Proceedings of 16th International Conference on Rewriting Techniques and Applications (RTA'05)(Springer) LNCS 3467
  
  Pages: 135-149
- Data Source
  KAKENHI-PROJECT-16700005
[Journal Article] Σモノイド-メタ変数と明示的環境を持つ高階構文
- Author(s)
  浜名誠
- Journal Title
  
  コンピュータソフトウェア(岩波書店) Vol.22 No.3
  
  Pages: 201-207
- NAID
  130004892034
- Data Source
  KAKENHI-PROJECT-16700005
[Presentation] Foundations of Haskell's Rewrite Rules based on Higher-Kinded Polymorphic Rewrite Systems,2024
- Author(s)
  Makoto Hamana
- Organizer
  10th International Symposium on Symbolic Computation in Software Science
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24K02919
[Presentation] Modular Termination for Second-Order Rewriting Systems and Application to Effect Handlers2023
- Author(s)
  Makoto Hamana
- Organizer
  11th International Workshop on Higher-Order Rewriting (HOR 2023)
- Data Source
  KAKENHI-PROJECT-20H04164
[Presentation] Verifying Haskell's Rewrite Rules based on Polymorphic Rewriting Theory2023
- Author(s)
  Makoto Hamana
- Organizer
  16th ACM SIGPLAN International Haskell Symposium (Haskell 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04164
[Presentation] Automatic Correctness Checking of Haskell’s Rewrite Rules: Theory and Practice2023
- Author(s)
  Makoto Hamana
- Organizer
  日本ソフトウェア科学会第40回大会
- Data Source
  KAKENHI-PROJECT-20H04164
[Presentation] GSOL: A Confluence Checker for Haskell Rewrite Rules2021
- Author(s)
  Yao Faustin Date and Makoto Hamana
- Organizer
  Haskell Implementors Meeting 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04164
[Presentation] 高階パターン単一化のUnboundライブラリを用いたHaskellによる実装2021
- Author(s)
  藤岡亮, 浜名誠
- Organizer
  第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021)
- Data Source
  KAKENHI-PROJECT-17K00092
[Presentation] GSOL: A Confluence Checker for Haskell Rewrite Rules2021
- Author(s)
  Yao Faustin Date, Makoto Hamana
- Organizer
  日本ソフトウェア科学会第38回大会
- Data Source
  KAKENHI-PROJECT-20H04164
[Presentation] 高階パターン単一化のUnboundライブラリを用いたHaskellによる実装2021
- Author(s)
  藤岡亮, 浜名誠
- Organizer
  第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021)
- Data Source
  KAKENHI-PROJECT-20H04164
[Presentation] CUI on Web:ソフトウェア検証やテストCUIのためのモダンWebインターフェース枠組2021
- Author(s)
  浜名誠, 藤生和希
- Organizer
  日本ソフトウェア科学会第38回大会
- Data Source
  KAKENHI-PROJECT-20H04164
[Presentation] Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL2020
- Author(s)
  Makoto Hamana
- Organizer
  Functional and Logic Programming (FLOPS 2020)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04164
[Presentation] The System SOL version 20202020
- Author(s)
  Makoto Hamana
- Organizer
  the 9th International Workshop on Confluence (IWC 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04164
[Presentation] The Algebra of Recursive Graph Transformation Language UnCAL: Complete Axiomatisation and Iteration Categorical Semantics2018
- Author(s)
  M. Hamana
- Organizer
  Shonan Meeting - Diagrammatic Methods for Linear and Nonlinear Systems
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00092
[Presentation] 関数プログラム・計算系の分割停止性検証: 外山-Klop-Barendregt の定理の高階化2018
- Author(s)
  浜名誠
- Organizer
  日本ソフトウェア科学会第35回高橋奨励賞
- Data Source
  KAKENHI-PROJECT-17K00092
[Presentation] Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation2018
- Author(s)
  M. Hamana
- Organizer
  International Symposium on Functional and Logic Programming 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00092
[Presentation] SOL: Second-Order Laboratory2017
- Author(s)
  Makoto Hamana, Tatsuya Abe, Yuito Murase, and Kazuhiko Sakaguchi.
- Organizer
  International Confluence Competition 2017
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00092
[Presentation] SOL: A Tool for Proving Decidability of Equational Theories2017
- Author(s)
  M. Hamana
- Organizer
  Shonan meeting on REVERSE EXECUTION IN TESTING - IMPROVING SECURITY AND RELIABILITY
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00092
[Presentation] A Functional Implementation of Function-as-Constructor Higher-Order Unification2017
- Author(s)
  M. Hamana
- Organizer
  International Workshop on Unification (UNIF'17)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00092
[Presentation] How to Prove Your Calculus is Decidable: Practical Applications of Second-order Algebraic Theories and Computation2017
- Author(s)
  M. Hamana
- Organizer
  International Conference on Functional Programming
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00092
[Presentation] プログラミング言語研究のための(高階)項書換え系入門2016
- Author(s)
  浜名誠
- Organizer
  第18回プログラミングおよびプログラミング言語ワークショップ(PPL'16)
- Place of Presentation
  岡山県玉野市
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-25540002
[Presentation] プログラミング言語研究のための(高階)項書換え系入門2016
- Author(s)
  浜名誠
- Organizer
  第18回プログラミングおよびプログラミング言語ワークショップ(PPL'16)
- Place of Presentation
  岡山県玉野市
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-24300001
[Presentation] Iteration Algebras for UnQL Graphs and Completeness for Bisimulation2016
- Author(s)
  浜名誠
- Organizer
  メタプログラムに対する論理学的アプローチ研究集会
- Place of Presentation
  東北大学電気通信研究所
- Year and Date
  2016-09-27
- Data Source
  KAKENHI-PROJECT-24300001
[Presentation] Iteration Algebras for UnQL Graphs and Completeness for Bisimulation2015
- Author(s)
  Makoto Hamana
- Organizer
  FireEye Seminar
- Place of Presentation
  FireEye Dresden
- Year and Date
  2015-09-15
- Data Source
  KAKENHI-PROJECT-25540002
[Presentation] Iteration Algebras for UnQL Graphs and Completeness for Bisimulation2015
- Author(s)
  Makoto Hamana
- Organizer
  The 10th International Workshop on Fixed Points in Computer Science (FICS'15)
- Place of Presentation
  Technische Universitat Berlin, Germany
- Year and Date
  2015-09-11
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24300001
[Presentation] Sound and Complete Equational Axiomatisation of Cyclic Semi-structured Data2015
- Author(s)
  浜名誠
- Organizer
  メタプログラムに対する論理学的アプローチ
- Place of Presentation
  東北大学電気通信研究所
- Year and Date
  2015-02-24
- Data Source
  KAKENHI-PROJECT-25540002
[Presentation] Algebraic Semantics of Higher-order Abstract Syntax and Second-order Rewriting2015
- Author(s)
  Makoto Hamana
- Organizer
  International Summer School on Rewriting (ISR 2015)
- Place of Presentation
  Leipzig, Germany
- Year and Date
  2015-08-10
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25540002
[Presentation] Iteration Algebras for UnQL Graphs and Completeness for Bisimulation2015
- Author(s)
  浜名誠
- Organizer
  メタプログラムに対する論理学的アプローチ研究集会
- Place of Presentation
  東北大学電気通信研究所
- Year and Date
  2015-09-28
- Invited
- Data Source
  KAKENHI-PROJECT-25540002
[Presentation] Iteration Algebras for UnQL Graphs and Completeness for Bisimulation2015
- Author(s)
  Makoto Hamana
- Organizer
  The 10th International Workshop on Fixed Points in Computer Science (FICS'15)
- Place of Presentation
  Technische Universitat Berlin, Germany
- Year and Date
  2015-09-11
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25540002
[Presentation] A Sound and Complete Equational Axiomatisation of Cyclic Semi-structured Data2015
- Author(s)
  浜名誠
- Organizer
  メタプログラムに対する論理学的アプローチ
- Place of Presentation
  東北大学電気通信研究所
- Year and Date
  2015-02-24
- Data Source
  KAKENHI-PROJECT-24300001
[Presentation] Polymorphic Abstract Syntax via Grothendieck Construction2013
- Author(s)
  M. Hamana
- Organizer
  プログラミングおよびプログラミング言語ワークショップPPL2013
- Place of Presentation
  会津若松御宿東鳳
- Year and Date
  2013-03-06
- Data Source
  KAKENHI-PROJECT-24300001
[Presentation] Constructing Correct Looping Arrows from Cyclic Terms : Traced Categorical Interpretation in Haskell2012
- Author(s)
  M. Hamana
- Organizer
  Symposium on Symbolic Computation and Software Science
- Place of Presentation
  筑波大学
- Year and Date
  2012-06-03
- Data Source
  KAKENHI-PROJECT-24300001
[Presentation] Correct Looping Arrows from Cyclic Terms : Traced Categorical Interpretation in Haskell2012
- Author(s)
  M. Hamana
- Organizer
  Functional and Logic Programming
- Place of Presentation
  神戸大学
- Year and Date
  2012-05-23
- Data Source
  KAKENHI-PROJECT-24300001
[Presentation] Polymorphic Abstract Syntax via Grothendieck Construction2011
- Author(s)
  M.Hamana
- Organizer
  Foundations of Software Science and Computation Structures
- Place of Presentation
  ドイツザールブリュッケンサーランド大学
- Year and Date
  2011-03-30
- Data Source
  KAKENHI-PROJECT-22700004
[Presentation] Another Initial Algebra Semantics of Inductive Families for Programming2010
- Author(s)
  M.Hamana
- Organizer
  Dependently Typed Programming 2010
- Place of Presentation
  イギリスエジンバラ大学
- Year and Date
  2010-07-10
- Data Source
  KAKENHI-PROJECT-22700004
[Presentation] Dependent Polymorphism2010
- Author(s)
  M.Hamana
- Organizer
  日本ソフトウェア科学会第27回大会
- Place of Presentation
  津田塾大学
- Year and Date
  2010-09-15
- Data Source
  KAKENHI-PROJECT-22700004
[Presentation] Inductive Cyclic Data Structures2009
- Author(s)
  浜名誠
- Organizer
  The Estonian Theory Days
- Place of Presentation
  Kaariku Leisure and Sports Center, Estonia
- Year and Date
  2009-02-01
- Data Source
  KAKENHI-PROJECT-19700006
[Presentation] Initial Algebra Semantics for Cyclic Sharing Structures2009
- Author(s)
  浜名誠
- Place of Presentation
  Typed Lambda Calculi and Applications
- Year and Date
  2009-07-03
- Data Source
  KAKENHI-PROJECT-19700006
[Presentation] Semantic Labelling for Proving Termination of Combinatory Reduction Systems2009
- Author(s)
  浜名誠
- Organizer
  18th International Workshop on Functional and (Constraint) Logic
- Place of Presentation
  Programming
- Year and Date
  2009-06-28
- Data Source
  KAKENHI-PROJECT-19700006
[Presentation] Semantic Labelling for Proving Termination of Combinatory Reduction Systems2009
- Author(s)
  M.Hamana
- Organizer
  18th International Workshop on Functional and(Constraint)Logic Programming
- Place of Presentation
  ブラジルブラジリア大学
- Year and Date
  2009-06-28
- Data Source
  KAKENHI-PROJECT-19700006
[Presentation] Inductive Cyclic Sharing Data Structures, 相互作用の幾何2009
- Author(s)
  浜名誠
- Organizer
  トレース付きモノイダル圏と非明示的計算量研究会
- Place of Presentation
  京都大学
- Year and Date
  2009-08-25
- Data Source
  KAKENHI-PROJECT-19700006
[Presentation] Initial Algebra Semantics for Cyclic Sharing Structures2009
- Author(s)
  M.Hamana
- Organizer
  相互作用の幾何、トレース付きモノイダル圏と非明示的計算量
- Place of Presentation
  京都大学
- Year and Date
  2009-08-25
- Data Source
  KAKENHI-PROJECT-19700006
[Presentation] Initial Algebra Semantics for Cyclic Sharing Structures2009
- Author(s)
  M.Hamana
- Organizer
  Ninth International Conference on Typed Lambda Calculi and Applications
- Place of Presentation
  ブラジルブラジリア大学
- Year and Date
  2009-07-03
- Data Source
  KAKENHI-PROJECT-19700006
[Presentation] Term Syntax for Cyclic Sharing Structures2008
- Author(s)
  浜名誠
- Organizer
  29th TRS meeting
- Place of Presentation
  東京大学
- Year and Date
  2008-02-28
- Data Source
  KAKENHI-PROJECT-19700006
[Presentation] Inductive Cyclic Sharing Data Structures2008
- Author(s)
  浜名誠
- Organizer
  Workshop on Mathematics for Pressing Problems in Computer Science
- Place of Presentation
  京都大学
- Year and Date
  2008-06-30
- Data Source
  KAKENHI-PROJECT-19700006
[Presentation] Induetive Cychc Shamig Data Stnlctures2008
- Author(s)
  浜名誠
- Organizer
  計算機にまつわる喫緊の問題を解決するための数学的手法
- Place of Presentation
  京都大学数理解析研究所
- Year and Date
  2008-06-30
- Data Source
  KAKENHI-PROJECT-19700006
[Presentation] Higher-Order Semantic Labelling for Inductive Datatype Systems2007
- Author(s)
  M. Hamana
- Organizer
  Ninth ACM SIGPLAN International Conference on Principles and Practice of Declar ative Programming
- Place of Presentation
  ポーランドブロツワフ大学
- Year and Date
  2007-07-14
- Data Source
  KAKENHI-PROJECT-19700006
[Presentation] What is the Category for Haskell?2007
- Author(s)
  浜名誠
- Organizer
  CAPS, IPL
- Place of Presentation
  東京大学
- Year and Date
  2007-10-23
- Data Source
  KAKENHI-PROJECT-19700006
[Presentation] Representing a Cyclic Sharing Structure as a GADT2007
- Author(s)
  浜名誠
- Organizer
  IPL seminar
- Place of Presentation
  東京大学
- Year and Date
  2007-10-30
- Data Source
  KAKENHI-PROJECT-19700006
[Presentation] Higher-Order Semantic Labelling for Inductive Datatype Systems.2007
- Author(s)
  浜名誠
- Organizer
  Ninth ACM SIGPLAN International Conference on Principles and Practice of Declarative
- Place of Presentation
  Programming
- Year and Date
  2007-07-14
- Data Source
  KAKENHI-PROJECT-19700006
[Presentation] A Foundation for GADTs and Inductive Families: Dependent Polynomial Functor Approach
- Author(s)
  Makoto Hamana
- Organizer
  the seventh ACM SIGPLAN workshop on Generic programming
- Place of Presentation
  National Institute of Informatics
- Data Source
  KAKENHI-PROJECT-22700004
[Presentation] 多元宇宙多相型代数理論
- Author(s)
  浜名誠
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-24300001
[Presentation] Polymorphic Algebraic Theories and Logical Predicates
- Author(s)
  Makoto Hamana
- Organizer
  Semantic Methods in Haskell and Functional Programming Seminar
- Place of Presentation
  国立情報学研究所
- Data Source
  KAKENHI-PROJECT-25540002
[Presentation] Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic
- Author(s)
  Makoto Hamana
- Organizer
  General Algebra and Its Applications (GAIA'13)
- Place of Presentation
  La Trobe University, Melbourne, Australia
- Data Source
  KAKENHI-PROJECT-24300001
[Presentation] Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell
- Author(s)
  Makoto Hamana
- Organizer
  プログラミングおよびプログラミング言語ワークショップ PPL2012
- Place of Presentation
  南紀白浜むさし
- Data Source
  KAKENHI-PROJECT-22700004
[Presentation] Constructing Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell
- Author(s)
  Makoto Hamana
- Organizer
  Symposium on Symbolic Computation and Software Science
- Place of Presentation
  筑波大学
- Invited
- Data Source
  KAKENHI-PROJECT-22700004
[Presentation] Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic
- Author(s)
  Makoto Hamana
- Organizer
  NII Shonan Meeting on Coinduction for Computation Structures and Programming Languages
- Place of Presentation
  湘南国際村
- Data Source
  KAKENHI-PROJECT-25540002
[Presentation] Dependent Polynomial Functors for Inductive Families
- Author(s)
  Makoto Hamana
- Organizer
  Dependently Typed Programming/Agda Implementors Meeting, Shonan Meeting Seminar
- Place of Presentation
  湘南国際村
- Invited
- Data Source
  KAKENHI-PROJECT-22700004
[Presentation] Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell
- Author(s)
  Makoto Hamana
- Organizer
  Functional and Logic Programming
- Place of Presentation
  神戸大学
- Data Source
  KAKENHI-PROJECT-22700004
[Presentation] Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic
- Author(s)
  Makoto Hamana
- Organizer
  ACM/IEEE Symposium on Logic in Computer Science
- Place of Presentation
  Tulane University, New Orleans, USA
- Data Source
  KAKENHI-PROJECT-25540002
[Presentation] Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic
- Author(s)
  Makoto Hamana
- Organizer
  Category Theory Conference (CT'13)
- Place of Presentation
  Macquarie University, Sydney, Australia
- Data Source
  KAKENHI-PROJECT-24300001
[Presentation] On Multiversal Polymorphic Algebraic Theories
- Author(s)
  Makoto Hamana
- Organizer
  メタプログラムに対する論理的アプローチ研究会
- Place of Presentation
  東北大学電気通信研究所
- Invited
- Data Source
  KAKENHI-PROJECT-25540002
[Presentation] Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic
- Author(s)
  Makoto Hamana
- Organizer
  Twenty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'13)
- Place of Presentation
  New Orleans, USA
- Data Source
  KAKENHI-PROJECT-24300001
[Presentation] Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic
- Author(s)
  Makoto Hamana
- Organizer
  NII Shoan Workshop on Coinduction for computation structures and programming languages
- Place of Presentation
  湘南国際村
- Data Source
  KAKENHI-PROJECT-24300001

1. SHINYA KATSUMATA (30378963)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
2. 室屋晃子 (00827454)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
3. 菊池健太郎 (40396528)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
4. 今井敬吾 (70456630)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Hamana Makoto 浜名 誠

HAMANA Makoto 浜名 誠

Research Projects

Research Products

Co-Researchers

Development of next-generation multi-paradigm programming languages based on higher-order rewriting systemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Universal Algebraic Datatypes: Theory and Practice on Datatypes based on Higher-Order RewritingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principles of Higher-Order Universal Algebraic DatatypesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Semantics of Core Haskell -- Towards Foundations of Verification of Advanced Functional ProgramsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Foundations of Dependable Datatypes by Dependent TypesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Dependable Data Structures by Dependent TypesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Theory of Inductive Data Types Involving Safe PointersPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

メタプログラミングシステムのための正しいモジュール化の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] チューリングを読む2012

Author(s)

Total Pages

Publisher

Data Source

[Book] チューリングを読む-コンピュータサイエンスの金字塔を楽しもう2012

Author(s)

Total Pages

Publisher

Data Source

[Book] 計算モデル論入門-チューリング機械からラムダ計算へ-2006

Author(s)

Total Pages

Publisher

Data Source

[Journal Article] Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement2024

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Foundations of Haskell’s Rewrite Rules Based on Higher-Kinded Polymorphic Rewrite Systems2024

Author(s)

Journal Title

DOI

ISBN

Data Source

Hamana Makoto 浜名誠

HAMANA Makoto 浜名誠