2017-04-30 2017-04-29日記 日記 GW初日。朝はましまろで、ハンフリングを読む。ハンフリングはウィトゲンシュタイニアン? 午後は帰って昼寝。『岡崎に捧ぐ』を読む。面白い。世代が近いので、いろいろとささる。 夜は論理学勉強会。述語論理の意味論について学ぶ。あとは、YKK会の調整など。