6/10 朝起きたら12時でしたびっくりです． とりあえずレポートを終わらせようと論理式の等価を示しました．おそらく証明できた． 18時からはバイトです今日は中途半端に忙しかったです．時間を守れない輩が多すぎる． 気づいたら終わって家に帰ってご飯食べ…