テスト付きクリーニ代数の準代数構造 - 古澤, 仁; 木下, 佳樹 (日本ソフトウェア科学会大会講演論文集, 2002)