そしていろんな人にランダムエンカウント。いい一日でした。 １限：記号論理学I 数理研メンバーがみんな20コマ埋めなのに危機感を覚えて自分も１コマ増やすべく火曜の１限で一番面白そうな記号論理学。理系向け講座だけあって内容・進行も理系。厳密な論理学…