Makoto Hamana

Assistant Professor at Department of Computer Science, Gunma University
Curriculum Vitae: PDF
研究内容の紹介: 「ソフトウェアを科学する」(群馬県の新聞に掲載された記事 )


Research Interests

Awards

Papers

[List in DBLP]

Book

Talks

Miscellaneous

Haskell Programs

  1. A translation from our inductive cyclic lists to "real" cyclic lists
  2. A term syntax for a counter circut by ArrowLoop
  3. Tarjan's algorithm for computing strong connected components
  4. Graph algorithms based on depth-first search

Academic Activity

Address

Department of Computer Science, Faculty of Engineering,
Gunma University
1-5-1 Tenjincho Kiryu, Gunma 376-8515,
JAPAN
E-mail: hamana ## cs.gunma-u.ac.jp (replace ## with @)
WWW: www.cs.gunma-u.ac.jp/~hamana/

Links to the places I have worked/stayed