2008-11-06 順序制約演算 研究 主テーマ 順序制約演算を細分化(厳密化)したら、いろいろ直さなくてはならないことがでてきた特に、有限性(image finite)を示すところが、ボロボロです。なんか頭いたい。