emacsway-log: Software Design, Clean Architecture, DDD, Microservice Architecture, Distributed Systems, XP, Agile, etc.

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

К слову, на PutnamBench, Leanstral 1.5 опережает систему Seed-Prover 1.5 на 7 задач при затратах около 4 долларов на задачу (против 300+ долларов у соперника).

Во время подготовки я старалась максимально рационально распределять время между предметами, потому что я сдавала целых пять (это довольно много), старалась уделять внимание каждому их них. В день я старалась заниматься где-то двумя предметами, чтобы не сильно перегружаться, но в то же время успевать как можно больше. -- Екатерина Малкова, получившая 300 баллов по трем предметам, ставшая первым обладателем такого результата в Москве в текущей экзаменационной кампании. https://vkvideo.ru/video-202041326_456242436

"Software design is a constant battle with complexity." -- "Domain-Driven Design: Tackling Complexity in the Heart of Software" by Eric Evans

Prefix: : <http://example.org>
Prefix: billing: <http://example.org>
Prefix: logistics: <http://example.org>

## --------------------------------------------------
## 1. BOUNDED CONTEXT: LOGISTICS (Логистика)
## --------------------------------------------------
Class: logistics:Receiver
    Annotations: rdfs:comment "The party receiving the physical goods."

ObjectProperty: logistics:hasReceiver
    Domain: logistics:Shipment
    Range: logistics:Receiver

## --------------------------------------------------
## 2. BOUNDED CONTEXT: BILLING (Биллинг / Финансы)
## --------------------------------------------------
Class: billing:Payer
    Annotations: rdfs:comment "The party responsible for paying the invoice."

ObjectProperty: billing:hasPayer
    Domain: billing:Invoice
    Range: billing:Payer

## --------------------------------------------------
## 3. CORE INTEGRATION (Связующий контекст / Маппинг)
## --------------------------------------------------
## Business Rule: In our business model, for a specific transaction, 
## the physical Receiver and the financial Payer are the exact same Legal Entity.

Class: CoreLegalEntity
    # We state that Receiver and Payer are just different names for this core class
    EquivalentTo: logistics:Receiver and billing:Payer

Важная особенность общения — умение слушать и отвечать. Отсюда понятия «умного собеседника», «приятного собеседника». «Компонентами» общения являются интерес к другому и самому себе, непосредственное выражение или маскировка этого интереса, понимание норм общения. Парадокс может заключаться в том, что человек отвечает «не на чужие суждения», а на собственные мысли». Сообщения другого человека, его советы всегда осмысливаются, поэтому для того, чтобы воспользоваться хорошим советом со стороны, подчас требуется не меньше ума, чем для того, чтобы подать хороший совет самому себе. Отношение к партнеру может проявляться в том, насколько часто ему рассказывают одни и те же данные, истории, анекдоты. Ведущая роль личностных отношений по сравнению, с собственно интеллектуальными компонентами общения зафиксирована в следующем афоризме: «Больше всего оживляет беседу не ум, а доверие». Мы рассматривали общение, построенное по принципу советования, преимущественно по отношению к «камерным» ситуациям. Однако на самом деле советование широко распространено во всех сложных видах человеческой деятельности, включая военную и политическую борьбу. В мемуарах прославленного советского военачальника дважды Героя Советского Союза В. И. Чуйкова «Миссия в Китае» [202] имеется много интересных наблюдений и обобщений, относящихся к общению, вскрывающих его подчас парадоксальную природу, очень важных для психолога. В мемуарах ярко описывается сверхсложная ситуация общения, в которой оказался в свое время В. И. Чуйков: «Я ехал к человеку (речь идет о Чан Кай-ши), которому ни в чем нельзя было доверять. Ехал с задачей помогать (курсив мой. — О. Т.) ему вести военные действия с агрессором, который напал на его родину. Мы знали, что Чан Кай-ши ведет войну с Японией, находясь в едином фронте с коммунистами, которых считает своим главными врагами. Ехал к маклеру, к торговцу, меняле, который при соответствующих обстоятельствах не задумываясь предаст родину и свой народ. Ехал помочь китайскому народу выбросить со своей земли иноземных захватчиков» [202, № 11, с. 203]. Общение может включать в себя элементы критики. Важно учитывать отношение партнера к критике и быть осторожным, чтобы негативное отношение к критике не разрушило сам процесс общения, не парализовало возможность принятия даже разумных советов. В качестве примера можно привести отрывок из мемуаров В. И. Чуйкова, где очень интересно описывается участие советника в ведении военных действий: «Китайский генерал принимает решение обороняться или наступать. В этом решении бывает много несуразностей, если не сказать больше. Если советник открыто раскритикует этот план, он этим наживет себе врага, в лучшем случае китайский генерал будет его игнорировать и не станет приглашать к разработке планов и решений. Во всех случаях советник, изучая решение или план китайского военачальника, должен во всеуслышание признать и объявить его хорошим, если не гениальным или превосходным. Но под предлогом, чтобы подчиненные китайского генерала лучше поняли и усвоили план, попросить разрешения внести несколько уточнений. Можно ручаться, что после такого восхваления решения или плана китайский руководитель позволит внести «некоторые» уточнения. Этими уточнениями советник может включить в решение все, что нужно. Такая помощь будет принята и предложение советника станет проводиться в жизнь как решение или план самого китайского командующего. В случае успешного выполнения этого решения или плана операции советник должен оставаться в стороне, все лавры победы или успеха во всеуслышание адресовать своему генералу, а при неудаче найти причины, оправдывающие действия командира и войск, и даже поздравить с победой» [202, № 12, с. 185—186]. Тихомиров О. К. Психология мышления: Учебное пособие.