Gaucheで動くCGIで研究室のHPにくっつけるWiKiつくりました。とりあえずmimetexを使えるように改造した。

前は学校がサイトライセンス契約を結んでいるMathematicaを使えたけど、学校にPCを持っていかないといけないのでGPLライセンスのMaximaをインストールしてみました。MaximaはCommon Lispで書かれた数式処理システムで、積分とかの練習問題を解くときの答え合…

ある三角形を見せられて、「この三角形の重心はどこですか」って聞かれたら「だいたいこの辺。」って答えられるよね。棋士は最初の数秒で打つべき手が決まり、あとの時間はその手の論理的な正しさを検証するための時間だという。これらはすべて「直観」で言…