おひさしぶりです！次から「Exact Real Arithmetic （完全精度実数計算？定番の訳語ってなんだろう？）」のお勉強をはじめます。 The RealLib Project のコードを読みつつ A Calculator for Exact Real Number Computation を読みつつ、という形になる予定で…