Matija Pretnar

Research

I study formalization, implementation, and semantics of programming languages. My current research is focused on algebraic effects and their handlers.

• DBLP bibliography
• COBISS bibliography
• Eff: programming with algebraic effects and handlers

Poučevanje

Zaposlen sem na Fakulteti za matematiko in fiziko, kjer poučujem večinoma računalniške predmete.

• zapiski s predavanj pri Uvodu v programiranje
• Projekt Tomo: spletna aplikacija za učenje programiranja
• L^aT_eXovski paket za sestavljanje izpitnih pol
• program v Mathematici za generiranje nalog v večjih količinah

Sestavljanje izpitnih pol

Da bi olajšal sestavljanje izpitnih pol, sem pripravil LaTeXovski paket, ki veliko večino dela postori sam. Vse, kar morate podati, so podatki o izpitu (ime, datum, navodila in učilnico) ter naloge.

Paket nato avtomatsko oblikuje glavo izpita, sedežni red, polja za ime, vpisno številko in točke ter podobno. Poleg tega vam omogoča, da za vsak izpit pripravite tako verzijo za reševanje na polo kot verzijo za objavo v arhivu.

vzorec.pdf

PDF z vzorčnim izpitom

vzorec-arhiv.pdf

PDF z istim izpitom, le pripravljenim za objavo v arhivu

izpit.zip

Datoteka s paketom ter vzorčnim izpitom

Za najnovejšo in vse starejše različice paketa poglejte na GitHub.

Generiranje nalog

Spodnji program za dani seznam študentov omogoča generiranje naključnih nalog ter njihovih rešitev. Program sprejme:

1. seznam nalog (vsaka je opisana s programom v Mathematici),
2. vzorčno datoteko (ponavadi v LaTeXu) in
3. seznam študentov,

nato pa ustvari posamezne datoteke z nalogami in skupno datoteko z rešitvami. Naloge niso čisto naključne, saj vam program za istega študenta vedno vrne enako nalogo. To vam omogoča, da naloge naknadno popravljate, ne da bi se vam pri tem v celoti spremenile.

generiranje-nalog.zip

Datoteka s programom ter vzorcem

Za najnovejšo in vse starejše različice programa poglejte na GitHub.