レスどうも。
ところで、領域理論に出てくる領域方程式というのは
いったい何を表しているのですか?解けるのかな?