In the post Writing for Hypotheses in Org-mode, I described how much better blogging becomes once you can directly post from your Emacs. This is a long overdue update.
Month: September 2017
Some Thoughts on Inform 7 for Teaching about Formal Modeling
The last two days I’ve been teaching a course on formal modeling in the context of our new doctoral program in Digital Studies (Programme doctoral en études numériques); in fact, it was the first ever course taught in this program. It would certainly have been easier to give a course on the basis of material that you already have, but I wanted to teach something new rather than just warming up old material. In accordance with my ideas for developing the digital humanities at UNIL, I decided on the topic of formal modeling. This meant, however, a lot of work over the summer and, with the date of the course coming closer, nagging doubts about the—newly developed and thus untested—content. Would I have enough material? Would the participants be able to relate to it, or would it be too hard? And so on.
Continue reading “Some Thoughts on Inform 7 for Teaching about Formal Modeling”