Technical reports / Unrefereed manuscripts

• 石黒雄輔、小川瑞史
  連想計算エンジン GETA を用いたスパム判別（改訂版）
  日本ソフトウェア科学会第25回大会 4B-2, 2008.9.11.
  
  
• Mizuhito Ogawa
  Simple gap termination for term graph rewriting systems
  Research report 918, RIMS, Kyoto Univ, Kyoto, pp.99-108, 1995.
  comment  
  
  
• Mizuhito Ogawa and Satoshi Ono
  On the Uniquely Converging Property of Nonlinear Term Rewriting Systems
  IEICE SIGCOMP89-7, 1989.May.18.
  comment