Jeszcze sobie przypomniałam, że chciałam się podzielić niszowymi żartami przyniesionymi z zajęć z semantyki formalnej.
Raz:
For some, marriage is a word, for others - a sentence.
Dwa:
Zajmujemy się co tydzień różnymi fajnymi systemami typu teoria typów z operatorem lambda (ughh, cały wieczór mnie dziś czeka). Za każdym razem głównym zagadnieniem jest: jak wprowadzić do systemu czasowniki przechodnie, np. LOVE. Za każdym razem jest to LOVE i za każdym razem pani doktor mówi: So, we have extended the system with love...
(Zapewniam, że tylko ona z miłością zajmuje się tym tematem. My trochę osłabliśmy, a to dopiero pół pierwszej połowy semestru.)
Brak komentarzy:
Prześlij komentarz