Saturday, June 26, 2021

логическая загадка

Есть 5 космических кораблей (из разных стран мира). У каждого есть номер (1-5), цвет, маскот и каждый привозит сувенир из Луны. Они не стартуют в своей стране но приземляются в ней.  Нам известны следующие факты: 

 

  1. Синий корабль стартует в Хирошиме (Япония)
  2. Русский корабль привезёт с Луны "флаг США" (как сувенир) 
  3. В Люнбурге (в каком же государстве ... дочитать до конца и узнаешь) стартует корабль номер 1. 
  4. Кошка путешествует в корабле с номером на 1 меньше чем номер золотого корабля. 
  5. Соловей является маскотом корабля, с номером на 1 больше чем у зелёного корабля. 
  6. Корабль со средним номером привозит "лунарный пыл" (как сувенир). 
  7. Улитка маскот корабля, который стартует на Байконуре (будем считать городом в России). 
  8. Корабль который стартовал на мысе Каневерале (США) привезет "старую лунарную камеру" (=сувенир). 
  9. Маскотом на красном корабле является жаба. 
  10. Зелённый корабль принадлежит Китае. 
  11. У Японии номер 2. 
  12. Серебристый корабль принадлежит Германии. 
  13. Корабль США стартует в Пекинге. 
  14. Германия привезёт в Люнбург с Луны "космическоя авто" и имеет номер на 1 меньше чем Россия. 

 

Вся эта информация хватит для того, чтобы ответить на следующие 2 вопроса:

  1. A. Который корабль имеет зебру как маскота? 
  2. B. Который корабль привезёт "женшину" как сувенир?

Tuesday, March 16, 2021

 Working on Proof-of-concept


Based on my git segments/sums, I can construct a 

poset of modifications (micro-features), and 

study them in isolation. For the whole-picture study I use (modified) xdot with an extension to handle "gitk://" actions, so I can open gitk (restricted to the segment history) by clicking on single nodes:


git-hierarchy contains the "git-graph -x" command to open such a graph.