IT в России и мире в реалиях мирового кризиса

Цитата: Егор А.Изотов от 08.02.2024 17:58:27Возможно. Но, пока что, я, например, не встречал ни разу ни одного конструктора, например, работающего с моделированием потоков вокруг "тел" и в различных структурах, которому понадобился бы какой-то ЯП, любого уровня: все прекрасно делается на уровне его операционной среды, на базе SolidWorks, например.

AutoLISP в AutoCAD

Цитата: Егор А.Изотов от 08.02.2024 17:58:27Возможно. Но, пока что, я, например, не встречал ни разу ни одного конструктора, например, работающего с моделированием потоков вокруг "тел" и в различных структурах, которому понадобился бы какой-то ЯП, любого уровня: все прекрасно делается на уровне его операционной среды, на базе SolidWorks, например.

В SolidWorks или Unigraphics или Компас, модели сами запрыгнули?

Цитата: ps_ от 07.02.2024 16:55:30Питон не требует установки среды разработки. Писать программы можно и в Notepad. И это даже полезнее - дети начинают понимать что такое файлы, директории и командная строка.

Директория – это правительство Петлюры, а то, о чем вы подумали (directory), называется каталог.

Цитата: Прокруст от 07.02.2024 16:59:503. Не падать внезапно из-за ошибки как Си, Паскаль.

Насчет паскаля не знаю, но программы, написанные на си, падают не из-за ошибок языка, а исключительно из-за ошибок программистов. Однако многие программисты склонны в своих косяках обвинять не себя, а язык, который, типа, не хочет им эти косяки выправлять.
Язык си – это уникальнейший в отношении синтаксиса язык -- нет кроме него ни одного языка, где объявление переменной синтаксически эквивалентно ее использованию. Как известно,  программы могут исполняться как в окружении (операционная система), так и на голом железе. Так вот си – это единственный на сегодня язык, который позволяет создавать такие программы.
Все ситуации, которые могут привести к проблемам при использовании языка си, перечислены в стандарте на язык ISO/IEC 9899, как "неопределенное поведение". За тим стандартом стоит целый комитет умных, независимых и ответственных людей, обладающих громадным опытом.
И нет ничего безопаснее, чем не допускать этого "неопределенного поведения", тем более, что не так уж и много таких ситуаций, причем все они настолько простые, что при ихвестной дисциплине и случиться не могут. Мало того, современные компиляторы отлавливают большую часть локальных ошибок программиста и выдают предупреждения. Остальное, и особенно логику, должен контролировать программист, да. Это, кстати, в первую очередь относится к управлению памятью. Тут достаточно придерживаться простых правил, уметь считать баланс, читать документацию и руководства.
Пограммист, пишущий код не для себя любимого, а наружу, имеет класс ответственности выше, чем водитель категории D, соответственно, он должен себя и вести в процессе работы – осмотрительно и внимательно. Иначе, как говорится, быстрому коню – глубокая яма.

Цитата: gb от 07.02.2024 18:18:46А зачем сейчас писать сортировку пузырем?  Время изменилось.  Сейчас надо учиться мыслить векторами, матрицами, тензорами. Это иной стиль мышления.

К сожалению, компьютеры пока оперируют битами и их последовательностями.

Цитата: gb от 07.02.2024 21:35:28А какие проблемы написать объекты?  Это просто рутина.

