Frontiers of Engineering

毎年の英語でやる授業ですが。三回目だけど、持ち回りなんじゃないの?

今回は Agda の話をしたんだけど「英語はクリアだが内容がわからん」と言われました。まぁ、そうかもな。わかった気にさせるのは重要なんだよな。

Agda は既に10年以上だから、あんまりFrontierって感じじゃないな。いや、まぁ、流行ものとはちょっと違うし。