やったこと

日常

ありえん疲れている。
休みつつETAPSに参加していこう。

ETAPS

というわけで一日目。

午前中はMARSに、午後はCMCSに参加していた。

Runtime VerificationとかLearningとか。
Toposをもうちょい分かった方が気がしている。