Объекты. Какие объекты?
И тут нужно отметить, что программных задач, естественным образом ложащихся на объектное представление, менее 20%. И !!! оконный интерфейс в их число не входит !!!. Вопрос этот изучался в конце 80-х начале 90-х, но с тех пор процент немного даже упал в связи с ростом доли задач управления. Однако, как мы знаем, любая задача может быть решена на любом Тьюрин-полном языке. Даже на брейнфаке. Поэтому в условиях поголовного насаждения ОО-парадигмы везде, куда только смогли дотянуться бучи и прочие мейерсы, пока не замечается кричащих проблем с программированием. Однако производительность приложений от этого серьезно страдает, с одной стороны, а с другой – народ, заходящий в профессию, реально имеет шоры на глазах и ничего кроме ООП не знает. Дело дошло до того, что автодеск в дополнение к автолиспу занес в автокад питон, поскольку приходящие программисты совершенно не въезжают в функциональное программирование.
Отдельно остановлюсь на "принципе" ООП – наследовании. Эта штука создает очень жесткие проблемы с развитием функциональности приложений. Решение, принятое относительно родителя (базоый класс), распространяется на всех потомков (производный класс). Это препятствует серьезным изменениям базового класса, поскольку порождает необходимость глобальной коррекции всех наследников, что редко удается сделать чисто. В результате ошибки, допущенные на этапе проектирования, лавинообразно распространяются по дереву наследования и устранить их практически невозможно – только глубокий рефакторинг, что фактически эквивалентно переделыванию всего с нуля. Соответственно, новую функциональность приходится добавлять через задницу. 
Яркий пример – libreoffice, в частности, writer. Чаще всего в отношении libreoffice упоминают графический конвейер VCL, однако это меньшее из зол – более-менее работает, пусть и с артефактами. Проблема же в объектном представлении самого документа в виде иерархической структуры. 
С++ только начинал свое шествие и всю эту иерархию программисты Sun Microsystems устроили на стильном, модном и молодежном в те времена языке, использовав наследование по максимуму. В результате сегодня имеем такие базовые проблемы, как взаимодействие листа и области текста (это не позволяет разместить водяные знаки и прочие растры на листе, а только в области текста), связи абзаца текста и, например, таблицы. А с таблицами вообще (_!_). Почему, например, в опенофисе нет wyswyg-редактора разлинейки таблиц? А почему размер таблицы зависит от толщины линий? А потому что разграфка  таблицы сделана на !!! обрамлении ячеек, вместо рисования линеек между ячейками, как это должно быть.
Кстати, о конвейере. IBM подобрала StarOffice выпустила на его базе IBM Symphony. Это именно они занесли в StarOffice боковую панель. Начала ковырятся с артефактами отображения текста, пытаясь привинтить к офису свой векторный конвейер вместо растрового VCL, но поняв, что это тянет за собой из недр офиса изменения в куче кода, отказалась и отдала Symphony сообществу.

Цитата: gb от 07.02.2024 22:44:26Вы лучше попробуйте придумать практические кейсы, в которых нужен его расчёт.

Все тригонометрические функции, например, включая встроенное в процессоры, вычисляются как ряды. Системы управления ориентацией спутников используют магнитное поле – при его моделировании на борту используются сферические функции.Справочник Корнов у тебя есть? Вот там и найдешь где встречаются факториалы.
Собственно, если программист не изучал общий курс математики и физики, то какой с него спрос – ремесленник.

Цитата: GrinF от 08.02.2024 15:32:15ну не знаю теперешнее же поколение последние 3 года вовсю колдует над тензорными светочными сетями... Только сбер 150 человек держит для создания колдовства в этой сфере (сразу точню сбер это не сбертех, в сбертехе там еще своя комманда колдунов тензорных есть|)

Нет там никаких тензоров. Просто растровые изображения там представлены в виде двумерных массивов из однородных элементов, типа таблиц. А раз двумерные таблицы, значит матрицы. А раз матрицы, то значит тензоры – это же звучит куда круче.
На самом деле было так – взяли куроша и на второй странице первого параграфа прочитали "Коэффициенты при неизвестных составляют прямоугольную таблицу, называемую матрицей...". Остальные четыреста с небольшим страниц читать не стали. Итак, пиксели организованы в виде таблицы – значит это матрица пикселей. Потом на глаза попалась теормеханика, где в главе про динамику твердого тела прочитали, что "В общем случае матрица ... называется тензором ...". То, что здесь "запикано" первым и вторым многоточиями, не поняли – ведь для этого нужно прочитать триста страниц той же книги. Вот, собственно, история рождения "тензора нейросетей".

Цитата: dmitriк62 от 08.02.2024 15:40:08Эти колдуны там сворачивают 4- и 8-битные матрицы, типа для искусственного интеллигента...

