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

>>110
高校数学の本閲覧したけど…１社だけ、JavaScriptだなｗ
確かに、関数型を通り越して、オブジェクト指向言語だわ。
で、こんなの勉強していちいち

　<html><head>
　　　<script language="JavaScript">
　　　
　　　</script>
　　　<head>

　なんて、訳もわからず入力しているの想像すると…コピペするにして
も、何か非常に可哀想になってくるんですけど。

そりゃ、「極一部」のソフトで飯食おうとするヤツは別だろうけどさあ。大体、
そんなヤツは学校じゃなく自力で覚える！