朝はロジック研、直観主義論理つづき。どうしてそのような定式化になったのかに関する議論が主に楽しかった。なんか分からんが、こうしたら上手くいった。評して、"seemingly magical fact"かぁ。そうなのか？なぜこうなった。理由があるはず*1。O氏には、ぜ…