ru.linux

 
 - RU.LINUX ---------------------------------------------------------------------
 From : Vitaly Lugovsky                      2:5020/1737.307 09 Feb 2002  21:03:35
 To : Fedor Zuev
 Subject : Re: Пpогpаммиpование
 -------------------------------------------------------------------------------- 
 

 >>>   Сейчас ты будешь рассказывать про строгую научность,
 >>> например, численных методов.
 
 >> А что там ненаучного? Hадо строгости? - бегом читать про
 >>интервальные численные методы!
 
 >  Щаззз!
 
  Что щаззз? Всё формально выводится, все засады предсказуемы.
 
 >> Бред. Все исключительные ситуации, связанные с переполнением,
 >>потерей точности, неравномерности распределения вещественных
 >>чисел, и т.п. определяются формально.
 
 >  А баги в архитектуре процессора, компилятора, библиотеках, к
 > примеру, тоже формально определять определять будешь? То есть, верю,
 > ты бы и определял. Да вот только кто ж тебе даст их описание.
 
  А вот на этот счёт ассерты всякие есть. Чуть что отошло от предсказанного
 результата - выкидываем на хрен процессор, компилятор и библиотеки.
 
 >>Hу а кто код, реализующий численный метод не доказывает - тот сам
 >>себе злобная буратинка, и заслуживает за это порицания по голове.
 
 >  Hу, на том, что все эти "интервальные методы" пока (и,
 > подозреваю, как бы не навсегда) годятся только для совершенно
 > игрушечных по размеру и характеру задач, напирать особо не буду.
 
  Hу, если аппаратная поддержка интервальных вычислений будет реализована,
 то оно и для неигрушечных сгодится. Смысл же в том, чтобы доказать, есть
 ли в чметоде ошибка, вытекающая из неравномерности действительных чисел,
 и т.п. Доказали - дальше можно и без интервалов считать. 
 
 > Другое спрошу.
 
 >  А про _данные_, которые ты через эти методы пропускать
 > будешь, ты тоже все-все знаешь, чтобы алгоритмы доказывать? Hу так и
 > зачем же тебе, в таком случае, какие-то численные методы?
 
  Я всегда знаю ограничения на эти данные, и все возможные исключительные
 ситуации. Этого достаточно.
 
 -- 
 
    V.S.Lugovsky aka Mauhuur (http://ontil.ihep.su/~vsl) (UIN=45482254)
 
 --- tin/1.4.4-20000803 ("Vet for the Insane") (UNIX) (Linux/2.4.17-xfs (i686))
  * Origin: Slaytanic Wermacht station (2:5020/1737.307)
 
 

Вернуться к списку тем, сортированных по: возрастание даты  уменьшение даты  тема  автор 

Тема:    Автор:    Дата:    Re: Пpогpаммиpование   Vitaly Lugovsky   09 Feb 2002 21:03:35   Re: Пpогpаммиpование   Fedor Zuev   16 Feb 2002 22:08:21