デカルトは数学者だった？
ルネ・デカルト
ルネ・デカルト（、1596年3月31日 - 1650年2月11日）は、フランス生まれの哲学者、数学者。合理主義哲学の祖であり、近世哲学の祖として知られる。
デカルト閉圏
高名な計算幾何学者ジョン・バッカスは（後から考えるとデカルト閉圏の内部言語にどこか似たところのある）無変数記法あるいは関数レベルプログラミングを提唱した。CAMLはデカルト閉圏のさらに意識的なモデルである。