「なぜ『光が影を作ること』と『主張の一部を再主張すること』が関係するのか；あるいは、デカルト圏入門」の課題17、18あたりの解答例を示しておきます。まず↓。pair, proj1, proj2, mproj1, mproj2の関係はこれで尽きているでしょう。つまり： pair;proj1 …