Poslední změna: 25. února 2012
E-mail: mjiricka gmail.com (zavináč si prosím domyslete)
Jsem student MFF UK a na této stránce uvádím některé svoje školní práce.
Udělal jsem interpret lambda kalkulu. Umí vypisovat kombinátor v DeBruijnově notaci a pomocí KSI kombinátorů, určovat volné a vázané proměnné, vyhodnocovat lazy i eager a generovat odpovídající JavaScript kód, je-li term kombinátor.
Interpret zvládne termy počítající faktoriál, Fibonacciho posloupnost či Hofstadterovu male/female sekvenci (viz příklady). Vše ale jen pro malá čísla - interpret dělá jen omezený počet redukcí. README, příklady i Makefile (je třeba libreadline) přiloženy v balíčku.
Mým referátem bylo GDB. K dispozici jsou slajdy i komplet zdrojáků a příkladů (ty ale asi nemají samy o sobě smysl).
Tématem mého ročníkového projektu je hledání ideální fotbalové strategie. Více tady.
Po dlouhém boji jsem dokončil to, co bylo započato v ročníkovém projektu. Více tady.
Účastnil jsem se soutěže o logo knihovny MFF pro její Facebook. Navrhl jsem tři černobílé varianty loga a každé pak vyvedl ve dvou barevných variantách. Nakonec loga obsadila 2. místo.
Na EVA I. jsem se z velké části podílel na tvorbě výpisků, které jsou ve wiki Martina Všetičky.
Na dvojku jsem v rámci referátu dělal takový rychlosimulátor skautského výletu a užil se i program z F# (stránka obsahuje i odkazy na Java applety pro prohlížení biomorf).
Dělal jsem kreslítko grafů s fyzikálním modelem (nápad okopírovaný z přednášky doktora Holana). Zároveň práce sloužila jako seznámení s knihovnou Qt. Více na zvláštní stránce.
Dělal jsem program na kreslení stromečků. Projekt má opět zvláštní stránku, dokonce jednu v češtině a také něco jako angličtině.
Simplexový algoritmus naprogramovaný v Prologu podle skript prof. Matouška. Dost mě překvapilo, že mi to nakonec vážně funguje ;) Zdrojáky komentované, leč ne moc kulturní.
Ke stažení je celý balíček (zdrojáky, dokumentace, vzorové příklady) tady [ZIP, 78kB].
Před zkouškou jsem si nouzově (tedy i rychle) vypracoval teoretické otázky z Haskellu. Kvalita nevalná, ale třeba to někomu pomůže.
Zkoušel jsem si programovat dámu. Více tady (včetně obrázků!).
Miluju výpisky! Takže i na sítě jsem si musel jedny udělat. Jsou lepší než ty na jedničku (které sem ani nechci dávat). Ale mají stejnou vadu jako všechny ostatní - z nějakého záhadného důvodu chybí vypracované poslední sady otázek :)) [ZIP, 42kB]
A další výpisky, IMHO docela zajímavá první otázka. (Mr. Ondra Plátek dokonce výpisky rozšířil!)
Na zápočet jsem dělal třídění řetězců v lineárním čase. Zdrojový kód v C++ tady, povídání k algoritmu a programu pak v PDF tu.
A pro velký úspěch jsem si to dal znovu. Takže ještě lepší kód, a ještě lepší dokumentace! :)
Na úlohu Mozaika jsem se pokusil udělat filtr, který by připomínal kresbu a šrafování tuží. Jak se mi to (ne)povedlo je vidět třeba na ukázce, původní zdroják modulu pro JaGrLib je pak tady.
Jen tak mimochodem, poznáte nejlepšího rockového zpěváka?
Moje řešení hradel. [původní zadání, pdf] [moje řešení, zip]
S čím se také dá udělat zápočtový test z tohoto předmětu aneb najděte chybu jak vrata. (O (záměrné) ignoraci Dijkstrova algoritmu nemluvě :)).
Takže: [původní zadání, html] a [moje řešení, txt].
Pozn.: Zdroják uložen jako *.TXT, protože tento server neumožňuje podle všeho odkazovat na *.CS soubory. (Paráda, co?)
Na zápočet z tohoto předmětu jsem dělal simulaci fotbalu. Více tady.
Moje jméno je zmíněno na této kultovní stránce!! :))