集合圏の部分圏で、isoの族Eが指定されていて、Eに関して亜群になっているようなものUを考える。そして： 空集合と単元集合（少なくとも1つ）を含む A, B∈|U| ならば、A×B∈|U| A, B∈|U| ならば、A+B∈|U| 半環圏としての構造同型がEに入っている。 このような…

「片方向伝搬法は精度が悪い」と書いたが、簡単な例でも実際に精度が悪い(苦笑)。精度を上げるには、いくつかの方法がある。 論理系SILのなかで論理簡約をがんばる。 充足可能性問題の精度を上げる。 充足例問題の精度を上げる。 このなかで、充足可能性問題…

※ 内部的に別な形式を採用 △ 曖昧（明瞭でない） × 実装しない スキーマ属性名 適用対象となる型 意味 値の型 デフォルト値 minimum ※ number 最小値 number なし maximum ※ number 最大値 number なし exclusiveMinimum ※ number 最小値はイコールを含まな…