午前5時からオートマトンと言語理論の小テストと中間試験の採点。授業資料の準備より採点の方に時間がかかるという、本末転倒的な状況である。オンライン授業（いわゆる MOOCs）でも、評価がスケールしない（人数が増えるとボトルネックになりうる）という話…