昨夜は24時をまわってから研究室みんなで山科のMKボウルにボーリングにいきました。
3時まで投げ放題。
色々投げ方とか試してみたり、アイスやデザートを賭けて勝負してみたり。
6ゲームも投げたので握力がかなり弱まりましたｗ
ガスト→研究室→就寝
12時からは数理論理学。
恒真式の証明と命題論理、述語論理の標準体系を理解。
述語論理の証明に関してはかなり曖昧なのでまたやり直しが必要。
→http://www.math.h.kyoto-u.ac.jp/~takasaki/edu/logic/logic6.html
