2023-10-05から1日間の記事一覧
$R:A\leftarrow B, S:A\leftarrow C$に対して、$X:B\leftarrow C$についての条件\[R\circ X\subseteq S\tag{*}\]を考える。表現行列で言えば$RX\leq S$である。ここで$\leq$は「対応する各要素(ブール値)がいずれも$\leq$」と定義される半順序である。$R,S…
$R:A\leftarrow B, S:A\leftarrow C$に対して、$X:B\leftarrow C$についての条件\[R\circ X\subseteq S\tag{*}\]を考える。表現行列で言えば$RX\leq S$である。ここで$\leq$は「対応する各要素(ブール値)がいずれも$\leq$」と定義される半順序である。$R,S…