日: 2021年7月6日

今日はゼミがあった．

頑張って研究進めて9月の研究会で発表してみよう，となった．