2017-04-29日記

GW初日。朝はましまろで、ハンフリングを読む。ハンフリングはウィトゲンシュタイニアン？

午後は帰って昼寝。『岡崎に捧ぐ』を読む。面白い。世代が近いので、いろいろとささる。

夜は論理学勉強会。述語論理の意味論について学ぶ。あとは、YKK会の調整など。