Рубрика «lean»
N100 это не только ценный мех: самые совершенные процессоры для офисных задач
2025-09-17 в 10:20, admin, рубрики: Celeron, lean, macbook air
Сравнение методологий продуктовой разработки и фреймворков бизнес моделей
2025-07-11 в 8:44, admin, рубрики: agile development, canvas, lean, product, product management, product ownerНа недавнем собеседовании мне задали, казалось бы, простой вопрос:
«Какими методологиями продуктовой разработки вы пользуетесь?»
Читать полностью »
Скрам-мастер vs мастер реальности
2025-05-07 в 14:15, admin, рубрики: agile, kanban, lean, less, project management, scrum, анализ процессов, организация процессов, управление проектами«Здравствуй, мама, я руководитель! Сейчас как все разрулю! как бы так всех организовать, чтобы больше ничего не делать.. Тем более когда есть такой выбор!»
_________________________________________________________________________
А что же организовывала я? И кто я такая вообще?
Меня зовут Яна. Мой стаж в ИТ 13+ лет, а начался еще в университете, ведь я инженер-программист, решивший, что сфера огонь, но вот код писать это не его.
Как мы разрабатывали платформу цифровизации производств — и внедрили её в последний момент
2025-04-24 в 12:42, admin, рубрики: agile, lean, scrum, waterfall, автоматизация, цифровизацияИстория о том, как мы практически с нуля запускали стартап, выстраивали в нем процессы, договаривались с нашим первым клиентом, про внезапно горящие сроки, и какие ошибки были допущены по ходу.
А так же на практических примерах и наших ошибках поговорим о плюсах гибких методологий управления проектами.
Кратко обо мне
Я Кирилл, на момент написания статьи имею опыт более 4х лет в роле руководителя it проектов. Работал над проектами по цифровизации и автоматизации производств, а так же имею обширный опыт работы в веб студиях. Подробнее в посте знакомства.
С чего все начиналось
Моделирование с верификацией междоменных теорем на языке Lean
2025-03-29 в 6:16, admin, рубрики: lean, моделирование, моделирование данных, моделирование предметной области, моделирование систем, моделирование физических процессов1. Введение: многоуровневая формализация и её важность
Традиционный подход к разработке программных продуктов и бизнес-решений обычно фокусируется прежде всего на конечном результате: формальных моделях, спецификациях или непосредственно коде. Однако такой подход зачастую упускает из виду очень важный аспект: процесс рассуждений, которые привели к этим формальным структурам.
Цифровая трансформация в логистике. Часть 1. Как за копейки контролировать расход топлива на 200 автомобилях
2024-09-13 в 16:13, admin, рубрики: lean, автомобили, аналитика данных, логистика, логистические модели, оптимизация, проект, топливо, цифровизацияНа крупных предприятиях, где большой объем перевозок осуществляется с помощью автомобильного транспорта, значимая часть затрат приходится на топливо. Учитывая, что количество автомобилей одновременно находящихся на линии может достигать нескольких сотен, управлять этим процессом становится очень непросто.
Если при этом автомобили совершенно разные (малые самосвалы, БелАЗы, спецтехника, автобусы, легковые, бортовые автомобили) и каждый автомобиль от смены к смене занимается совершенно разной работой с разными водителями... тут за голову схватишься, как этот процесс систематизировать.
Компьютерное доказательство теории конденсированной математики — первый шаг к «великому объединению»
2021-06-20 в 13:00, admin, рубрики: lean, автоматическое доказательство, аналитическая геометрия, Блог компании Маклауд, великое объединение, Занимательные задачки, конденсированная математика, математика, топология
Пример расчётного доказательства в программе Lean
Математики давно используют компьютеры в своей работе как инструменты для сложных вычислений и выполнения рутинных операций перебора. Например, в 1976 году методом компьютерного перебора была доказана теорема о четырёх красках. Это была первая крупная теорема, доказанная с помощью компьютера.
Теперь вспомогательный софт для доказательства теорем (proof assistant software) не просто проверяет доказательства, но помогает выйти на принципиально новый уровень великого объединения разных математических разделов. Концепция «конденсированной математики» обещает принести новые идеи и связи между областями, начиная от геометрии и заканчивая теорией чисел. Это в своём роде «великое объединение» математики
Читать полностью »
Будущее математики?
2020-07-18 в 18:47, admin, рубрики: lean, будущее здесь, будущее математики, верификация, доказательство, искусственный интеллект, математика, Научно-популярное, формальное доказательствоВ этом переводе презентации британского математика Кевина Баззарда мы увидим, что следующий комикс xkcd безнадежно устарел.
Каково будущее математики?
- В 1990-х компьютеры стали играть в шахматы лучше людей.
- В 2018 компьютеры стали играть в го лучше людей.
- В 2019 исследователь искусственного интеллекта Christian Szegedy сказал мне, что через 10 лет компьютеры будут доказывать теоремы лучше, чем люди.
Конечно, он может быть не прав. А может быть и прав.
Читать полностью »
Изменение требований к проекту — ключевая проблема разработки ПО
2020-02-24 в 12:38, admin, рубрики: agile, lean, Блог компании Дата-центр «Миран», водопад, гибкая методология, изменчивость требований, компьютерная наука, правило Парнаса, программная инженерия, управление проектами, управление разработкой
Шаги по разработке большой компьютерной программы для доставки заказчику
Иллюстрация выше — из статьи д-ра Уинстона Ройса «Управление разработкой больших программных систем» 1970 года. Считается, что это первое в программной инженерии описание модели водопада. Диаграммы д-ра Ройса разошлись по сотням учебников и статей. Но часто забывают тот факт, что изобретатель водопада сразу написал: «Эта конкретная реализация рискованна и влечёт за собой неудачу».
Мы разрабатываем программное обеспечение, чтобы удовлетворить потребности какого-либо клиента, пользователя или рынка. Задача программной инженерии как области компьютерных наук — сделать эту разработку предсказуемой и экономически эффективной.
Прошло уже более 50-ти лет с момента проведения первой конференции IFIP по программной инженерии, и за это время предложено немало различных методик, процессов и моделей, призванных помочь разработчикам достичь этого предсказуемого и экономически эффективного процесса. Но и через полвека у нас те же проблемы, что и всегда: опоздания, неудовлетворительные результаты и полные провалы проектов.
Читать полностью »
«Красная» корпоративная культура — главная проблема российского бизнеса. (Часть 4)
2020-02-17 в 7:39, admin, рубрики: agile, agilean, lean, управление персоналом, управление проектами
для оптимального понимания данной статьи лучше начать знакомство с Части 1 вот тут
Движение от животного к человеку
В научной среде существует биосоциальная гипотеза происхождения культуры – биосоциальная теория культурогенеза, которая состоит в том, что человек прежде всего является частью природы и живет по определенным биологическим законам, а культура – сугубо человеческий способ приспособления к окружающей среде. Человек создает определенную систему ценностей, традиций и символов, где социальное вытекает из биологического.
Эта теория объясняет индивидуальное напряжение, связанное с движением вверх по лестнице спиральной динамики – чем ниже уровень культуры, тем «естественней», ближе к нашему животному началу поведение человека и любое движение «вверх» в этом смысле – усложнение, которое требует усилий.
Читать полностью »