応用数学XCの試験。もうダメだと思って受けたのですが案外考えたらなんとかなりました。正直、第一問の脳筋的β簡約の問題が一番疲れた。それから、やろうやろうと思いつつ型判定に関しては勉強していかなかったので当然出来ず。まあ単位は来たんじゃないかし…