MLG meeting に参加していたので，感想みたいなもの。前から思っていたことではあるけど，もっといろんな本や論文を読んで，論理のいろんな見え方を知りたい。多値論理と直観主義論理とか，僕が知らないだけで，もっと密接に関係しているんじゃないか，とか…

参加しました。夕方までバイトしてたので空き時間に問題だけ見て，終わってからコード書きました。A は，カットの回数が少ないのでシミュレーションでできるんだろうと思ったらできました。けどちょっとめんどくさかったです。こういう手続きを書くのは苦手…