Mindblown: a blog about philosophy.

今日は4限が情報科学科の形式言語理論の授業があった. 駒場の授業だが初回はオンラインだったので今日は大学に行か…

2日前にAセメスターが開始した. その日は2限で本郷, 4限で駒場だったのでかなり忙しかったせいか, 4限の途…

明日は2限が本郷で4限が駒場であるため, とても忙しくなることが予想される. そのため明後日のセミナーの準備を…

数学科4年のAセメスターの必修科目といえば特別講究で, おそらくこの時点でこの科目の単位さえあれば卒業できると…

今日はTroelstraの最初の最初を努力して読んだ. Classical Linear Logic (CLL…

帰省から東京に戻る際, いつものように食べ物をたくさんもらった. 今回は梨3個, メロン1個, あけび7個, …

朝から足が筋肉痛で歩くのが苦しかった. 昨日の稲刈りで普段はならない体勢になったからだと思う. 朝は裏山近くで…

明日誰かに稲刈りをやってもらうらしいので, 機械を入れる分の稲を刈る手伝いをした. 稲刈りは多分小学生以来やっ…

無事バスで実家に着いたものの全く眠れなかったので一日中ぐったりしていた.