AG
но при этом если делаешь аксиоматическую, например сепарационку, то все равно желательно иметь какую то дополнительную семантику для модельных программ
Size: a a a
2021 February 09
AG
обычно для сепарационок это операционная
AG
но у нашей логики - денотационная
AG
при этом там используется так называемая "чередующая" семантика трасс, а я тупил в "истинно-конкурентные"
AG
нашел пока два варианта - семантика сетей петри хеймана-винскеля и игровая семантика мельеса-стефанеско
AG
но вторая выглядит слегка оверкиллом, потому что насколько я понял она равномощна многомерным автоматам и там начинают лезть хомотопии из всех дыр
w
но вторая выглядит слегка оверкиллом, потому что насколько я понял она равномощна многомерным автоматам и там начинают лезть хомотопии из всех дыр
хахаха, да мне вообще похуй
V
Открыл медведь телегу, видит - основа горит, прочитал ее и сгорел.
V
Добавьте в стикерпак
ᛒ
Vasiliy
Добавьте в стикерпак
когда уже ми-24 =(
V
Интересно, облака ещё фпс срежут
V
Или накинут
V
@Bartosso облака же = новый движок рендеринга? Или не совсем?
ᛒ
Vasiliy
Интересно, облака ещё фпс срежут
кароче я вчера в виаре пытался на хорьке на хогите катануть - карта ушла в отсечку в 100%, я чето охуел, походу пора на монитор возвращаться
ᛒ
Vasiliy
@Bartosso облака же = новый движок рендеринга? Или не совсем?
не думаю, новый движок они с вулканом обещают в конце года
V
пизда
