M
exp(x)=1+x+1/2!x^2+1/3!x^3...
Только не ряды тейлора прошува вас! =)
Size: a a a
2020 February 27
FO
MaxGraey
Только не ряды тейлора прошува вас! =)
П-почему?
M
Хотя бы minimax аппроксимацию возьмите и вообще exp/log нужно кусочно аппоксипировать и на бесконечности и около нуля там будую скорее дробнорациональные аппроксимации
M
П-почему?
Потому что у него фиговая сходимость и больщие ошибки во вторых производных
FO
И? Это не повод обрезать ряд тейлора на четвёртом слагаемом.
Если Х большое положительное число, работает else ветка и мы получаем полином третьего порядка.
Если Х большое положительное число, работает else ветка и мы получаем полином третьего порядка.
Возможно, они ошиблись :-)
KR
Возможно, они ошиблись :-)
Вот
KR
Кстати, sin(x)/x не оптимизирует, хотя это классическая задача.
FO
Кстати, sin(x)/x не оптимизирует, хотя это классическая задача.
А как часто она возникает на практике?)
KR
Не знаю. Но это на собеседованиях на Quant Dev спрашивают.
M
А как часто она возникает на практике?)
настолько часто, что в julia да и не только sinc входит в состав мат библиотеки. Как бы sinc используется очень часто в DSP
KR
С другой стороны, я проверил на окамле- 1.0 выдавалось очень уверено без разложения при малых х.
KR
С log(1+x)/x при х-> -1 тоже чепуха. Может они там модуль потеряли в условии?
А с другой стороны, их результат со сдвигом на единицу - для log(2 + x)/(1 + x) качественно отличается от предыдущего. Хотя там для IEEE754 разницы быть не должно. Так?
А с другой стороны, их результат со сдвигом на единицу - для log(2 + x)/(1 + x) качественно отличается от предыдущего. Хотя там для IEEE754 разницы быть не должно. Так?
KR
А как часто она возникает на практике?)
Так что в морг!
FO
Так что в морг!
Давно пора.
KR
Давно пора.
Жалко, хорошая задумка же.
FO
Жалко, хорошая задумка же.
Умирать всегда полезно.
2020 February 28
H
Ребята, подскажите, пожалуйста, хорошие источники по формальной верификации компиляторов языков типа Rust и похожих по синтаксису и семантике.
KR
Ребята, подскажите, пожалуйста, хорошие источники по формальной верификации компиляторов языков типа Rust и похожих по синтаксису и семантике.
А там разве не Сишный синтаксис?
В смысле - инриевцы занимались верификацией Сшного компилятора.
В смысле - инриевцы занимались верификацией Сшного компилятора.
AG
не знаю насчет "типа раст"
AG
но есть проект по верификации раста на сепарационной логике: https://plv.mpi-sws.org/rustbelt/