教官室で

寝っ転がって Agda の証明書いてたら、なんか、ドアの外でうろうろする人が

　「どうぞ」

って言ったのに。出てみたら、97年生でした。OCCの主任ですかそうですか

まぁ、ノックくらいしようよ

しばらくお話してました。なかなか開発できないか。まぁ、そのポジションだとそうだよな