大学情報データベース

トップ > 研究者検索 > 論文

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