2011-01-21から1日間の記事一覧

凡庸な学生への憂鬱

ツイッターをみていると、じつに、いろいろな人がいる。その人物像のヴァラエティネスがおもしろいのではなく、実際に、おもしろいことを「しゃべっている」人がいるんですよね。 (それは、有名人ではない。有名人は基本、「宣伝」しかしていない。それでも…

数学の証明は「機械」化できるか

中学生になると、数学に図形問題というのが、あらわれる。三角形の相似性の証明とか、そういったやつだ。線Aと線Bが平行であることを証明せよ、みたいなやつだ。 なんだか分かんないけど、教科書に書いていることを真似て、いろいろいじくっていると、答が…