Seeker's eye
Monday, 29 January 2018
Frontiers of Engineering
毎年の英語でやる授業ですが。三回目だけど、持ち回りなんじゃないの?
今回は Agda の話をしたんだけど「英語はクリアだが内容がわからん」と言われました。まぁ、そうかもな。わかった気にさせるのは重要なんだよな。
Agda は既に10年以上だから、あんまりFrontierって感じじゃないな。いや、まぁ、流行ものとはちょっと違うし。
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment