AN
Гибридный автомат = дифура + конечный автомат, очень упрощённо. Задача условно, доказать, что начиная с множества параметров мы не пройдем в определённую область
Да, я уже прочитал, спасибо.
Size: a a a
2020 July 05
AN
И вы в этой работе как-то использовали системы типов? Кстати у вас они в ВУЗе были?
AN
Область кстати похожа на ту, где оно реально может быть нужно
AD
И вы в этой работе как-то использовали системы типов? Кстати у вас они в ВУЗе были?
Системы типов использовались для второй задачи. В первой задаче испольвался SMT солвер z3.
AD
В университете - да были все сорта лямбда калкулуса и теоремы из тьюринговского программирования
AN
В университете - да были все сорта лямбда калкулуса и теоремы из тьюринговского программирования
А из прикладной проги что было?
AD
Да особенно не было, заставили нас наворачивать олап по верх sql, процессить спарклм данные и ещё что то
AN
Да особенно не было, заставили нас наворачивать олап по верх sql, процессить спарклм данные и ещё что то
Понятно. В общем, как наш ФУПМ бывший. Только у нас вообще дискран закос
AN
Сейчас Райгородский к счастью, всем добавляет прикладное программирование понемножку хотя бы.
AD
Да ну спринг выучить это не сложно если осилил то что в университете
AD
Чай не матанализ
M
Уважаемые маководы, скажите, на что вы ctr+space (auto complete) в idea на маке перебиндили? Или хоткей для смены языка поменяли?
У меня смена языка на Option + /
AN
Да ну спринг выучить это не сложно если осилил то что в университете
Это заблуждение. Спринг выучить не сложно, если есть время. Но прикладное программирование в целом - это инженерный навык, который не возможно выработать теоретически. Нужно несколько лет опыта. Собственно многие товарищи, обучающиеся на математических специальностях именно поэтому имеют ряд заблуждений по поводу области применения тех или иных методов в прикладном программировании.
AD
ТРИЗ - трешак?
AN
ТРИЗ - трешак?
Это мне вопрос? Если мне, то изобретательство это совсем не то, что инженерия.а методологий куча. В каждой области свои.
AD
Это мне вопрос? Если мне, то изобретательство это совсем не то, что инженерия.а методологий куча. В каждой области свои.
нет, скорее всем в чате. мне просто как-то дизайнер ткнул в это дело, я по Википедии попытался понять и показалось, что это какая-то мета-дичь. может, дурачок просто 🤷
I
нет, скорее всем в чате. мне просто как-то дизайнер ткнул в это дело, я по Википедии попытался понять и показалось, что это какая-то мета-дичь. может, дурачок просто 🤷
Ты про это? Podlodka #151 - ТРИЗ
AD
Ты про это? Podlodka #151 - ТРИЗ
да, оно, спасибо 👍 годно или не стоит времени?
I
Ну только если тебе оооочень интересно что это.
Я бы сказал что не стоит, имхо выпуск скучноват и слабоват - девочка особо и не пыталась убедить в серьезности.
Я бы сказал что не стоит, имхо выпуск скучноват и слабоват - девочка особо и не пыталась убедить в серьезности.
AD
Ну только если тебе оооочень интересно что это.
Я бы сказал что не стоит, имхо выпуск скучноват и слабоват - девочка особо и не пыталась убедить в серьезности.
Я бы сказал что не стоит, имхо выпуск скучноват и слабоват - девочка особо и не пыталась убедить в серьезности.
понятно, пусть полежит пока, спасиб 🌚