なんか、正規表現の話が最初に。まあ、いろいろあるなとは思うが、微妙に興味を維持しにくい
次は Zen 大学のオートマトンの授業の構想の話。僕も、オートマトンの授業を持ってたが
Agdaの証明で、オートマトンの授業やる
っていう話で、まぁ、うまいくところもいかないところも。学生がどの程度まで理解するかは、あんまり気にしてなかった
なので、オートマトンの授業を
学生の興味を切らさずにおこなう
ってのは重要なテーマだと思う。自分の授業とは、まったく違う方向でってことね
正規表現とRegex は別ってのは、Regexはプログラミング言語で実装されるような具体的で高速な実装という意味
その実装を課題として出すのは確かに面白いかも
No comments:
Post a Comment