Не для ИИ, а для "обучения нейросетей", т.е. для проведения серии многофакторных экспериментов с целью подбора коэффициентов некоторой синтетической дискриминантной функции, предназначенной для разбиения многомерного пространства, удовлетворяющего определенным условиям. Сама функция, хоть и сложная (в смысле диффисчисления) но обязательно гладкая, иначе правило дифференцирования сложной функциии и вытекающий из него метод обратного распространения ошибки работать не будет. 
Технология многофакторного эксперимента появилась в первой половине 20-го века и с тех пор широко применяется в химической промышленности. Просто современная вычтехника позволила довести размерность пространства оптимизации до сотни тысяч и, возможно, более. 
Поскольку тут овердохрена вычислений с плавающей запятой, то сократили длину представления чисел с 32 бит до 8 и даже до 4-х. Но это годится только для грубого разбиения пространства – у нейросетевиков даже термин есть для этого,  спижженный у Заде – нечеткое разбиение пространства признаков. Поэтому имеем котов, идентифицированных, как собаки и наоборот, но оба варианта с вероятностью. Область нечеткости одновременно расширяет и малая разрядность промежуточных вычислений и аугментация.

Цитата: adolfus от 11.02.2024 15:11:44Объекты. Какие объекты?
И тут нужно отметить, что программных задач, естественным образом ложащихся на объектное представление, менее 20%. И !!! оконный интерфейс в их число не входит !!!. Вопрос этот изучался в конце 80-х начале 90-х, но с тех пор процент немного даже упал в связи с ростом доли задач управления.  Однако производительность приложений от этого серьезно страдает, с одной стороны, а с другой – народ, заходящий в профессию, реально имеет шоры на глазах и ничего кроме ООП не знает. Дело дошло до того, что автодеск в дополнение к автолиспу занес в автокад питон, поскольку приходящие программисты совершенно не въезжают в функциональное программирование.

Одна из проблем функционального программирования - длинный список аргументов для функций с большим числом зависимостей ( переменных ). Замучишься перечислять их при каждом вызове такой функции. Ранее проблему решали путем опускания в вызове внешних переменных определенных выше в разных контекстах ( блоках )  Но это вело к путанице определения  контекстов в особенности для совпадающих имен. Для решения проблемы стали использовать объекты как способ локализации контекста внешних переменных ( this ). И нет ничего более в объектном программировании кроме как попытка локализации переменных в структуре класса ( объекта ) и их иерархии. Блоковый контекст ( namespaces ) подменили явной иерархией классов. Придание объекту смысла физического объекта-прототипа это из области магии

Цитата: adolfus от 11.02.2024 16:08:27Нет там никаких тензоров. Просто растровые изображения там представлены в виде двумерных массивов из однородных элементов, типа таблиц. А раз двумерные таблицы, значит матрицы. А раз матрицы, то значит тензоры – это же звучит куда круче.
На самом деле было так – взяли куроша и на второй странице первого параграфа прочитали "Коэффициенты при неизвестных составляют прямоугольную таблицу, называемую матрицей...". Остальные четыреста с небольшим страниц читать не стали. Итак, пиксели организованы в виде таблицы – значит это матрица пикселей. Потом на глаза попалась теормеханика, где в главе про динамику твердого тела прочитали, что "В общем случае матрица ... называется тензором ...". То, что здесь "запикано" первым и вторым многоточиями, не поняли – ведь для этого нужно прочитать триста страниц той же книги. Вот, собственно, история рождения "тензора нейросетей".

Не большой специалист в части векторов и тензоров.
Знаю, что запаса по разрядности компьютера и по быстродействию раньше не хватало. В том смысле, что не получалось.
А сейчас что, получается? Вот прямо так обернуть матрицу?
Из старого.
Было время, когда в теории линейных радиотехнических цепей доминировал подход четырёхполюсников.
Всё четырёхполюсники в параметрах:

-         A-         Y-         Z-         H-         G-         B-        S

И много достигли?

Цитата: gb от 11.02.2024 16:48:37Лучше бы поинтересовались - откуда там взялись тензоры и что это означает на практике. ))  И да на вход CV сетки поступает трехмерный массив. ))  Незачёт.

А какая разница? Массив тензором не является, какой бы размерности он не был. Тензор – это геометрический объект, компоненты которого преобразуются по определенному закону при смене системы координат, в которой эти компоненты заданы. Вот, например, символ Кристоффеля, если вы знаете, чть это такое,  представляется в виде трехмерного массива, но тензором, увы, не является. А с другой стороны, символ Леви-Чивита, представленный в любом виде, является таки тензором.
Что касается этого вашего CV, там вообще никакого отношения ни к матрицам, ни к тензорам, не имеется. Растры и только растры. А растр, ака "изображение", может быть представлен значениями не только на прямоугольной сетке, но и на гексагональной (ищите статьи по моделированию зрения насекомых). А то и вообще в вершинах произвольной триангуляции с переменной метрикой, как например, на сетчатке глаза высших животных, в том числе и человека.

