■

なんかかったるいので昼まで寝る。
午後から学校行ってソフトウェア論理の課題をやってたんだけど、なんかぐぐったら去年の課題の答えのpdf発見。さすがに問題が違うんでそのまま写すってわけにはいかないが、解説に書いてあることを応用すれば解けそう。これで週末泣くことはなさそうだ。問題は型推論図をwordで書くのが激しく面倒そうと言うことか。