浜名誠 Hamana Makoto

研究者番号	90334135
その他のID	https://orcid.org/0000-0002-3064-8225
所属 (現在)	2024年度: 九州工業大学, 大学院情報工学研究院, 教授
所属 (過去の研究課題情報に基づく) *注記	2024年度: 九州工業大学, 大学院情報工学研究院, 教授 2022年度 – 2023年度: 群馬大学, 情報学部, 准教授 2017年度 – 2021年度: 群馬大学, 大学院理工学府, 准教授 2015年度: 群馬大学, その他部局等, 助教 2014年度 – 2015年度: 群馬大学, 大学院理工学府, 助教 … もっと見る 2013年度: 群馬大学, 理工学研究科, 助教 2007年度 – 2012年度: 群馬大学, 大学院・工学研究科, 助教 2011年度: 群馬大学, 工学(系)研究科(研究院), 助教 2004年度 – 2006年度: 群馬大学, 工学部, 助手隠す
審査区分/研究分野	研究代表者情報学基礎 / 小区分60050:ソフトウェア関連 / ソフトウェア / 情報学基礎理論
キーワード	研究代表者関数プログラム / プログラム理論 / ソフトウェア科学 / 代数仕様 / 書換え系 / 関数プログラミング / 情報学基礎 / データ構造 / 停止性 / ラムダ計算 … もっと見る / 合流性 / Haskell / プログラム意味論 / 圏論 / 依存型 / 自動定理証明 / 情報基礎 / 項書換え / 書替え系 / 代数データ型 / 項書き換え系 / 自動証明 / 型理論 / 操作的意味論 / 原始再帰 / 半構造データ / 構造再帰 / 代数理論 / 多相型 / 項書替え / 項書換え・データ構造・情報基礎 / 関数型プログラミング言語 / 普遍代数 / 圏論的意味論 / 等式仕様 / 項書換え系 / モジュール化 / 高階抽象構文 / 始代数意味論 / 代数モデル / メタプログラミング隠す

高階書換え系による次世代マルチパラダイム・プログラミング言語の展開研究代表者
- 研究代表者
  
  浜名誠
- 研究期間 (年度)
  2024 – 2028
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  九州工業大学
真代数型: 高階書換えに基づく安全性保証付きデータ型の原理・推論・実践研究代表者
- 研究代表者
  
  浜名誠
- 研究期間 (年度)
  2020 – 2023
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  群馬大学
高階代数系指向プログラミングの原理―安全・柔軟なソフトウェアへ向けて研究代表者
- 研究代表者
  
  浜名誠
- 研究期間 (年度)
  2017 – 2020
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウェア
- 研究機関
  群馬大学
Haskellコアの意味論－先端的ソフトウェア検証基盤へ向けて研究代表者
- 研究代表者
  
  浜名誠
- 研究期間 (年度)
  2013 – 2015
- 研究種目
  
  挑戦的萌芽研究
- 研究分野
  
  情報学基礎理論
- 研究機関
  群馬大学
依存型理論による安全性保証付きデータ構造の創出・推論・進化研究代表者
- 研究代表者
  
  浜名誠
- 研究期間 (年度)
  2012 – 2015
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  群馬大学
ディペンデント型によるディペンダビリティ保証付きデータ構造の理論研究代表者
- 研究代表者
  
  浜名誠
- 研究期間 (年度)
  2010 – 2011
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  群馬大学
関数型プログラムの限界を越える安全なポインタを持つ再帰データ型の理論研究代表者
- 研究代表者
  
  浜名誠
- 研究期間 (年度)
  2007 – 2009
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  群馬大学
メタプログラミングシステムのための正しいモジュール化の研究研究代表者
- 研究代表者
  
  浜名誠
- 研究期間 (年度)
  2004 – 2006
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  群馬大学

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

1. 勝股審也 (30378963)

共同の研究課題数: 1件

共同の研究成果数: 0件
2. 室屋晃子 (00827454)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 菊池健太郎 (40396528)

共同の研究課題数: 1件

共同の研究成果数: 2件
4. 今井敬吾 (70456630)

共同の研究課題数: 1件

共同の研究成果数: 0件

浜名 誠 Hamana Makoto

研究課題

研究成果

共同研究者

高階書換え系による次世代マルチパラダイム・プログラミング言語の展開研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

真代数型: 高階書換えに基づく安全性保証付きデータ型の原理・推論・実践研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

高階代数系指向プログラミングの原理―安全・柔軟なソフトウェアへ向けて研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

Haskellコアの意味論－先端的ソフトウェア検証基盤へ向けて研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

依存型理論による安全性保証付きデータ構造の創出・推論・進化研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ディペンデント型によるディペンダビリティ保証付きデータ構造の理論研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

関数型プログラムの限界を越える安全なポインタを持つ再帰データ型の理論研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

著者名/発表者名

総ページ数

出版者

データソース

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

著者名/発表者名

総ページ数

出版者

データソース

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

著者名/発表者名

総ページ数

出版者

データソース

[雑誌論文] Modular Termination for Second-Order Rewriting Systems and Application to Effect Handlers2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handler2022

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] GSOL: A Confluence Checker for Haskell Rewrite Rules2022

著者名/発表者名

雑誌名

DOI

浜名誠 Hamana Makoto