研究者 : 浜名 誠 |
32 件中 1 - 32 件目 |
【論文】
- Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation
- 【全著者名】 M. Hamana
- 【掲載雑誌名】 Lecture Notes in Computer Science
- 【巻・号・頁】 10818: 99-115
- 【発表年月】 2018年05月
- The Algebra of Recursive Graph Transformation Language UnCAL: Complete Axiomatisation and Iteration Categorical Semantics
- 【全著者名】 MAKOTO HAMANA, KAZUTAKA MATSUDA and KAZUYUKI ASADA
- 【掲載雑誌名】 Mathematical Structures in Computer Science
- 【巻・号・頁】 28(2): 287-337
- 【発表年月】 2018年02月
- Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories
- 【全著者名】 Hamana, Makoto
- 【掲載雑誌名】 LOGICAL METHODS IN COMPUTER SCIENCE
- 【巻・号・頁】 13(4): 1-38
- 【発表年月】 2017年11月
- A Functional Implementation of Function-as-Constructor Higher-Order Unification
- 【全著者名】 Hamana, Makoto
- 【掲載雑誌名】 Proc. International Workshop on Unification (UNIF'17)
- 【巻・号・頁】 : 1-6.
- 【発表年月】 2017年09月
- How to Prove Your Calculus is Decidable: Practical Applications of Second-order Algebraic Theories and Computation
- 【全著者名】 Hamana, Makoto
- 【掲載雑誌名】 Proceedings of the ACM on Programming Languages
- 【巻・号・頁】 1(22): 1-28.
- 【発表年月】 2017年09月
- Strongly Normalising Cyclic Data Computation by Iteration Categories of Second-Order Algebraic Theoryies
- 【全著者名】 M. Hamana
- 【掲載雑誌名】 The Leibniz International Proceedings in Informatics
- 【巻・号・頁】 52: 21:1-21:18
- 【発表年月】 2016年04月
- Iteration Algebras for UnQL Graphs and Completeness for Bisimulation
- 【全著者名】 M. Hamana
- 【掲載雑誌名】 Electronic Proceedings in Theoretical Computer Science
- 【巻・号・頁】 191: 75-89
- 【発表年月】 2015年09月
- Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic
- 【全著者名】 Marcelo Fiore, Makoto Hamana
- 【掲載雑誌名】 Twenty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013)
- 【巻・号・頁】 : 520-529
- 【発表年月】 2013年07月
- Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell
- 【全著者名】 M. Hamana
- 【掲載雑誌名】 Functional and Logic Programming
- 【巻・号・頁】 Lecture Notes in Computer Science 7294
- 【発表年月】 2012年05月
- A Foundation for GADTs and Inductive Families: Dependent Polynomial Functor Approach
- 【全著者名】 Makoto Hamana, Marcelo Fiore
- 【掲載雑誌名】 ACM Generic Porgramming
- 【発表年月】 2011年09月
- Polymorphic Abstract Syntax via Grothendieck Construction
- 【全著者名】 M. Hamana
- 【掲載雑誌名】 Foundations of Software Science and Computation Structures
- 【巻・号・頁】 Lecture Notes in Computer Science 6604: p.381-395
- 【発表年月】 2011年03月
- Initial Algebra Semantics for Cyclic Sharing Tree Structures
- 【全著者名】 M. Hamana
- 【掲載雑誌名】 Logical Methods in Computer Science
- 【巻・号・頁】 Volume 6(Issue 3)
- 【発表年月】 2010年09月
- Semantic Labelling for Proving Termination of Combinatory Reduction Systems
- 【全著者名】 M. Hamana
- 【掲載雑誌名】 Proc. of 18th International Workshop on Functional and
(Constraint) Logic Programming
- 【巻・号・頁】 Lecture Notes in Computer Science 5979
- 【発表年月】 2009年
- 補関数の生成による複製機能付きプログラムの自動双方向化
- 【全著者名】 松田一孝, 胡振江, 中野圭介, 浜名誠, 武市正人
- 【掲載雑誌名】 コンピュータソフトウェア
- 【巻・号・頁】 26(2): 56-75
- 【発表年月】 2009年
- Initial Algebra Semantics for Cyclic Sharing Structures
- 【全著者名】 M. Hamana
- 【掲載雑誌名】 Typed Lambda Calculi and Applications
- 【巻・号・頁】 Lecture Notes in Computer Science 5608: 127-141
- 【発表年月】 2009年
- Bidirectionalization Transformation based on Automatic Derivation of View Complement Functions
- 【全著者名】 K. Matsuda, Z. Hu, K. Nakano, M. Hamana, M. Takeichi
- 【掲載雑誌名】 Proc. of 12th ACM SIGPLAN International Conference on Functional Programming (ICFP'07)
- 【巻・号・頁】 : 47-58
- 【発表年月】 2007年10月
- Higher-Order Semantic Labelling for Inductive Datatype Systems
- 【全著者名】 M. Hamana
- 【掲載雑誌名】 Proc. of Ninth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'07)
- 【巻・号・頁】 : 97-108
- 【発表年月】 2007年
- 高階書換え系の停止性のための代数モデル
- 【全著者名】 浜名 誠
- 【掲載雑誌名】 コンピュータソフトウェア
- 【巻・号・頁】 Vol. 23(No. 2): 142-156
- 【発表年月】 2006年01月
- Explicit Substitutions and Higher-Order Syntax
- 【全著者名】 HAMANA MAKOTO / Neil Ghani / Tarmo Uustalu
- 【掲載雑誌名】 Higher-Order and Symbolic Computation, Springer Science+Business Media
- 【巻・号・頁】 Volume 19,(Issue 2/3): 263-282
- 【発表年月】 2006年
- Representing Cyclic Structures as Nested Datatypes
- 【全著者名】 HAMANA MAKOTO / Neil Ghani / Tarmo Uustalu / Varmo Vene
- 【掲載雑誌名】 Trends in Functional Programming
- 【巻・号・頁】 pp. 173-188
- 【発表年月】 2006年
- An Initial Algebra Approach to Term Rewriting Systems with Variable Binders
- 【全著者名】 HAMANA MAKOTO
- 【掲載雑誌名】 Higher-Order and Symbolic Computation, Springer Science+Business Media
- 【巻・号・頁】 Volume 19, Issue 2/3
- 【発表年月】 2006年
- Universal Algebra for Termination of Higher-Order Rewriting
- 【全著者名】 HAMANA MAKOTO
- 【掲載雑誌名】 Rewriting Techniques and Applications
- 【巻・号・頁】 Lecture Notes in Computer Science 3467: pp. 348-363
- 【発表年月】 2005年04月
- Σモノイド─メタ変数と明示的環境を持つ高階構文
- 【全著者名】 浜名 誠
- 【掲載雑誌名】 コンピュータソフトウェア
- 【巻・号・頁】 Vol.22, No.3, pp. 201-207
- 【発表年月】 2005年01月
- Free Sigma-monoids: A Higher-order Syntax with Metavariables
- 【全著者名】 HAMANA MAKOTO
- 【掲載雑誌名】 The Second Asian Symposium on Programming Languages and Systems
- 【巻・号・頁】 Lecture Notes in Computer Science 3202,: pp. 348-363
- 【発表年月】 2004年11月
- Term Rewriting with Variable Binding: An Initial Algebra Approach
- 【全著者名】 HAMANA MAKOTO
- 【掲載雑誌名】 Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2003), ACM Press
- 【巻・号・頁】 ,pp.148-159
- 【発表年月】 2003年08月
- Simple beta0-Unification for Terms with Context Holes
- 【全著者名】 HAMANA MAKOTO
- 【掲載雑誌名】 Proceedings of The 16th International Workshop on Unification (UNIF 2002), Technical report 02-05, The University of IOWA
- 【巻・号・頁】 pp.9-13
- 【発表年月】 2002年07月
- Term Rewriting with Variable Binding
- 【全著者名】 HAMANA MAKOTO
- 【掲載雑誌名】 Proceedings of The First International Workshop on Higher-Order Rewriting (HOR'02)
- 【発表年月】 2002年07月
- A Logic Programming Language based on Binding Algebras
- 【全著者名】 HAMANA MAKOTO
- 【掲載雑誌名】 Theoretical Aspects of Computer Software
- 【巻・号・頁】 Lecuture Notes in Computer Science 2215: pp. 243-262
- 【発表年月】 2001年
- Equivalence between the quotient term model and the least complete Herbrand model for a functional-logic language
- 【全著者名】 HAMANA MAKOTO
- 【掲載雑誌名】 Journal of Functional and Logic Programming
- 【巻・号・頁】 No.1
- 【発表年月】 1997年
- 項書換え系としての論理プログラム
- 【全著者名】 浜名 誠
- 【掲載雑誌名】 コンピュータソフトウェア
- 【巻・号・頁】 Vol.14,No.6,pp.29-43
- 【発表年月】 1997年
- Algebraic semantics for higher-order functional-logic programming
- 【全著者名】 HAMANA MAKOTO
- 【掲載雑誌名】 Proceedings of the Second Fuji International Workshop on Functional and Logic Programming, World Scientific Publishing
- 【巻・号・頁】 : 194-209
- 【発表年月】 1997年
- コンビナトリー項書換え系に基づく関数論理型言語の設計と実装
- 【全著者名】 浜名 誠, 西岡知之, 中原鉱一, アートミデルドープ, 井田哲雄:
- 【掲載雑誌名】 情報処理学会論文誌
- 【巻・号・頁】 Vol.36, No.8, pp. 1897-1905
- 【発表年月】 1995年