コンピューターによる定理の自動証明

コンピューターによる定理の自動証明at MATH

コンピューターによる定理の自動証明 - 暇つぶし2ch274:中川秀泰 ◆IPeKUwqiHM
06/03/14 14:50:55
仲々良い所を付いているじゃないか
これはコンピューターばかりでなく人間にも当てはまる。