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