[Haskell-ELTE] Agda eloadas diak magyarul

[Peter Divianszky]

Sziasztok!

A lent említett Agda diákat kicsit módosított formában elő fogom adni 
jövő hét szerdán 20 órakor az IntelliFactorynál.
Az utána következő héten az induktív családokról és a koindukcióról 
beszélek majd részletesebben.
Az előadások nyelve angol lesz, max. 1 óra hosszúak lesznek.
Különleges matematikai tudás (pl. kategóriaelmélet) nem szükséges a 
megértéshez!

A cím:

IntelliFactory Kft.
Szentendrei ut 89-93
Building 8, 2nd Floor
1033 Budapest

Üdv,
Péter


2011-04-17 21:49 keltezéssel, Peter Divianszky írta:
> Sziasztok!
>
> Még él a Haskell önképzőkör!
>
> Azért írok mert Szegeden előadtam Agdából (Haskell++),
> és feltettem a diákat (sajnos Explorerrel nem megy):
>
> http://pnyf.inf.elte.hu/fp/Szeged.xml
>
> Az 'a' gomb megnyomásával dia módba vált, de ekkor nem látszanak a plusz
> megjegyzések.
>
> Idézet a diákról:
> "Az induktív családok az általánosított algebrai adatszerkezetek (GADT)
> általánosításai."
> Egyébként az induktív családokról akarok egy külön összefoglalót írni.
>
> A diákat elő szeretném adni majd az Intellifactorynál is angolul.
>
> Jó lenne ha egymásnak is adnánk elő cikkeket, de ez úgy látom csak úgy
> megy hogy valaki önállóan felkészül egy cikkből/témakörből és előadja.
> Engem most az Agda témakör érdekel legjobban, felkészülés után elő
> tudnék adni sok minden érdekeset: ko-indukció, univerzumok,
> homotópia-típuselmélet, observational equality.
>
> Üdv,
> Peti
>