Mi的微博

据说今天是程序员节，本来想写点什么的，想来想去还是写泛函分析作业最合适。Anyway，happy coding！