110 前後で未解答のままになっていた比較的簡単そうなものをいくつか解きました。やり方はなんとなく思いついても、コードを書くのが面倒だなー、と思って放置していたものが多いのですが、書いてみればそんなに大変でもなかったりします。いきなりエディタ…

8.1 が tense logic で 8.2 が global modality & discriminator varieties というタイトル。詳細はフォローしないで軽く目を通しただけです。8.1 では、tense logic の future modality と past modality から adjoint が作れて、その結果これらの様相は必…

7.5 Canonical equations "Time to harvest."ようやく目的であった canonical equation の話になりました。でも細かいところはフォローしていない。等式を考えるので term が出てきます。代数を与えるときには term に現れる関数記号と代数の演算は一対一に…