「判断的セオリーと判断計算」においてコラリア／ディ-リベールティの判断計算を、「メリス／ジルバーガーの圏論的判断計算」においてメリス／ジルバーガーの判断計算を紹介しました。コラリア／ディ-リベールティはちょっと複雑過ぎる印象で、メリス／ジル…