Цитата: gb от 11.02.2024 17:17:45Что бывает когда теоретические фантазии затмевают реальные знания. 
Сокращение разрядности используется только на этапе переноса обученной НС-модели на процессор меньшей мощности. ))

Я рад за вас. Возня с нейросетями позвоялет выглядеть умнее. Причем для этого совершенно ен нужно учиться математике пять лет. Достаточно выучить бейсик питон, купить видеокарту за охулиард денег и уметь установить под виндовсами тензорфлоу. А рабы из нвидии вам напишут все остальноен, чтобы вы могли сегментировать сцены и дискриминировать котиков от собак. Да, вас будут считаеть еще более крутым, если вы сподобитесь заменить зеленый квадратик на переливающийся всеми цветами радуги шестиугольник.

Цитата: Поверонов от 11.02.2024 17:54:46Одна из проблем функционального программирования - длинный список аргументов для функций с большим числом зависимостей ( переменных ). Замучишься перечислять их при каждом вызове такой функции. Ранее проблему решали путем опускания в вызове внешних переменных определенных выше в разных контекстах ( блоках )  Но это вело к путанице определения  контекстов в особенности для совпадающих имен. Для решения проблемы стали использовать объекты как способ локализации контекста внешних переменных ( this ). И нет ничего более в объектном программировании кроме как попытка локализации переменных в структуре класса ( объекта ) и их иерархии. Блоковый контекст ( namespaces ) подменили явной иерархией классов. Придание объекту смысла физического объекта-прототипа это из области магии

Любой объект – это часть состояния программы. Объект в смысле того, что в памяти есть место, где хранится какое-то значение и, возможно, еще и его собственный контекст. Любой такой объект – это потенциальный источник проблем, связанный с тем, что его значение может быть непредсказуемо изменено в любой момент неизвестно каким фрагментом кода. Это означает, что чем меньше переменных в программе, тем программа надежнее – просто меньше мест, где что-то может испортиться. В этом отношении ссылки в списке параметров функций в C++ являют собой зло злющее – они препятствуют передаче в функцию значений, не имеющих места в rw-памяти (r-values), которые возвращаются из функций, препятствуя тем самым программированию в функциональном стиле.
В противоположность программированию с состояниями (ООП) функциональное программирование исключает необходимость сохранения промежуточных данных, что серьезно повышает надежность программы. Именно поэтому автодеск дал в руки конструкторам именно автолисп, а не бейсик или еще что похуже. В результате обычные конструктора, сев за автокад, уже через месяц на коленке делают библиотеки в продакшн, послностью свободные от ошибок.

В отношении "Замучишься перечислять их при каждом вызове" – программы пишутся не для и не ради программистов. Проблемы индейцев программистов никого кроме их самих не интересуют. Никого не трогает, сколько раз прграммисту приходится "перечислять что-то там при каждом вызове" – им за это платят деньги. А программы пишутся для пользователей и те, кто платит деньги, ожидают, что всегда работает закон преодоления технических противоречий, заключающийся в том, что никаким компромиссам нет места. Выбирается наиболее важная сторона и максимизируется. Другая же идет уж как получится. Это значит, что программист прежде всего обеспечивает требуемое пользователем качество софта, а вопрос, насколько это ему удобно и комфортно, шестой.

Цитата: ivan2 от 11.02.2024 18:10:10Не большой специалист в части векторов и тензоров.
Знаю, что запаса по разрядности компьютера и по быстродействию раньше не хватало. В том смысле, что не получалось.
А сейчас что, получается? Вот прямо так обернуть матрицу?
Из старого.
Было время, когда в теории линейных радиотехнических цепей доминировал подход четырёхполюсников.
Всё четырёхполюсники в параметрах:

-         A-         Y-         Z-         H-         G-         B-        S

И много достигли?

