そろそろ本当に真理論の勉強会をしようと思う。そろそろ、いやまじで。 というわけで、風呂を洗ったり風呂に入ったり洗濯物を風呂に干したりする。今日は雨が降るらしいから。 うおー、すごい、やる気が充実する。いやまじで。-8,59

表 月 火 水 木 金 土 日 9:00~10:00 10:00~14:40 アルバイト 14:40~16:10 アルバイト エンダートン(2) 16:20~17:00 エンダートン(1) アルバイト 17:00~18:00 エンダートン(1) エンダートン(3) 18:00~19:00 水泳会及び食事会*1 エンダートン(3) or (Nox Occu…

で、そのあとちょっと部室で drdr して学生会館の食堂で食事をして、六限からの某人の発表に出て、帰ってきた。だから、午後十時に学校の辺りを離れた。それで、帰ってきた。で、すぐ寝た感じかな。 そうして先程起きた。今日は金曜日なので、六限から水泳で…

《Herbert B. Enderton, A Mathematical Introduction to Logic: Second Edition, isbn:0122384520》30-3, Exercises: 1.2 - 1-4 Exercises の進捗状況も書こうと思うけれど、もしかしたら煩雑になってやめるかも知れない。

★★8,36- 昨日の日記。 昨日のうちにも少し書いたけれど、まあともかく、午前八時半頃に起きて、ニコニコ動画を流しながら AMIL の練習問題を解いていた。で、四限に十分ぐらい遅れて部室に行って、例の如くに勉強会。次のような感じ。