2020年の終わりと2021年の始まり 2020/12/31 Agda, 技術書典, 着色戦略, 自分でつくるPDFリーダー, 雑感 振り返り あと数時間で終わってしまいます。今年は勉強会の開催、コロナによる中断と暇つぶしでそれなりに形になったPDFリーダー2号機、 技術書...