@techreport{weko_33589_1, author = "岡田,浩一 and 赤間,清 and 宮本,衛市", title = "負制約の等価変換による問題解決の基礎理論", year = "1999", institution = "日本電信電話株式会社情報流通プラットフォーム研究所, 北海道大学情報メディア教育研究総合センター, 北海道大学大学院工学研究科システム情報工学専攻", number = "96(1999-MPS-027)", month = "nov" }