06 Feb
and
I submitted my thesis……
Archive for the 'school' Category
18 Dec
KY
Magyar blog post is magyaaaaar. 空気読めない, kuuki yomenai, “nem tudja olvasni a levegot”. Igy mondjak japanul azt amikor valaki baromira nem kepes felfogni hogy mi a helyzet egy adott szituacioban/kontextusban. Pl. amikor az ev vegere bonuszkent berakott extra szeminarium mar harom oraja tart, este 7 elmult, de csak mondja tovabb es mondja es belekerdez es […]
10 Jul
hurrrrr
22:00-03:00 – prepare for stupid pi calculus presentation 03:00-09:00 – sleep 09:00-09:30 – reboot 10:00-12:00 – stupid pi calculus presentation 12:00-13:00 – prepare for lab meeting presentation 13:00-14:30 – gym 14:30-16:00 – sit through 演習Ⅲ 16:00-18:00 – lab meeting, including presentation 18:00-20:00 – group meeting Fuck me gently with a chainsaw.
28 Jun
課題： 身近なところで、簡単な並行応答系をみつけ、 (1) その仕様をπ計算で記述し、 (2) またその実装もπ計算で記述し、 (3) それらの観測等価性を証明なさい。締め切り：7/31 提出方法：１階レポートボックスに紙で提出のこと。 Project: Find a simple concurrent, reactive system from your daily life, (1) describe a specification in pi-calculus, (2) also describe an implementation in pi-calculus, (3) and prove observational equivalence between them.Deadline: 31 July Submission: by paper into the report mailbox on the 1st floor. I hate […]
