Рубрика «lean»

Ну всё, я это сказал. «Один запрет за проблемами тысячелетия». Половина из вас уже тянется к минусу и слову на букву «к». И правильно тянется, потому что почти каждый, кто пишет такое, несёт чушь. Решили задачу тысячелетия или пробили столетнюю гипотезу, которую не смогли сотни умнейших математиков планеты до вас. Ну точно кранки!

Поэтому договоримся сразу. Первым делом не пафос, а признание:

Мы не решили ни одной проблемы тысячелетия. Гипотеза близнецов в нашем проекте — это sorryЧитать полностью »

Проект Lean: Можно ли формализовать всю математику на компьютере – и нужно ли? - 1

Стремление к строгости в математике имеет долгую и неоднозначную историю — историю, из которой математики могут извлечь уроки сейчас, когда формализуют математику в программе Lean.  

Читать полностью »

Производственник, который пришёл в IT. О том, почему до кода надо идти в цех.

Несколько лет назад наблюдал проект на одном производственном предприятии. Небольшое производство, человек 200. До нашего проекта руководство уже наняло специалистов 1С и начало автоматизировать учёт движения сырья и управленческую отчётность по сменам. Кто‑то посоветовал — мол, пора двигаться к нормальному учёту.

Читать полностью »

сферический ценный мех в вакууме

сферический ценный мех в вакууме

Читать полностью »

На недавнем собеседовании мне задали, казалось бы, простой вопрос:
«Какими методологиями продуктовой разработки вы пользуетесь?»
Читать полностью »

«Здравствуй, мама, я руководитель! Сейчас как все разрулю! как бы так всех организовать, чтобы больше ничего не делать.. Тем более когда есть такой выбор!»

_________________________________________________________________________

А что же организовывала я? И кто я такая вообще?

Меня зовут Яна. Мой стаж в ИТ 13+ лет, а начался еще в университете, ведь я инженер-программист, решивший, что сфера огонь, но вот код писать это не его.

Читать полностью »

История о том, как мы практически с нуля запускали стартап, выстраивали в нем процессы, договаривались с нашим первым клиентом, про внезапно горящие сроки, и какие ошибки были допущены по ходу.

А так же на практических примерах и наших ошибках поговорим о плюсах гибких методологий управления проектами.

Кратко обо мне

Я Кирилл, на момент написания статьи имею опыт более 4х лет в роле руководителя it проектов. Работал над проектами по цифровизации и автоматизации производств, а так же имею обширный опыт работы в веб студиях. Подробнее в посте знакомства.

С чего все начиналось

Читать полностью »

1. Введение: многоуровневая формализация и её важность

Традиционный подход к разработке программных продуктов и бизнес-решений обычно фокусируется прежде всего на конечном результате: формальных моделях, спецификациях или непосредственно коде. Однако такой подход зачастую упускает из виду очень важный аспект: процесс рассуждений, которые привели к этим формальным структурам.

Читать полностью »

На крупных предприятиях, где большой объем перевозок осуществляется с помощью автомобильного транспорта, значимая часть затрат приходится на топливо. Учитывая, что количество автомобилей одновременно находящихся на линии может достигать нескольких сотен, управлять этим процессом становится очень непросто.

Если при этом автомобили совершенно разные (малые самосвалы, БелАЗы, спецтехника, автобусы, легковые, бортовые автомобили) и каждый автомобиль от смены к смене занимается совершенно разной работой с разными водителями... тут за голову схватишься, как этот процесс систематизировать.

Читать полностью »

Компьютерное доказательство теории конденсированной математики — первый шаг к «великому объединению» - 1
Пример расчётного доказательства в программе Lean

Математики давно используют компьютеры в своей работе как инструменты для сложных вычислений и выполнения рутинных операций перебора. Например, в 1976 году методом компьютерного перебора была доказана теорема о четырёх красках. Это была первая крупная теорема, доказанная с помощью компьютера.

Теперь вспомогательный софт для доказательства теорем (proof assistant software) не просто проверяет доказательства, но помогает выйти на принципиально новый уровень великого объединения разных математических разделов. Концепция «конденсированной математики» обещает принести новые идеи и связи между областями, начиная от геометрии и заканчивая теорией чисел. Это в своём роде «великое объединение» математики
Читать полностью »


https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js