Comments / Profile of Naf2000 / Habr

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

Вы морфизм с функтором путаете. Морфизм соединяет объекты внутри одной категории по определенным правилам. А функтор отображает одну категорию в другую, сохраняя структуру морфизмов в определенном смысле.

Look

Как Microsoft задушил Delphi, создав .NET: история одного программиста и одного чемодана

Naf2000 Apr 21 at 07:10

Далеко не все невизуальные контролы следует размещать "на форме".

Look

Конец большого «Мистического» пути

Naf2000 Apr 9 at 08:47

маленькая ложь рождает большое недоверие

Look

Моя теория множеств на языке С++

Naf2000 Apr 2 at 14:54

Нет

Look

Моя теория множеств на языке С++

Naf2000 Apr 2 at 14:53

Упорядочить не значит перечислить. Вы берете первый элемент лексикографический, допустим 0 и начинаете описывать все множества, содержащие 0. Уходите в бесконечность. Когда я спрошу, какой номер у множества {1} - вы не сможете его назвать - у вас перед ним стоит бесконечное количество множеств.

Look

Карликовый желтый гигант

Naf2000 Mar 18 at 11:17

Ну так 1С:Исполнитель и есть "адаптированая 1С джава"

Look

.NET Digest #6

Naf2000 Mar 14 at 10:07

ссылка Func vs. Predicate vs. Expression in C# .Net не открывается. Открывается (через VPN)

Look

Конец большого «Мистического» пути

Naf2000 Mar 11 at 11:34

Не надо приписывать Гоголю, чего он не говорил. Тем более подобную чушь

Look

Контекст и парадигмы программирования

Naf2000 Mar 6 at 19:57

А вы все заболевания вносите как отдельные сущности? Параметризация/каталогизация не спасают?

Look

Контекст и парадигмы программирования

Naf2000 Mar 6 at 08:20

Не устаете переключать раскладку? Id почему не переведено?

Look

Анализируем продажи вместе с ИИ

Naf2000 Mar 5 at 07:24

А теперь модно брать нативные таблицы вместо виртуальных (обороты)?

Тогда почему нет условия, что запись активна?

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

Look

Что ожидает фирму 1С в России в ближайшие 3 года? Актуальные тренды рынка в 2025-ом году

Naf2000 Feb 24 at 15:48

Но прикладной язык катастрофически устарел. Постоянно писать циклы, перекладывая данные. Отсутствие функциональных типов.

Look

Нюансы кастования в C#

Naf2000 Feb 17 at 07:51

Встречаются и преобразования между интерфейсами, вот живой пример из LinqToDB:

		public static Query<T> GetQuery(IDataContext dataContext, ref IQueryExpressions expressions, out bool dependsOnParameters)
		{
			...
					if (dataContext is IExpressionPreprocessor preprocessor)
						expr = preprocessor.ProcessExpression(expr);

Look

А посчитать? Задачка для тех, кто влюблен в математику

Naf2000 Feb 14 at 20:24

Задача 3.

Итак у нас n=23 дня и столько же окошек.

Пусть мы хотим распаковать календарь за k дней (в смысле ровно в k дней мы что-то открываем). Тогда выбрать k дней есть $\left( \begin{matrix} n \\ k \end{matrix} \right)$ способов, а разбить (с учетом порядка) окошки на k порций $\left( \begin{matrix} n-1 \\ k-1 \end{matrix} \right)$ . Итого имеем полную формулу $\sum_{k=1}^{n}{\left( \begin{matrix} n \\ k \end{matrix} \right)\left( \begin{matrix} n-1 \\ k-1 \end{matrix} \right)}$ или воспользовавшись https://en.wikipedia.org/wiki/Vandermonde's_identity получаем ответ $\left( \begin{matrix} 2n-1 \\ n-1 \end{matrix} \right)$