結局、家族の用事があって、修正する時間が夜中しかとれません。 充足性演算における非決定性の取り扱い タイポ等 は修正しましたが、 連動性の計算のところのロジックの不全 は厄介です。この日記をたどる(といっても9月)と、弱双模倣性は+結合のところ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。