ART104

Online就是每节课写一个slack，回答课上三个问题。Slack想写多少写多少，有两个formal analysis就两三页最后加一个final project