いつもCは6時に起きるが、本日は目が覚めたら7時だったが、それでも7時13分の電車に飛び乗ったそうだ。家から駅まで歩いて15分、いったいどうやったんだろうか。 起床は8時、病院に行って健康診断結果を受け取ってから出勤。Agda2のインストールの続きをする…