実数計算に関する研究集会を下記の日程で開催いたします。
日時：2015年7月12日（日）
会場：明治大学駿河台キャンパス 紫紺館
実数計算は科学分野において広範囲に応用されており、科学の発見に大きく寄与しています。最近では、実務面からは区間計算などの制度保証付き計算、理論面からは計算可能解析の精密化としての解析学の計算量の研究が行われ、その融合が進んでいます。
7月13日から15日には同会場にて、Twelfth International Conference on Computability and Complexity in Analysis （CCA 2015）も開催いたします。
詳細は研究集会のウェブサイトをご参照ください。
－－－－－－－－－－－－－－－－－－－－－－－－－
"Workshop on Theory and Practice of Real Computation"
Date: July 12, 2015
Venue: Shikonkan building in Surugadai Campus
The workshop presents research on Real Computation: a scientific field with many applications currently evolving into the future of classical (i.e. heuristic) numerics. It combines, and emerges from, both (practically oriented) Validated Numerics, such as interval arithmetic, and from (theoretically-oriented) Complexity in Analysis as refinement of Recursive Analysis.
This is a workshop co-located with the Twelfth International Conference on Computability and Complexity in Analysis (CCA 2015), which will be held in July 13-15, 2015 at the same venue.
For more details, please consult the website here.
