Makoto Hamana

Research Associate at Department of Computer Science,
Faculty of Engineering, Gunma University
Curriculum Vitae: PS

担当授業のページ

Research Interests

• Theory of variable binding (Binding algebras, Higher-order abstract syntax, Context calculus)
• Declarative programming languages (functional languages, logic programming languages, functional-logic languages)
• Semantics of programming languages
• Term rewriting

Papers

• M. Hamana, Universal Algebra for Termination of Higher-Order Rewriting,
  16th International Conference on Rewriting Techniques and Applications (RTA'05),
  to appear as LNCS, Springer.
  
• M. Hamana, Free Sigma-monoids: A Higher-Order Syntax with Metavariables,
  The Second Asian Symposium on Programming Languages and Systems (APLAS 2004), Lecture Notes in Computer Science 3202, Springer, pp. 348-363, 2004.
  Available: DVI, PS, PDF
  
• 浜名誠, Σモノイド─メタ変数と明示的環境を持つ高階構文─,
  日本ソフトウェア科学会第21回大会, in Japanese, 2004.
  Available: DVI, PS, PDF
  
• M. Hamana, Term Rewriting with Variable Binding: An Initial Algebra Approach,
  Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2003), pp.148-159, 2003.
  Available: Paper in the ACM Digital Library, DVI, PS
  
• M. Hamana, A Logic Programming Language based on Binding Algebras,
  International Symposium on Theoretical Aspects of Computer Software (TACS 2001), Lecture Notes in Computer Science 2215, Springer, pp. 243-262, 2001.
  Abstract: English
  Available: DVI, PS
  
• M. Hamana, Semantics for Interactive Higher-order Functional-logic Programming,
  Doctoral Thesis, University of Tsukuba, 1998.
  Abstract: English
  Available: DVI, PS
  
• M. Hamana, Equivalence of the Quotient Term Model and the Least Complete Herbrand Model for a Functional-Logic Language,
  Journal of Functional and Logic Programming, Vol. 1997, No. 1, 1997.
  Abstract: Japanese
  Available: Journal page
  
• M. Hamana, Algebraic Semantics for Higher-Order Functional-Logic Programming,
  Proceedings of the 2nd Fuji International Workshop on Functional and Logic Programming, World Scientific, Singapore, pp. 194-209, 1996.
  Abstract: English, Japanese
  Available: DVI, PS, PDF
  
• 鈴木大郎, 浜名誠． 項書換え系としての論理プログラム.
  コンピュータソフトウェア, Vol. 14, No. 6, pp. 29-43, 岩波書店, 1997.
  
• M. Hamana, Semantics of a Functional-Logic Programming Language,
  Master Thesis, University of Tsukuba, 1995.
  
• M. Hamana, T. Nishioka, K. Nakahara, A. Middeldorp and T.Ida, 作用型項書換え系に基づく関数論理型言語の設計と実装 (A Design and Implementation of a Functional-Logic Language Based on Applicative Term Rewriting Systems),
  情報処理学会論文誌 (Transactions of Information Processing Society of Japan), Vol. 36, No. 8, 1897-1905, in Japanese, pp. 1897-1905, 1995.
  Abstract: Japanese
  

Miscellaneous

• M. Hamana. Simple beta0-Unification for Terms with Context Holes, UNIF 2002, July 2002, Paper, Slides.
• M. Hamana. Interactive Functional-logic Programming by Conditional Term Rewriting Systems,
  Proceedings of JSSST Workshop on Programming and Programming Languages (PPL'99), 1999.
  Available: DVI, PS
• M. Hamana, Term rewriting with sequences,
  Proceedings of the First International Theorema Workshop, Report Series No. 97-20. RISC-Linz, Johannes Kepler University, 1997.
  Available: DVI, PS

Address

Department of Information Engineering
Univeristy of Gunma
Tenjincho 1-4-1, Kiryu
Gunam 376-8515
Japan
Office Tel: 1819 (internal)
Fax/Tel: +81 277 30 1819
E-mail: hamana at cs.gunma-u.ac.jp
WWW: www.keim.cs.gunma-u.ac.jp/~hamana/

Links

• SCORE at Tsukuba University
  
• Sato's lab. at Kyoto University
• LFCS, University of Edinburgh