脳内では、もう充足性と、▽演算の関係はきまったので、あとは書き起こす作業。その他のところ、いまわかっている範囲を分かりやすく書くように方針を変えよう。出力モード切替、まにあいません。ドラフト送付は今週末、風邪ぎみになってきたし。。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。