Archive for the 'school' Category

06 Feb


I submitted my thesis……

18 Dec


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


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 提出方法:1階レポートボックスに紙で提出のこと。 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 […]

© 2022 Zzzz | Entries (RSS) and Comments (RSS)

wordpress logo