2005-12-13から1日間の記事一覧

ツンデレですか?

「ツンデレで学ぶ平面幾何」かと思ったら、「シンデレラで学ぶ平面幾何」だった。 シンデレラとは幾何学のための作図ソフトである。このソフトが超スゴイ。もともと、この作者のユールゲン氏は、幾何学の定理をコンピュータによって証明するための記号的方法…