夏季休講期間に突入したので再開してみる．土日は卒研にも直接は関係ないようなプログラミングをやろうかな． プログラミングHaskellを7章まで読んだ． 正直なところ8,9章はよくわからない．まぁまた今度ならわかるでしょう．

思いが強い内にメモしておく．どっちかっていうと読みたい物リスト 雪江「代数学1」 古森ら「現代数理論理学序説」 Pierce 「Basic category theory for computer scientists] Pierce 「Types and Programming Languages」 nibkameの続き(レジスタアロケータ…