Не претендуя на знатока современного состояния ывчислительной аглебры, тем не менее думаю, что для обращения обычных матриц ничего нового по сравнению с временами, когда кроме фортрана ничего не было, не имеется. Разве что можно использовать 256-битные числа с плавающей запятой и работать с не очень хорошо обусловленными матрицами. Тем не менее, старые точные способы обращения в поле рациональных чисел, позиции не потеряли.
Особый класс составляют матрицы, коэффициенты которых зашумлены. Они получаются в системах адаптивного управления, когда коэффициенты формируются из показаний датчиков, например, акселерометров или датчиков угловой скорости. Там свои методы, разработанные для конкретной ситуации, и большая часть из них негде не публиковалась и скорее всего долгое время публиковаться не будет.
Что касается радиотехники, то НЯП, линейные цепи приводятся к системе линейных уравнений для токов (напряжений) с зависящей от времени правой частью и с сильно разреженной не зависящей от времени матрицей (могу ошибаться за давностью времен). Там свои особые методы, но и они с 60-х годов. Может какие-то секретные есть, но это секрет.

Цитата: adolfus от 12.02.2024 01:37:57Не претендуя на знатока ...
Особый класс составляют матрицы, ...

Сразу с систем линейных уравнений по Кирхгофу. Они решались тогда, решаются и сейчас по простой причине. Не необходимости выворачивать матрицы наизнанку.
Касательно других приложений, то всякие плохо обусловленные матрицы как были препоном, так и есть. Не хватает дискретности и размера чисел одновременно. Там дело не в языках программирования а именно в математике. И в разумных временах конечно. Можно, но времена получаются неразумными даже при современных вычислительных мощностях.

Цитата: adolfus от 12.02.2024 01:07:50.. А программы пишутся для пользователей и те, кто платит деньги, ожидают, что всегда работает закон преодоления технических противоречий, заключающийся в том, что никаким компромиссам нет места...

Вы хоть одно соглашение о применении читали?
НИКОГДА НИ  ОДИН ПРОГРАММИСТ НЕ ВОЗЬМЁТ ВЧИСТУЮ ОТВЕТСТВЕННОСТЬ НА СЕБЯ! За большие деньги он обещает постараться исправить ошибки.

Цитата: adolfus от 11.02.2024 15:42:07Все тригонометрические функции, например, включая встроенное в процессоры, вычисляются как ряды. Системы управления ориентацией спутников используют магнитное поле – при его моделировании на борту используются сферические функции.Справочник Корнов у тебя есть? Вот там и найдешь где встречаются факториалы.
Собственно, если программист не изучал общий курс математики и физики, то какой с него спрос – ремесленник.

Подцарство математической физики  - специальные функции - функции бесселя, айри, гипергеометрические фунукции, сферические функции (в том числе вполне себе прикладные пакеты) = это область жительства факториалов (правда местами можно рекурсивно члены рядов вычислять)

Цитата: gb от 11.02.2024 16:46:46Незачет.  Все тригонометрические функции, в особенности встроенные в процессоры, уже вычисляются.  Программа для вычисления уже написана.  Если будет нужно то специально обученный человек напишет новую программу.  А остальные будут использовать результаты его труда.   
         
Но использование факториала глубоко в недрах кода не означает практический пример того, где нужен его расчет.  А вопрос был именно в том, где именно в современном мире нужно использование этого числа - так чтобы существующие программы не справлялись.

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

Цитата: adolfus от 12.02.2024 00:27:03А какая разница? Массив тензором не является, какой бы размерности он не был. Тензор – это геометрический объект, компоненты которого преобразуются по определенному закону при смене системы координат, в которой эти компоненты заданы.

И то верно

ЦитатаВот, например, символ Кристоффеля, если вы знаете, чть это такое,  представляется в виде трехмерного массива, но тензором, увы, не является. А с другой стороны, символ Леви-Чивита, представленный в любом виде, является таки тензором.

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

ЦитатаЧто касается этого вашего CV, там вообще никакого отношения ни к матрицам, ни к тензорам, не имеется. Растры и только растры. А растр, ака "изображение", может быть представлен значениями не только на прямоугольной сетке, но и на гексагональной (ищите статьи по моделированию зрения насекомых). А то и вообще в вершинах произвольной триангуляции с переменной метрикой, как например, на сетчатке глаза высших животных, в том числе и человека.