U(S)≒Uminであるならば、Sを出力し、処理を終了する。ends.【0090】ところが、U(S)<Uminであると(ステップ1420)、まだ処理が必要なので、S1=Sとして(ステップ1440)、ステップ1400に戻る。1400.同様に、U(S)>Uminであるならば、S2=Sとして(ステップ1430)、ステップ1400に戻る。1400.【0091】これを繰り返すことにより解が見つけられる。図4を参照すると、先に説明した最小限度のサポートの右側、濃く塗られた部分に解の存在する範囲がある。この図4の場合には、凸包の内部の白丸の点が厳密解となるが、本発明ではハンド・プローブにて得られた近似解が出力される。focusイメージに属するデータの必要な属性を出力するようにしてもよい。この場合、ルールの定義より、最小限度のコンフィデンスminconf(直交凸領域に包含されるデータ数に対する真偽をとる属性が真である割合)を入力する(ステップ1110)。図4の場合、最小限度のコンフィデンスと示され、原点から引かれた点線がこれに該当する。フォーカス・イメージS2を平面全体を表すイメージとする。=Vsumと代入する(ステップ1120)。minconf≦V(S2)/U(S2)であるかを判断する(ステップ1130)。この条件が成立するならば、S2を解として決定し(ステップ1160)、処理を終了する(ステップ1190)。minconf>V(S1)/U(S1)が成り立つかどうか判断する(ステップ1150)。成り立つならば、解は存在せず、処理を終了する。成り立たないならば、Yを介して図24へ移行する。