「ホーア論理の圏論的な定式化」において、インスティチューションとホーア論理を一緒にしたようなナニカができないかなぁ、とか言ったので、もう少し考えてみることにします。ただし、最初のステップだけで、インスティチューションを使う段階には至ってま…

雨降っているし、3日も休みたくもないし、街は静かすぎるし。ところで、次のCM映像。うまく紹介も解説もできない。たった60秒なのに、途中で2，3回止めないと見続けられない。僕の主義に反する言葉だが*1： Don't think. Feel!関西電力CM 「15才の君へ」[追…