Katumi INOUE（井上 克巳）

研究報告

1. SATソルバの並列実行に関する一考察
   上田 盛慈, 鵜飼 訓史, 井上 克巳, 番原 睦則, 田村 直之, 川村 尚生, 電子情報通信学会技術報告, Vol. AI2003-8, pp. 41-46 (2003).
   概要 BibTeX

総説

1. Javaによる分散協調制約解消システム
   番原 睦則, 田村 直之, 井上 克巳, 川村 尚生, 玉置 久, ソフトウェアデザイン, p. 134 (2003). 技術評論社
   概要 BibTeX

報告

1. Javaによる分散協調制約解消システム
   番原 睦則, 田村 直之, 井上 克巳, 川村 尚生, 玉置 久, IPA未踏ソフトウェア創造事業成果報告書 (2004).
   概要 BibTeX
2. Javaによる異種協調制約解消システムの開発
   番原 睦則, 田村 直之, 井上 克巳, 川村 尚生, IPA未踏ソフトウェア創造事業成果報告書 (2003).
   概要 BibTeX