2020年12月6日

NOP

また日付がグダグダに。ひどいもんだな。

## 12月6日(日)

毎回こんな書き方しているので、日付を書くところが三箇所もある。冗長だ。これをスクリプト噛ませてなんとかするのは簡単だが、そこまでするのもなぁ、という印象。

学生さんの卒論がGitHubで管理されており、僕がコラボレータになっているので進捗が見える。素晴らしい。