数解研で発表

起床は9時。暑い。本当に暑い一日。
9時半に京都に向けて出発。駅のブックファーストで「『資本』論」と「論理の哲学」を買う。「論理の哲学」は、既に論理の哲学に詳しい人にはいいが、初心者には無理だと思う。あと、曖昧性のところでは、Kleene３値論理の3値めをtruth gapとしてとらえるやり方を推奨しているけれど、それには同意できない。
京都には11時半に到着。駅近くの中華料理店で昼食（頼んだら量が多過ぎ）。数解研に到着は13時。既に汗がだらだら。