「ツンデレで学ぶ平面幾何」かと思ったら、「シンデレラで学ぶ平面幾何」だった。 シンデレラとは幾何学のための作図ソフトである。このソフトが超スゴイ。もともと、この作者のユールゲン氏は、幾何学の定理をコンピュータによって証明するための記号的方法…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。