入試がおわってからしたいこと

思いが強い内にメモしておく．どっちかっていうと読みたい物リスト

• 雪江「代数学1」
• 古森ら「現代数理論理学序説」
• Pierce 「Basic category theory for computer scientists]
• Pierce 「Types and Programming Languages」
• nibkameの続き(レジスタアロケータとランタイム)
• 笛の練習