Ну хоть ссылку на оригинал оставили: and then the pointing accuracy of the telescope corrected by those four models is verified by the detection results of 22 stars.
Как "is verified" превратилось в "испытали" отдельный вопрос.
У меня нет аналогии. У меня вопрос на который не отвечают, а говорят с голосами в собственной голове.
Повторюсь:
Известно ли Вам о ракетах которые накрывают лично Вас ядерным грибом? Считаете ли вы что государство должно готовится к их вероятному прилёту?
Известно ли Вам о том, что изрядные части российской IT инфраструктуры крепко завязаны на ДЦ в других государствах? Считаете ли вы что государство должно готовится к их вероятному отключению?
Если на первый блок вопросов ответ «ДА», а на второй «НЕТ» то мне хотелось бы услышит обосновании Вашей позиции.
Вопрос залу — есть ли в США межконтинентальные ракеты с ядерными боеголовками нацеленные на РФ вообще и Москву в частности? Если есть — то нужно ли готовится (на уровне государства), или хотя бы иметь план на случай из запуска? (Согласно википедии сейчас 1350 боеголовок на 652 развернутых носителях)
Нужно ли быть готовыми к «отключению интернета»?
Особенно интересно мнение тех, кто считает что ракеты есть, но готовится не нужно.
>Доказательство может включать в себя формулу.
А может и не включать?
Если доказательство без формулы будет переписано с формулой то означает ли это что исходно доказательство без формулы содержит формулу? Можно ли считать это одно и то же доказательство?
И ещё — расшифруйте пожалуйста «класс объектов» и опишите процедуру отнесения к ним на моем последнем примере — $X=1$ и X=1
В начале статьи оценивают Morgan Stanley, а в середине НКР.
По поводу умного голосования есть боевая картиночка:
Ну хоть ссылку на оригинал оставили: and then the pointing accuracy of the telescope corrected by those four models is verified by the detection results of 22 stars.
Как "is verified" превратилось в "испытали" отдельный вопрос.
Они лазером лазерного телескопа светили на звезду?
Но ведь он может.
Судя по википедии и www.artima.com/weblogs/viewpost.jsp?thread=235725 звание закрепилось не внутри компании.
Это хорошо что ограничились только этим, а то еще могли в силу удобства реализации вообще ничего не делать. Удобно же.
Почему у DAG должен быть единственный узел «без родителей»?
a->c
b->c
c->d
не DAG?
Повторюсь:
Известно ли Вам о ракетах которые накрывают лично Вас ядерным грибом? Считаете ли вы что государство должно готовится к их вероятному прилёту?
Известно ли Вам о том, что изрядные части российской IT инфраструктуры крепко завязаны на ДЦ в других государствах? Считаете ли вы что государство должно готовится к их вероятному отключению?
Если на первый блок вопросов ответ «ДА», а на второй «НЕТ» то мне хотелось бы услышит обосновании Вашей позиции.
Нужно ли быть готовыми к «отключению интернета»?
Особенно интересно мнение тех, кто считает что ракеты есть, но готовится не нужно.
А может и не включать?
Если доказательство без формулы будет переписано с формулой то означает ли это что исходно доказательство без формулы содержит формулу? Можно ли считать это одно и то же доказательство?
И ещё — расшифруйте пожалуйста «класс объектов» и опишите процедуру отнесения к ним на моем последнем примере — $X=1$ и X=1
X = 1 и X = 1
В чем разница?
Но доказательство можно представить в виде формулы.
Я по прежнему не понимаю почему было важно написать правило $P_n = P_(n-1)+$… на языке TeX, а не P n = P (n-1)+… на хаскеле или любом другом языке.
Чем соответствие карри-ховарда не устраивает?
Но та же википедия даёт ссылку на https://oeis.org/A000040 где, как мне кажется, формул вычисления последовательности довольно много.
Не только. Я сейчас вынужден придумывать тайпчекер который через интроспекцию ходит по классам и выверяет типы по аннотациям. :)
Я не готов обсуждать Ваши тетрадки.
Но поставщик может используовать росписи, печати и документы, в т.ч. с электронной подписью о приёме от элеватора в судебном споре.
Но у поставщика то есть роспись от элеватора что зерно приняли.
Decimal — часть стандартной библиотеки, которая встроена и которую не нужно никак специально ставить.
Вон в хаскеле Bool, Int и Float часть прелюдии — http://hackage.haskell.org/package/base-4.12.0.0/docs/Prelude.html и ничего.