Oct. 19th, 2014
http://gsd.di.uminho.pt/members/cbm/ps/itc2008.pdf
I still have a strong suspicion that this application of temporal logic, together with temporal logic, can be pretty successfully, and much easier, explained in topos logic.
I still have a strong suspicion that this application of temporal logic, together with temporal logic, can be pretty successfully, and much easier, explained in topos logic.
Встали поздно, в восьмом часу. Лень было настолько, что даже не отжимался, гррр. Ну и сахар был низкий, да. Стремно отжиматься в такой ситуации.
Позавтракав, поехал на велике, на свои 23 мили, которых в этот раз почему-то оказалось 24. Не очень проехал, ну, правда, против ветра большой кусок. Осенний утренний восточный ветер. А так хорошо прошвырнулся; только что на дороге попадались китайцы, которые меня уделывали (два).
Дома помылся и что-то лег спать. Когда меня разбудили обедать, не понимал, ведь спать же уже легли.
После обеда перепроверил две домашки, студенты там мне разъяснили, что у них накарябано (текст по тексту). Потом что, хотел было слайды писать к четвергу, но тут Чаба проявился на скайпе, и мы с ним обсуждали организацию данных для логина, картинки, тексты, и как с этим бороться. Ну недообсудили, поехали мы уже на барбекью. Зашли за пирогом, зашли в персидский магазин, набрали овощей и украинской колбасы... ну не можем мы без колбасы!, взяли еще вильнюсского хлеба.
На барбекью много народу собралось, но блаблабла было про керамику, и как им там союз свой реорганизовать. А я слайды рисовал про парсеры. Слайды секретные, на работу надо.
Позавтракав, поехал на велике, на свои 23 мили, которых в этот раз почему-то оказалось 24. Не очень проехал, ну, правда, против ветра большой кусок. Осенний утренний восточный ветер. А так хорошо прошвырнулся; только что на дороге попадались китайцы, которые меня уделывали (два).
Дома помылся и что-то лег спать. Когда меня разбудили обедать, не понимал, ведь спать же уже легли.
После обеда перепроверил две домашки, студенты там мне разъяснили, что у них накарябано (текст по тексту). Потом что, хотел было слайды писать к четвергу, но тут Чаба проявился на скайпе, и мы с ним обсуждали организацию данных для логина, картинки, тексты, и как с этим бороться. Ну недообсудили, поехали мы уже на барбекью. Зашли за пирогом, зашли в персидский магазин, набрали овощей и украинской колбасы... ну не можем мы без колбасы!, взяли еще вильнюсского хлеба.
На барбекью много народу собралось, но блаблабла было про керамику, и как им там союз свой реорганизовать. А я слайды рисовал про парсеры. Слайды секретные, на работу надо.