“古典論理＝可換環論”の計算と種明かし - 檜山正幸のキマイラ飼育記 (はてなBlog)をコピー。 MICR（乗法的ベキ等可換環）からBL（ブール束）がちゃんと作れること BLからMICRがちゃんと作れること MICR→BL→MICRでもとに戻ること BL→MICR→BLでもとに戻ること …

もう本編に書くのもはばかられる（見てる人が少しいるから）くらいに、ストレス溜まりまくり。ココ？ ココは誰も見てないからヘイキ。