2017-W50 をふりかえる。 2017-12 の目標 『型システム入門』を読む 2017-W50 の目標 とその記事 目標。 ☐ 『型システム入門』を 30 章まで読む 記事。 2017-12-16 だらしない日 2017-12-15 CircleCI から毎回 Amazon ECR および Amazon S3 にデプロイする 2…