大学情報データベース

研究者 : 浜名 誠 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年