[logic-ml] ELC Seminar (Norbert Müller), Tue Sep 8

[Akitoshi Kawamura]

皆様

新学術領域研究「計算限界解明」（ELC）では以下のセミナーを開催しますので御案内申し上げます。奮って御参加下さい。
http://www.al.ics.saitama-u.ac.jp/elc/event/list.cgi?regid=20150908-0000-20150908--20150826-144551-576


-------------------------------------------
Real numbers and computers
Norbert Müller (Universität Trier)
-------------------------------------------
Tuesday 14:00-, September 8, 2015
CELC seminar room 404 http://www.al.ics.saitama-u.ac.jp/elc/celc/

Abstract:
Sometimes, people think that computers could compute correctly.
Unfortunately, this is not true in general: Overflows, underflows,
rounding errors and truncation errors can lead to grossly wrong results,
even if the used algorithm is implemented with care.
This can often be traced down to use of "double precision numbers"
as a replacement for the "real numbers".

In the talk we present how a computer can compute more precisely or
even "exact", just using basic concepts of object-oriented programming.
Additionally, we present some of the basic ideas that are used to
get an efficient implementation of exact real arithmetic.


御参考：iRRAM: Exact real arithmetic in C++
http://irram.uni-trier.de/

-- 
河村彰星
東京大学総合文化研究科広域システム科学系